Zentraler FU-Lehrpreis 2015 geht an Christoph Benzmüller

2008-chris-1-klein
Christoph Benzmüller
Bildquelle: http://christoph-benzmueller.de

Christoph Benzmüller, der mit einem Heisenberg-Stipendium forscht und PD am FB Mathematik und Informatik ist, hat den zentralen Lehrpreis der FU  Berlin erhalten. Im Rahmen seiner Forschung über automatisches Beweisen, Logik und Formalisierung hat er ein Konzept für eine interdisziplinäre Vorlesung "Computational Methaphysics" eingereicht.

News vom 19.01.2016

Die Vorlesung wird Studenten in der Philosophie, Mathematik und Informatik, aber auch z. B. in der Theologie ansprechen, da mit dem Instrumentarium der modernen Logik verwickelte philosophische Argumente auf Korrektheit und Konsistenz überprüft werden können.

Die Preisverleihung findet am 11. April 2016 statt,
die Vorlesung selbst in 2016.

1 von 4