2.3Prädikatenlogik

Vollständigkeit und Unvollständigkeit

Hilberts Traum einer vollständig beweisbaren Mathematik – und Gödels Nachweis, dass er sich nicht erfüllen lässt.

Leitformel
widerspruchsfrei⟹unvollsta¨ndig\text{widerspruchsfrei} \quad \Longrightarrow \quad \text{unvollständig}
widerspruchsfrei\text{widerspruchsfrei}⟹unvollsta¨ndig\Longrightarrow \text{unvollständig}
Lernziel

Vollständigkeitssatz und Unvollständigkeitssätze unterscheiden, Antinomien erklären und die Beweisidee der Selbstreferenz nachvollziehen.

Einheit wird geladen …