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.
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.
06.25 Gast Mykyta Narusevych (Prag)
05.25 Vortrag (online) Complexity Network, UK
02.25 Gast Yijia Chen (Shanghai)
12.24 Gast Jan 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)
Moritz Müller
Raum: HK30 102
Tel.: +49(0)851 509 4660
Email: VORNAME.mueller@uni-passau.de
Anke Berger
Raum: HK30 229
Tel.: +49(0)851 509 5025
Email: VORNAME.berger@uni-passau.de
Universität Passau
Lehrstuhl Mathematische Logik
Dr.-Hans-Kapfinger Straße 30
94032 Passau