| David Hilbert: Biography from the MacTutor History of Mathematics Archive. |
| David Hilbert: Brief biography with references. |
| 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. |
Classical
