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. From the Stanford Encyclopedia, by Richard Zach.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.