Home > Science > Math > Logic and Foundations > History > People > Hilbert, David
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Hilbert.html
Biography from the MacTutor History of Mathematics Archive.
http://faculty.evansville.edu/ck6/bstud/hilbert.html
Brief biography with references.
http://www.mathacademy.com/pr/prime/articles/hilbert_prob/
Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD.
http://plato.stanford.edu/entries/hilbert-program/
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 of Philosophy, by Richard Zach.
http://aleph0.clarku.edu/~djoyce/hilbert/
Text of Hilbert's 1900 address in English.
Home > Science > Math > Logic and Foundations > History > People > Hilbert, David
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us