Hilbert's Program

[Revised entry by Richard Zach on January 6, 2015. Changes to: Main text, Bibliography] In the early 1920s, the German mathematician David Hilbert (1862 - 1943) put forward a new proposal for the
Philosophy News image
[Revised entry by Richard Zach on January 6, 2015. 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