Siegel der Universität Augsburg

Universität Augsburg
Institut für Mathematik

Siegel der Universität Augsburg

 

Kolloquium zur Bachelorarbeit

 

Herr Johannes Riebel
Universität Augsburg

 
spricht am
 
Donnerstag, 30. März 2023
 
um
 
9:00 Uhr
 
im
 
2022 T
 
über das Thema:
 

»Gödels Unvollständigkeitssätze - Die Grenzen der Mathematik«

Abstract:
Die Kontinuumshypothese oder auch das Auswahlaxiom sind bekannte Beispiele für formal unentscheidbare Aussagen. Weder sie selbst noch ihr Gegenteil sind beweisbar. Aber wie kann man beweisen, dass etwas nicht beweisbar ist? In den 1930er Jahren gelang dem Mathematiker Kurt Gödel mit seinem ersten Unvollständigkeitssatz ein Durchbruch in der Beweistheorie. Er zeigte, dass jedes mathematische System unter sehr schwachen Bedingungen nicht beweisbare und nicht widerlegbare Sätze enthält — und vor allem, dass dieses Phänomen kein Konstruktionsfehler, sondern eine fundamentale Grenze der mathematischen Logik darstellt. Im Vortrag zur Bachelorarbeit „The Undecidability of BB(748) - Understanding Gödel's Incompleteness Theorems" wird die Beweisidee dieses bahnbrechenden Ergebnisses untersucht. Als Beispiel dient eine Turingmaschine, deren Verhalten sich den Analysemöglichkeiten von ZFC entzieht. Im Gegensatz zur Kontinuumshypothese und zum Auswahlaxiom kommt diese Aussage mit endlichen Begriffen aus und erscheint greifbarer.

 

Hierzu ergeht herzliche Einladung.
Prof. Dr. Marc Nieper-Wißkirchen



[Impressum]      [Datenschutz]      wwwadm@math.uni-augsburg.de,     Mi 22-Mär-2023 07:41:43 MEZ