| Directory > Science > Math > Logic and Foundations > History > People > Hilbert, David Hilbert's ProgramIn 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
 
 
  
 |