Quotation by David Hilbert

With this new way of providing a foundation for mathematics, which we may appropriately call a proof theory, I pursue a significant goal, for I should like to eliminate once and for all the questions regarding the foundations of mathematics, in the form in which they are now posed, by turning every mathematical proposition into a formula that can be concretely exhibited and strictly derived, thus recasting mathematical definitions and inferences in such a way that they are unshakable and yet provide an adequate picture of the whole of science. I believe I can attain this goal completely with my proof theory.
David Hilbert (1862–1943), German mathematician, philosopher of science and mathematics. repr. In J. van Heijenoort, From Frege to Goedel, pp. 464-479 (1927). "The Foundations of Mathematics."

A statement of its author's formalist program.
Surprise me with a
The Columbia World of Quotations © 1996, Columbia University Press.
Licensed from Columbia University Press. All rights reserved. Except as otherwise permitted by written agreement, the following are prohibited: copying substantial portions or the entirety of the work in machine readable form, making multiple printouts thereof, and other uses of the work inconsistent with U.S. and applicable foreign copyright and related laws.
Copyright ©  2015 Dictionary.com, LLC. All rights reserved.
About PRIVACY POLICY Terms Careers Contact Us Help