Hilbert's 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://plato.stanford.edu/entries/hilbert-program/

Hilbert Edition
- Project to edit Hilbert's unpublished lectures.
- http://www.gwdg.de/~uhwg/Hilbert-Edition.html

Hilbert's Problems
- Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD.
- http://www.mathacademy.com/pr/prime/articles/hilbert_prob/

David Hilbert
- Brief biography with references.
- http://faculty.evansville.edu/ck6/bstud/hilbert.html

Mathematical Problems of David Hilbert
- Text of Hilbert's 1900 address in English.
- http://aleph0.clarku.edu/~djoyce/hilbert/