Mathematische Logik: Vorlesung 20

Mathematische Logik: Vorlesung 20 (Mi, 12.07.2017)

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden

4.4 Der Kompaktheitssatz, Axiomatisierbarkeit und Größe von
Modellen
4.5 Unentscheidbarkeit der Prädikatenlogik

00:18:03	Nichtstandardmodelle derArithmetik
00:37:15	4.5 Unentscheidbarkeit der Prädikatenlogik
00:46:35	Satz von Church/Turing