Ein Lehrprojekt, das Studierende fächerübergreifend an den aktuellen Forschungsstand in der Logik heranführt, wird mit dem Lehrpreis 2015 der Freien Universität Berlin ausgezeichnet. Ziel des forschungsorientierten Kurses für Masterstudierende in den Fächern Philosophie, Mathematik und Informatik ist es unter anderem, in die Benutzung computer-basierter Beweisassistenzsysteme einzuführen.

Mit dieser Methode war es dem Organisator der geplanten Lehrveranstaltung, dem Informatiker Christoph Benzmüller von der Freien Universität Berlin, im Jahr 2013 gelungen, gemeinsam mit einem Fachkollegen von der TU Wien den sogenannten Gottesbeweis des österreichischen Mathematikers Kurt Gödel (1906–1978) zu überprüfen. Dabei hatte der Computer sogar relevante neue Erkenntnisse zum Gottesbeweis aufdecken können.

„Der Logikausbildung kommt an den meisten Universitäten immer noch eine eher bescheidene Rolle zu“, sagt Christoph Benzmüller. Mit dem Seminar will der Preisträger dazu beitragen, dass ein „in der Mathematik wie in der theoretischen Philosophie sich anbahnender Paradigmenwechsel“ bereits im Masterstudium vermittelt werde. Zunehmend würden in diesen Fächern informale Papier-und-Bleistift-Beweise und -Argumente durch formal-logische, computer-verifizierte Gegenstücke ergänzt oder gar ersetzt.

Der zentrale Lehrpreis ist Teil des Konzepts der Freien Universität zur forschungsorientierten Lehre. Ausgezeichnet werden herausragende hochschuleigene Lehrkonzepte und -projekte, die Ergebnisse der Spitzenforschung in die universitäre Lehre überführen. Der Preis ist mit 10000 Euro dotiert und wird am 11. April verliehen.

Neben dem Preisträgerprojekt werden in diesem Jahr zwei weitere Lehrprojekte gewürdigt: Die „Internationale Sommer-Universität zu erneuerbaren Energien, ISUenergy“ unter Professorin Martha Ch. Lux-Steiner, sowie ein Projektkurs von Katja Liebal, Professorin für Vergleichende Entwicklungspsychologie, in dem eine Gruppe junger Biologen und Psychologen das Verhalten von Menschenaffen in südafrikanischem Sambia erforschen wird. nd