Hilbert, David People History Logic and Foundations

Hilbert, David

• - Project to edit Hilbert's unpublished lectures.
  
• - Article in the Platonic Realms. Lists 23 problems posed to the second international mathematics congress in 1900 AD.
  
• - 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.
  
  

Copyright © 1995-2007 Internet Advertising Solutions, Inc.
Copyright Notice | Privacy Policy | Site Map | APR