- Home
- Society
- Philanthropy
- Hilbert's Program
Society · Philanthropy
Hilbert's Program
Listed in the directory · updated 26 Sep 2022
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.