“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, 1902)
"It is one of the chief merits of proofs that they instill a certain skepticism as to the result proved." (Bertrand Russell, "The Principles of Mathematics", 1903)
"It is by logic that we prove, but by intuition that we discover. [...] Every definition implies an axiom, since it asserts the existence of the object defined. The definition then will not be justified, from the purely logical point of view, until we have proved that it involves no contradiction either in its terms or with the truths previously admitted." (Henri Poincaré, "Science and Method", 1908)
"Banishing fundamental facts or problems from science merely because they cannot be dealt with by means of certain prescribed principles would be like forbidding the further extension of the theory of parallels in geometry because the axiom upon which this theory rests has been shown to be unprovable. Actually, principles must be judged from the point of view of science, and not science from the point of view of principles fixed once and for all." (Ernst Zermelo, "Neuer Beweis für die Möglichkeit einer Wohlordnung", Mathematische Annalen 65, 1908)
"Now even in mathematics unprovability, as is well known, is in no way equivalent to nonvalidity, since, after all, not everything can be proved, but every proof in turn presupposes unproved principles. Thus, in order to reject such a fundamental principle, one would have to ascertain that in some particular case it did not hold or to derive contradictory consequences from it; but none of my opponents has made any attempt to do this." (Ernst Zermelo, "Neuer Beweis für die Möglichkeit einer Wohlordnung", Mathematische Annalen 65, 1908)
"To reach our goal [of proving consistency], we must make the proofs as such the object of our investigation; we are thus compelled to a sort of proof theory which studies operations with the proofs themselves." (David Hilbert, 1922)
"Mathematics is the most exact science, and its conclusions are capable of absolute proof. But this is so only because mathematics does not attempt to draw absolute conclusions. All mathematical truths are relative, conditional." (Charles P Steinmetz, 1923)
"To reach our goal [of proving consistency], we must make the proofs as such the object of our investigation; we are thus compelled to a sort of proof theory which studies operations with the proofs themselves." (David Hilbert, 1922)
"Mathematics is the most exact science, and its conclusions are capable of absolute proof. But this is so only because mathematics does not attempt to draw absolute conclusions. All mathematical truths are relative, conditional." (Charles P Steinmetz, 1923)
No comments:
Post a Comment