Gödels Unvollständigkeitssätze und die Kontinuumshypothese (Weihnachtsvorlesung 2017, Teil 4 von 4)

Wie Kurt Gödel bewies, dass das Hilbertprogramm zur Überwindung der Grundlagenkrise der Mathematik scheitern musste. Was das mit einer grundlegenden Frage zur Unendlichkeit zu tun hat und wie Paul Cohen und ebenfalls Gödel diese überraschenderweise beantworteten.
KORREKTUREN: weitz.de/corr/d...
Das GANZ NEUE Buch: weitz.de/GDM/
Das NEUE Buch: weitz.de/PP/
* Teil 1: • Was Mathematiker NICHT...
* Teil 2: • Gleichungen, die nicht...
* Teil 3: • Nicht-euklidische Geom...
* Mehr zu Gödel: • Gödel (miss)verstehen ...
* Mächtigkeit von Mengen z.B. ab hier: • Cantors erstes Diagona...
* Axiomatische Mengenlehre: • Das Zermelo-Fraenkel-A...
* Stellenwert der Mengenlehre: • Warum überhaupt Mengen...
* P=NP? • Das P-NP-Problem
* Mehr Weihnachtsvorlesungen: weitz.de/weihna...
Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
Allgemeine Anmerkungen: weitz.de/youtub...
00:00 Grundlagenkrise der Mathematik
01:56 Das Hilbertprogramm und Metamathematik
03:18 Formalismus
08:18 Gödels Unvollständigkeitssätze (und Rossers Trick)
17:18 Mengenlehre und Mächtigkeit
19:50 Cantors brühmte Diagonalargumente
21:14 Die Kontinuumshypothese
22:46 Die Antwort von Gödel und Cohen
23:54 Millennium-Probleme und P=NP