Hilbert's Program
URL: http://plato.stanford.edu/entries/hilbert-program/
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Philosophy of Science: Mathematics: Hilbert's Program
Detailed Traffic Statistic From Alexa
Description:
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia, by Richard Zach.