Description: 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. From the Stanford Encyclopedia, by Richard Zach.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people