Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesungsaufzählung

• 1 - Probleme

• 2 - Formale Sprachen

• 3 - Prädikatenlogik

• 4 - Semantik der Prädikatenlogik

• 5 - Substitution

• 6 - Tautologien

• 7 - Der Vollständigkeitssatz

• 8 - Registermaschinen

• 9 - Das Halteproblem

• 10 - Arithmetische Repräsentierungen

• 11 - Die Unentscheidbarkeit der Arithmetik

• 12 - Der Fixpunktsatz

• 13 - Die Unvollständigkeitssätze

• 14 -

• 15 -

• 16 -

• 17 -

• 18 -

• 19 -

• 20 -

• 21 -

• 22 -

• 23 -

• 24 -

• 25 -

• 26 -

• 27 -

• 28 -