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
07.25 Gast Yijia Chen (Shanghai)
06.25 GastMykyta Narusevych (Prag)
05.25 Vortrag (online) Complexity Network, UK
02.25 Gast Yijia Chen (Shanghai)
12.24 GastJan Pich (Uni Oxford)
11.24 Gast Isolde Adler (Uni Bamberg)
10.24 Keynote talk Colloquium Logicum, TU Wien
09.24 Vortrag 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)
Diese Seite teilen
