Top /
Science /
Math /
Logic_and_Foundations /
History /
People /
Hilbert,_David /
|
Hilbert's Program
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 of Philosophy, by Richard Zach.
http://plato.stanford.edu/entries/hilbert-program/
Stanford.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|