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.

Visits
222
Added
Feb 19, 2026
Rating
(117)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Get the best links delivered weekly — hand-picked from 1,200,810 resources