Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Science:   Math:   Logic and Foundations:   History:   People:   Hilbert, David

Sites:

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