On Rigor (1900-1924)

"[…] it is an error to believe that rigor in the proof is the enemy of simplicity." (David Hilbert, [Paris International Congress] 1900)

"[...] it shall be possible to establish the correctness of the solution by means of a finite number of steps based upon a finite number of hypotheses which are implied in the statement of the problem and which must always be exactly formulated. This requirement of logical deduction by means of a finite number of processes is simply the requirement of rigor in reasoning." (David Hilbert, "Mathematical Problems", 1900)

"The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigour which is challenged by none? If, on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology? The syllogism can teach us nothing essentially new, and if everything must spring from the principle of identity, then everything should be capable of being reduced to that principle." (Henri Poincaré, "Science and Hypothesis", 1901)

"Besides it is an error to believe that rigour is the enemy of simplicity. On the contrary we find it confirmed by numerous examples that the rigorous method is at the same time the simpler and the more easily comprehended. The very effort for rigor forces us to find out simpler methods of proof." (David Hilbert,"Mathematical Problems", Bulletin of the American Mathematical Society Vol. 8, 1902)

"If, to go further, we [...] attribute to matter the infinitely granular structure that is in the spirit of atomic theory, our power to apply to reality the rigorous mathematical concept of continuity will greatly decrease." (Jean-Baptiste Perrin, 1906)

"Indeed, a mathematical deduction is of no use to the physicist so long as it is limited to asserting that a given rigorously true proposition has for its consequence the rigorous accuracy of some such other proposition. To be useful to the physicist, it must still be proved that the second proposition remains approximately exact when the first is only approximately true. And even that does not suffice. The range of these two approximations must be delimited; it is necessary to fix the limits of error which can be made in the result when the degree of precision of the methods of measuring the data is known; it is necessary to define the probable error that can be granted the data when we wish to know the result within a definite degree of approximation." (Pierre-Maurice-Marie Duhem, "La théorie physique. Son objet, sa structure", 1906)

"Much of the skill of the true mathematical physicist and of the mathematical astronomer consists in the power of adapting methods and results carried out on an exact mathematical basis to obtain approximations sufficient for the purposes of physical measurements. It might perhaps be thought that a scheme of Mathematics on a frankly approximative basis would be sufficient for all the practical purposes of application in Physics, Engineering Science, and Astronomy, and no doubt it would be possible to develop, to some extent at least, a species of Mathematics on these lines. Such a system would, however, involve an intolerable awkwardness and prolixity in the statements of results, especially in view of the fact that the degree of approximation necessary for various purposes is very different, and thus that unassigned grades of approximation would have to be provided for. Moreover, the mathematician working on these lines would be cut off from the chief sources of inspiration, the ideals of exactitude and logical rigour, as well as from one of his most indispensable guides to discovery, symmetry, and permanence of mathematical form. The history of the actual movements of mathematical thought through the centuries shows that these ideals are the very life-blood of the science, and warrants the conclusion that a constant striving toward their attainment is an absolutely essential condition of vigorous growth. These ideals have their roots in irresistible impulses and deep-seated needs of the human mind, manifested in its efforts to introduce intelligibility in certain great domains of the world of thought." (Ernest W Hobson, [address] 1910)

 "At difficult times like this, the only salvation is an enthusiasm for science and elevated thinking, and from all sciences, mathematics, through its precise problems, through its rigorous proofs, gives the most important and immediate rewarding and serves then as a solid foundation for any other theoretical or applied profession." (Gheorghe Ţiţeica, "Gazeta Matematica", ["Mathematical Gazette"] XXXVI, 1916)  

"The ideal of thought is rigor; mathematics is the name that usage employs to designate, not attainment of the ideal, for it cannot be attained, but its devoted pursuit and close approximation. (Cassius J Keyser, "The Human Worth of Rigorous Thinking: Essays and Addresses", 1916)

"The rigor of mathematics is not absolute - absolute rigor is an ideal, to be, like other ideals, aspired unto, forever approached, but never quite attained, for such attainment would mean that every possibility of error or indetermination, however slight, had been eliminated from idea, from symbol, and from argumentation. (Cassius J Keyser, "The Human Worth of Rigorous Thinking: Essays and Addresses", 1916)