Hilbert, David People History Logic and Foundations

• David Hilbert - Brief biography with references.
• Mathematical Problems of David Hilbert - Text of Hilbert's 1900 address in English.
• Hilbert's Problems - Article in the Platonic Realms. Lists 23 problems posed to hilbert, david the second international mathematics congress in 1900 AD.
• Hilbert's Program - In 1921, David Hilbert made a proposal for people a formalist foundation of mathematics, for which a people finitary consistency proof should establish the security of people mathematics. From the Stanford Encyclopedia of Philosophy, people by Richard Zach.

   MySQL - Cache Direct