Destpêk > Science > Math > Logic_and_Foundations > History > People > Hilbert,_David >
| This category in other languages: | | | |
- David Hilbert - Brief biography with references.
- 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.
|