Sites 5
Biography from the MacTutor History of Mathematics Archive.
Brief biography with references.
Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD.
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.
Text of Hilbert's 1900 address in English.
Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD.
Biography from the MacTutor History of Mathematics Archive.
Text of Hilbert's 1900 address in English.
Brief biography with references.
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.
Other languages 2
Last update:
February 16, 2020 at 4:01:16 UTC
Check out
Society: Religion and Spirituality: Christianity: People: Saints: A: Saint Ambrose
- Recently edited by merlin1
- Recently edited by merlin1