On Theorems (1900-1924)

"No theorem can be new unless a new axiom intervenes in its demonstration; reasoning can only give us immediately evident truths borrowed from direct intuition; it would only be an intermediary parasite." (Henri Poincaré, "Science and Hypothesis", 1902)

"A mathematical theorem and its demonstration are prose. But if the mathematician is overwhelmed with the grandeur and wondrous harmony of geometrical forms, of the importance and universal application of mathematical maxims, or, of the mysterious simplicity of its manifold laws which are so self-evident and plain and at the same time so complicated and profound, he is touched by the poetry of his science; and if he but understands how to give expression to his feelings, the mathematician turns poet, drawing inspiration from the most abstract domain of scientific thought." (Paul Carus," Friedrich Schiller: A Sketch of His Life and an Appreciation of His Poetry", 1905)

"Generally speaking, mathematical theorems are no analytic judgements yet, but we can reduce them to analytic ones through the hypothetical addition of synthetic premises. The logically reduced mathematical theorems emerging in this way are analytically hypothetical judgements which constitute the logical skeleton of a mathematical theory." (Ernst Zermelo, "Mathematische Logik. Vorlesungen gehalten von Prof. Dr. E. Zermelo zu Göttingen im S.S.", 1908)

"The beautiful has its place in mathematics as elsewhere. The prose of ordinary intercourse and of business correspondence might be held to be the most practical use to which language is put, but we should be poor indeed without the literature of imagination. Mathematics too has its triumphs of the Creative imagination, its beautiful theorems, its proofs and processes whose perfection of form has made them classic. He must be a 'practical' man who can see no poetry in mathematics." (Wiliam F White, "A Scrap-book of Elementary Mathematics: Notes, Recreations, Essays", 1908)

"Theorems valid 'in the small' are those which affirm a statement about a certain neighborhood of a point without making any statement about the size of that neighborhood." (Hermann Weyl, "The Concept of a Riemann Surface", 1913)

"[...] the mathematician is always walking upon the brink of a precipice, for, no matter how many theorems he deduces, he cannot tell that some contradiction will not await him in the infinity of consequences." (Richard A Arms, "The Notion of Number and the Notion of Class Mathematical Usage", 1917)

"The axioms and provable theorems (i.e. the formulas that arise in this alternating game [namely formal deduction and the adjunction of new axioms]) are images of the thoughts that make up the usual procedure of traditional mathematics; but they are not themselves the truths in the absolute sense. Rather, the absolute truths are the insights (Einsichten) that my proof theory furnishes into the provability and the consistency of these formal systems. (David Hilbert; "Die logischen Grundlagen der Mathematik", Mathematische Annalen 88 (1), 1923)