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