Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
History
:
People
:
Hilbert,_David
:
Hilbert's Program
Link Details for:
Hilbert's Program
Link Title:
Hilbert's Program
Link URL:
http://plato.stanford.edu/entries/hilbert-program/
Link Details:
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.
Category:
Top : Science : Math : Logic_and_Foundations : History : People : Hilbert,_David
Link Type:
ScreenShot: