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.
11.26 Vortrag bei LFCW02, Isaac Newton Institute, Cambridge, UK
07.26 Gast Yijia Chen (Shanghai)
06.26 Gast Carlos Ansotegui (Lleida, Spain)
05.26 Gast Radek Honzik (Prag)
05.26 Vortrag und Besuch bei Isolde Adler (Uni Bamberg)
03.26 AlMoTh in Passau
01.26 Gast Yijia Chen (Shanghai)
12.25 Teilnahme online MFO workshop
12.25 Gast Jan Pich (Oxford)
09.25 Gast Radek Honzik (Prag)
06.25 Gast Mykyta Narusevych (Prag)
05.25 Vortrag (online) Complexity Network, UK
02.25 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
