Mathematische Logik
Universität Passau
Prof. Dr. Moritz Müller ist seit Oktober 2022 Inhaber des neu geschaffenen HTA-Lehrstuhls für Mathematische Logik an der Fakultät für Informatik und Mathematik der Universität Passau. Sein Arbeitsgebiet konzentriert sich auf die Schnittstelle von mathematischer Logik und Komplexitätstheorie, insbesondere Beweiskomplexität. Typische Fragen der Beweiskomplexität betreffen die Reichweite von Beweisen, die mit Konstruktionen und Konzepten beschränkter algorithmischer Komplexität auskommen. Sie kann als Annäherung an das zentrale Problem der theoretischen Informatik, nämlich das P versus NP Problem, mit Mitteln der mathematischen Logik betrachtet werden. Dieses Problem gehört zu den größten derzeit offenen Fragen der Mathematik. Es ist eine Frage dazu, welche Probleme algorithmisch effektive Lösungen haben können, und welche nicht.
(Foto: privat)