104.508 AKLOG: Die Gödelschen Unvollständigkeitssätze
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

Das intendierte Lernergebnis dieser LVA besteht darin den Inhalt der LVA zu verstehen. Dieses Verständnis bildet unter anderem die Basis für die Fähigkeit die in der LVA besprochenen Aussagen und Begriffe korrekt wiederzugeben, sowie dafür die in der LVA eingesetzten Beweismethoden erklären und anwenden zu können.

Inhalt der Lehrveranstaltung

Die Unvollständigkeitssätze von Gödel gehören zu den wichtigsten Resultaten der
mathematischen Logik. In dieser Vorlesung werden die Unvollständigkeitssätze
bewiesen. Dabei werden wir nicht auf dem kürzestmöglichen Weg vorgehen, sondern
die Unvollständigkeitssätze zum Anlass nehmen, uns mit den sie umgebenden
Themen und Beweistechniken zu beschäftigen.

Wir beginnen mit einer kurzen Einführung in die Berechenbarkeitstheorie, die es
erlaubt die zentralen Beweistechniken der Diagonialisierung und der
Arithmetisierung in vergleichsweise einfachem Rahmen kennenzulernen. Eine
Betrachtung des Begriffs der Wahrheit im Standardmodell führt uns auf die
logische Ebene. Danach studieren wir arithmetische Theorien und ihre
Nichtstandardmodelle. Auf diese Weise vorbereitet können wir sodann
verschiedene Formen und Beweise der Unvollständigkeitssätze zeigen und
diskutieren.

Methoden

Vortrag

Prüfungsmodus

Mündlich

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.14:15 - 15:4507.03.2022 - 27.06.2022 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
AKLOG: Die Gödelschen Unvollständigkeitssätze - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.07.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.14.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.21.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.28.03.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.04.04.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.25.04.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.02.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.09.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.16.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.23.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.30.05.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.13.06.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.20.06.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung
Mo.27.06.202214:15 - 15:45 Dissertantenraum, Freihaus, 8. Stock, grüner BereichVorlesung

Leistungsnachweis

Mündliche Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
07.03.2022 00:00 28.06.2022 23:59

Anmeldemodalitäten

Bitte melden Sie sich an um über organisatorische Änderungen der VO oder UE per E-Mail informiert zu werden.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
860 GW Gebundene Wahlfächer - Technische Mathematik

Literatur

Es wird ein Skriptum zur Verfügung gestellt werden.

Vorkenntnisse

Grundkenntnisse in der mathematischen Logik wie sie z.B. in der VO+UE "Logik und Grundlagen der Mathematik" vermittelt werden.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch