 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | |||||||||||||||||
| Wissensbrowser starten | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
|
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Glossareintrag |
|
Gödelsche Unvollständigkeitssatz |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Erläuterung | |||||||||
| |||||||||
| Im Jahr 1930 wies Kurt Gödel nach, dass man in Systemen wie der Arithmetik nicht alle Aussagen formal beweisen oder widerlegen kann. Er formulierte: Jedes hinreichend mächtige formale System ist entweder widersprüchlich oder unvollständig. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||
| ||
| ||
| ||
| Gödelsche Unvollständigkeitssatz | ||
| ||
| ||
| ||
| | |
| ||||||||||||||
|
