Prof. Dr. Moritz Müller ist seit Oktober 2022 Inhaber des Lehrstuhls für Mathematische Logik. Nach Passau kam er aus der Uni Freiburg, über Barcelona und Wien. Seine Forschungsschwerpunkte liegen im Grenzbereich der mathematischen Logik und der theoretischen Informatik, insbesondere der Beweiskomplexität.
Prof. Dr. Moritz Müller ist seit Oktober 2022 Inhaber des Lehrstuhls für Mathematische Logik. Nach Passau kam er aus der Uni Freiburg, über Barcelona und Wien. Seine Forschungsschwerpunkte liegen im Grenzbereich der mathematischen Logik und der theoretischen Informatik, insbesondere der Beweiskomplexität.
„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?"
Ich bin damit einverstanden, dass beim Abspielen des Videos eine Verbindung zum Server von Vimeo hergestellt wird und dabei personenbezogenen Daten (z.B. Ihre IP-Adresse) übermittelt werden.
Ich bin damit einverstanden, dass beim Abspielen des Videos eine Verbindung zum Server von YouTube hergestellt wird und dabei personenbezogenen Daten (z.B. Ihre IP-Adresse) übermittelt werden.
Video anzeigen
