This is an advanced seminar joint with Tobias Kaiser. It offers research talks of the respective groups and their visitors. Advanced students who wish to deepen their knowledge in mathematical logic and/or complexity theory can give talks on jointly chosen and jointly elaborated topics.
Program TBA
Contents
Mathematical logic takes its origin in Gottlob Frege's Begriffschrift 1879, and was pushed forward by David Hilbert's program during the so-called foundational crisis of mathematics in the beginning of the 20th century. Today it is an established disciplin of mathematics with broad connections to other areas of mathematics, and in particular to theoretical computer science. Among the greatest achievements of mathematical logic, and generally mathematics of the 20th century, are Alan Turing's formal definition of the notion of computability 1936, and Kurt Gödel's proof of impossibility of Hilbert's program, namely his incompleteness theorems 1931. The course offers an introduction into mathematical logic, and in particular into computability theory and the incompleteness theorems.
Lecture notes are going to be available.
Lecture
Tuesday 12:00-14:00 IM SR030
Thursday 12:00-14:00 ITZ SR004
Exercises
Wednesday 10:00-12:00 IM SR030
Literature
Ziegler, Mathematische Logik, Birkhäuser, 2010, Springer
Ebbinghaus, Flum, Thomas, Mathematical Logic, 1994 Springer
Ebbinghaus, Flum, Thomas, Einführung in die mathematische Logik, 2018, Springer
Rautenberg, A concise introduction to mathematical logic, 2010, Springer
Shoenfield, Mathematical Logic, Addison-Wesley, 1967
