Start Encyclopedia69 Dictionary | Overview | Topics | Groups | Categories | Bookmark this page.
dictionary -  encyclopedia  
Full text search :        
   A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   #   



Hilbert's programme

  Hilbert\'s programme was an attempt by David Hilbert (1862 - 1943) to define the remaining task left to mathematics and to set up a programme to carry this out. The aim of Hilbert\'s programme was to find a way, given a sentence in symbolic logic, to mechanically determine whether that sentence was true or false. This aim was shown to be impossible by Gödel\'s incompleteness theorem. SMcL  



Bookmark this page:



<< former term
next term >>
Hilbert's Problems


Other Terms : Olympian Religion | Competition | Post-serialism
Home |  Add new article  |  Your List |  Tools |  Become an Editor |  Tell a Friend |  Links |  Awards |  Testimonials |  Press |  News |  About |
Copyright ©2009 GeoDZ. All rights reserved.  Terms of Use  |  Privacy Policy  |  Contact Us