Prof. Dr. Moritz Müller
„Das P versus NP Problem ist das zentrale Problem der theoretischen Informatik und eines der derzeit größten offenen Probleme der Mathematik. Es behandelt die Frage, welche Berechnungsprobleme effizient lösbar sind. Ich möchte versuchen, dieses Problem mit Mitteln der mathematischen Logik besser zu verstehen. Kann man beispielsweise beweisen, dass jede mögliche Antwort schwierig zu beweisen sein muss?"
Mehr zur Forschung
Wie schwierig müssen Beweise sein?
Prof. Dr. Moritz Müller forscht an der Universität Passau zur mathematischen Logik. Er beschäftigt sich in seiner Forschung beispielsweise mit der Fragestellung, wie schwierig Beweise sein müssen.
