Hilbert's Program

Hilbert's Program
All Links

Share this:

Details of Hilbert's Program

About Hilbert's Program
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. By Richard Zach.
Stanford Encyclopedia of Philosophy