On Proofs (1850-1899)

"It is easily seen from a consideration of the nature of demonstration and analysis that there can and must be truths which cannot be reduced by any analysis to identities or to the principle of contradiction but which involve an infinite series of reasons which only God can see through." (Gottfried W Leibniz, "Nouvelles lettres et opuscules inédits", 1857)

"We must never assume that which is incapable of proof.”  (George H Lewes, “The Physiology of Common Life” Vol. 2, 1860)

"Few will deny that even in the first scientific instruction in mathematics the most rigorous method is to be given preference over all others. Especially will every teacher prefer a consistent proof to one which is based on fallacies or proceeds in a vicious circle, indeed it will be morally impossible for the teacher to present a proof of the latter kind consciously and thus in a sense deceive his pupils. Notwithstanding these objectionable so-called proofs, so far as the foundation and the development of the system is concerned, predominate in our textbooks to the present time. Perhaps it will be answered, that rigorous proof is found too difficult for the pupil’s power of comprehension. Should this be anywhere the case, - which would only indicate some defect in the plan or treatment of the whole, - the only remedy would be to merely state the theorem in a historic way, and forego a proof with the frank confession that no proof has been found which could be comprehended by the pupil; a remedy which is ever doubtful and should only be applied in the case of extreme necessity. But this remedy is to be preferred to a proof which is no proof, and is therefore either wholly unintelligible to the pupil, or deceives him with an appearance of knowledge which opens the door to all superficiality and lack of scientific method." (Hermann G Grassmann, "Stücke aus dem Lehrbuche der Arithmetik", 1861)

"The mathematician starts with a few propositions, the proof of which is so obvious that they are called self-evident, and the rest of his work consists of subtle deductions from them. The teaching of languages, at any rate as ordinarily practised, is of the same general nature: authority and tradition furnish the data, and the mental operations are deductive." (Thomas H Huxley, 1869)

“Simplification of modes of proof is not merely an indication of advance in our knowledge of a subject, but is also the surest guarantee of readiness for farther progress.“ (Lord Kelvin, “Elements of Natural Philosophy”, 1873)

“’Divide et impera’ is as true in algebra as in statecraft; but no less true and even more fertile is the maxim ‘auge et impera’. The more to do or to prove, the easier the doing or the proof.” (James J Sylvester, “Proof of the Fundamental Theorem of Invariants”, Philosophic Magazine, 1878)

"The aim of proof is, in fact, not merely to place the truth of a proposition beyond all doubt, but also to afford us insight into the dependence of one truth upon another. After we have convinced ourselves that a boulder is immovable, by trying unsuccessfully to move it, there remains the further question, what is it that supports it so securely." (Gottlob Frege," The Foundations of Arithmetic", 1884)

“That which is provable, ought not to be believed in science without proof” (Richard Dedekind, “Was sind und was sollen die Zahlen?”, 1888)

“Pure mathematics proves itself a royal science both through its content and form, which contains within itself the cause of its being and its methods of proof. For in complete independence mathematics creates for itself the object of which it treats, its magnitudes and laws, its formulas and symbols.” (Christian H Dillmann, „Die Mathematik die Fackelträgerin einer neuen Zeit“, 1889)

“If men of science owe anything to us, we may learn much from them that is essential. For they can show how to test proof, how to secure fulness and soundness in induction, how to restrain and to employ with safety hypothesis and analogy.” (Lord John Acton, [Lecture] “The Study of History”, 1895)

“The folly of mistaking a paradox for a discovery, a metaphor for a proof, a torrent of verbiage for a spring of capital truths, and oneself for an oracle, is inborn in us.” (Paul Valéry, 1895)

"Just give me the insights. I can always come up with the proofs!" (Bernhard Riemann)

"Analogy cannot serve as proof." (Louis Pasteur)

See also:
Proofs I, II, III, IV, VI, VII, VIII, IX
Theorems I, II, III, IV, V, VI, VII, VIII, IX, X