Top News, Articles, and Interviews in Philosophy

Hilbert’s Program

Philosophy News image
[Revised entry by Richard Zach on May 24, 2019. Changes to: Main text, Bibliography] In the early 1920s, the German mathematician David Hilbert (1862 - 1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called "finitary"...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus