David Hilbert
Biography from the MacTutor History of Mathematics Archive.
Hilbert Edition
Project to edit Hilbert's unpublished lectures.
Hilbert's Problems
Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD.
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.
Mathematical Problems of David Hilbert
Text of Hilbert's 1900 address in English.