Centrone, Stefania
Do. 12-14
Beginn: 03.11.2020
Im Jahre 1931 veröffentlicht Kurt Gödel einen kurzen Text mit dem Titel „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme“.
Gödels Unvollständigkeitssätze sind unter den wichtigsten Sätzen der modernen Logik und werden weitgehend als revolutionierend und von grundlegender philosophischer Bedeutung angesehen. Das Ziel dieses Hauptseminars ist uns mit Gödels Beweisführung vertraut zu machen und deren philosophischen Implikationen zu untersuchen.
Literaturverweis:
Skripte werden während des Kurses verteilt.
Hao Wang, A Logical Journey: From Gödel to Philosophy (MIT Press)
MA Phil 3
MA-TGWT Phil 3
Nebenfach-Philosophie für Mathematik-BA
