Hilbert's Program
plato.stanford.eduIn 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.