Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
Gödelsche Unvollständigkeitssatz
Glossar:26073
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
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.
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018