Lore
It has been estimated that over a quarter of a million theorems are proved every year.
The well-known aphorism, "A mathematician is a device for turning coffee into theorems", is probably due to Alfréd Rényi, although it is often attributed to Rényi's colleague Paul Erdős (and Rényi may have been thinking of Erdős), who was famous for the many theorems he produced, the number of his collaborations, and his coffee drinking.
The classification of finite simple groups is regarded by some to be the longest proof of a theorem; it comprises tens of thousands of pages in 500 journal articles by some 100 authors. These papers are together believed to give a complete proof, and there are several ongoing projects to shorten and simplify this proof. Another theorem of this type is the Four color theorem whose computer generated proof is too long to be read by a human. It is certainly the longest proof of a theorem whose statement can be easily understood by a layman.
Read more about this topic: Theorem
Famous quotes containing the word lore:
“The lore of our fathers is a fabric of sentences. In our hands it develops and changes, through more or less arbitrary and deliberate revisions and additions of our own, more or less directly occasioned by the continuing stimulation of our sense organs. It is a pale gray lore, black with fact and white with convention. But I have found no substantial reasons for concluding that there are any quite black threads in it, or any white ones.”
—Willard Van Orman Quine (b. 1908)
“OUR Latin books in motly row,
Invite us to our task—
Gay Horace, stately Cicero:
Yet there’s one verb, when once we know,
No higher skill we ask:
This ranks all other lore above—
We’ve learned “’Amare’ means ‘to love’!””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“The lore of our fathers is a fabric of sentences.... It is a pale gray lore, black with fact and white with convention. But I have found no substantial reasons for concluding that there are any quite black threads in it, or any white ones.”
—Willard Van Orman Quine (b. 1908)