AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Die Gödelschen Unvollständigkeitssätze/Gödel's Incompleteness Theorems - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 51007
Semester SoSe 2019 SWS 2
Rhythmus keine Übernahme Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!

Termine

Gruppe 1 iCalendar Export iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
iCalendar Export Mi. 12:00 bis 14:00 wöch von 10.04.2019 
Einzeltermine anzeigen
Universitätsgebäude am Hegelplatz - 1.308 Dorotheenstraße 24 (DOR 24) - (Unterrichtsraum) Niebergall findet statt     1000
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Niebergall, Karl-Georg , Prof. Dr.
Zuordnung zu Einrichtungen
Einrichtung
Philosophische Fakultät, Institut für Philosophie
Inhalt
Kommentar

Die Gödelschen Unvollständigkeitssätze – „Die Peano-Arithmetik ist unvollständig“ (das 1. G. Theorem) und „Die Konsistenz der Peano-Arithmetik ist in dieser nicht beweisbar“ (das 2. G. Theorem) – und Verallgemeinerungen von diesen gehören zu den grundlegenden und wichtigsten Resultaten der Logik. Nach einer kurzen Einführung in die Philosophie der Mathematik des frühen 20 Jhdt. zeige ich ausführlich das 1. G. Theorem (in der o.g. Form). Dieser Beweis sowie die Behandlung von Verallgemeinerungen stehen im Zentrum dieser Vorlesung. Der Beweis wird direkt geführt, ohne z.B. die Benutzung von rekursionstheoretischen Mitteln. Eine wichtige Rolle werden dabei vielmehr Untersuchungen der Komplexität von gewissen arithmetischen Formeln spielen. Zum Abschluss soll auf Beweisbarkeitslogik und, wenn auch nicht im Detail, auf das 2. G. Theorem eingegangen werden.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2019. Aktuelles Semester: WiSe 2019/20.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin