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: weitz.de/corr/qSiLjXlFlYE
* Das GANZ NEUE Buch: weitz.de/GDM/
* Das NEUE Buch: weitz.de/PP/
* Weihnachtsvorlesungen: weitz.de/weihnachtsvorlesung.html
* Mehr zu Gödel: • Gödels Unvollständigke...
* Nicht-euklidische Geometrien: • Nicht-euklidische Geom...
* Zermelo-Fraenkel-Mengenlehre: • Das Zermelo-Fraenkel-A...
* Ordinalzahlen: • Unendlich plus eins - ...
* Fundamentalsatz der Arithmetik: • Der Fundamentalsatz de...
* Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
* Liste aller Videos: weitz.de/haw-videos/
* Illustrationen von Heike Stephan: / haiartandillustration
* Allgemeine Anmerkungen: 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.