Directory > Science > Math > Logic and Foundations > History > People > Hilbert, David 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. http://plato.stanford.edu/entries/hilbert-program/ Reviews Rating: Not yet Rated
Whois Check
Hilbert Edition Project to edit Hilbert's unpublished lectures. http://www.gwdg.de/~uhwg/Hilbert-Edition.html Reviews Rating: Not yet Rated
Whois Check
Hilbert's Problems Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD. http://www.mathacademy.com/pr/prime/articles/hilbert_prob/ Reviews Rating: Not yet Rated
Whois Check
David Hilbert Brief biography with references. http://faculty.evansville.edu/ck6/bstud/hilbert.html Reviews Rating: Not yet Rated
Whois Check
David Hilbert Biography from the MacTutor History of Mathematics Archive. http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Hilbert.html Reviews Rating: Not yet Rated
Whois Check
Mathematical Problems of David Hilbert Text of Hilbert's 1900 address in English. http://aleph0.clarku.edu/~djoyce/hilbert/ Reviews Rating: Not yet Rated
Whois Check
|