Computer-assisted Proof - Theorems For Sale

Theorems For Sale

In 2010, academics at The University of Edinburgh offered people the chance to "buy their own theorem" created through a computer-assisted proof. This new theorem would be named after the purchaser.

Read more about this topic:  Computer-assisted Proof

Famous quotes containing the word sale:

    I hate this shallow Americanism which hopes to get rich by credit, to get knowledge by raps on midnight tables, to learn the economy of the mind by phrenology, or skill without study, or mastery without apprenticeship, or the sale of goods through pretending that they sell, or power through making believe you are powerful, or through a packed jury or caucus, bribery and “repeating” votes, or wealth by fraud.
    Ralph Waldo Emerson (1803–1882)