Gödel (miss)verstehen - Was sagt der Unvollständigkeitssatz wirklich aus?

Kaum ein Theorem der Mathematik ist so populär wie Gödels Unvollständigkeitssätze. (Es sind nämlich eigentlich zwei.) Kaum eines wird aber auch so oft missverstanden und falsch interpretiert. In diesem Video wird versucht, die Grundidee hinter diesen berühmten Sätzen und ihren Beweisen im historischen Kontext des sogenannten Hilbertprogramms zu erläutern. Auf dieser Basis kann man dann hoffentlich verstehen, warum viele "Folgerungen" daraus nicht ganz richtig oder schlicht und einfach falsch sind.

KORREKTUREN: http://weitz.de/corr/qSiLjXlFlYE

Das GANZ NEUE Buch: http://weitz.de/GDM/
Das NEUE Buch: http://weitz.de/PP/

Weihnachtsvorlesungen: http://weitz.de/weihnachtsvorlesung.html
Mehr zu Gödel:    • Gödels Unvollständigkeitssätze und di...  
Nicht-euklidische Geometrien:    • Nicht-euklidische Geometrien (Weihnac...  
Zermelo-Fraenkel-Mengenlehre:    • Das Zermelo-Fraenkel-Axiomensystem de...  
Ordinalzahlen:    • Unendlich plus eins - Was sind Ordina...  
Fundamentalsatz der Arithmetik:    • Der Fundamentalsatz der Arithmetik  

Das etwas andere Mathe-Lehrbuch: http://weitz.de/KMFI/
Liste aller Videos: http://weitz.de/haw-videos/
Illustrationen von Heike Stephan:   / haiartandillustration  

Allgemeine Anmerkungen: http://weitz.de/youtube.html

0:00:00 Intro
0:04:56 Metamathematik
0:08:25 Formale Systeme
0:30:35 Gödels Beweis
0:55:33 Missverständnisse
1:14:22 Buchempfehlungen

Corrections:
12:07 Bitte beachten Sie die Korrekturhinweise in der Videobeschreibung.