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.

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.