|
| |
|
|
|
|
|
|
|
| |
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 >> |
|
|
|
|
|
| |
|
|
|
| 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 |
Imprint |
|
Copyright ©2009 GeoDZ. All rights reserved. Terms of Use | Privacy Policy | Contact Us
|
