Forschung
Das P versus NP Problem ist eines der Millenium Probleme, und Stephen Smale zufolge "eines der drei grössten offenen Probleme de Mathematik" und ein "Geschenk der Informatik für die Mathematik". Es wurde erstmals 1967 von Stephen Cook formuliert. Die Forschung des Lehrstuhls nähert sich diesem und verwandten Problemen mit Mitteln der mathematischen Logik. Ein Schwerpunkt liegt in der Beweiskomplexität und der beschränkten Arithmetik.
Lehre
Der Lehrstuhl bietet in Zusammenarbeit mit dem Lehrstuhl für Reine Mathematik eine Ausbildung in mathematischer Logik an, die die gesamte Breite des Gebiets aufzeigt, und in den mit den Interessen der Lehrstühle verbundenen Teilgebieten an Fragen aktueller Forschung heranführt.
Aktuelles
10.24 Hauptvortrag Colloquium Logicum, Wien
09.24 Azza organisiert JAF in Passau
09.24 Vortrag bei Proof Complexity, Uni Oxford
06.24 Vortrag Prague Logic Seminar
06.24 Forschungsbesuch Neil Thapen (Prag)
07.24 Gast Yijia Chen (Shanghai)
05.24 Gast Mykyta Narusevych (Prag)
05.24 Gast Ondreij Jezil (Prag)
05.24 Gast Manuel Bodirsky (Dresden)
04.24 Teilnahme (online) MFO workshop
03.24 Vortrag AlMoTh, Ilmenau
03.24 Forschungsbesuch, Bonacina, Barcelona
02.24 Gast Albert Atserias (Barcelona)
01.24 Gast Anton Freund (Würzburg)
01.24 Gast Yijia Chen (Shanghai)
12.23 Gast Jan Pich (Oxford)
11.23 Teilnahme MFO workshop
10.23 Gast Eitetsu Ken (Tokio)
09.23 Vortrag im Online Complexity Seminar
09.23 Gaysin bei JAF
07.23 preprint mit Joosten
06.23 Workshop on Algorithmic Law
06.23 Gast Joost Joosten (Barcelona)
05.23 Antrittsvorlesung
04.23 Seminar Paradoxien Girls Day
03.23 Forschungsbesuch, Bonacina, Barcelona
03.23 online Teilnahme Simons workshop
02.03.23 Vortrag, AlMoTh, Bochum
02.23 paper mit Atserias, Buss akzeptiert bei STOC23
12.22 paper mit Chen, Flum im Bulletin EATCS
11.22 Vortrag, Prague Logic Seminar
11.22 Preprint mit Chen, Yokoyama
06.22 Plenary Talk Logic Colloquium 2022
Diese Seite teilen
