Fellow Lecture von Daniel Misselbeck-Wessel, Ph.D. (Fellow des Alfried Krupp Wissenschaftskollegs Greifswald)
Gerhard Gentzen – ein Sohn Greifswalds – verhalf der modernen Beweistheorie zu ihrer formenreichen Gestalt. Anwendungen bezeugen den steten Einfluss seiner Ideen auch jenseits ihres Ursprungs. Skizzenhaft soll in diesem Vortrag ein Panorama entstehen: über den Streit um den Gegenstand der Mathematik und die Anfangsgründe der Beweistheorie, über die Brillanz der Methode Gentzens, und über die Tragik und Widersprüche seines kurzen Lebens. Schließlich soll ein Bild des noch unveröffentlichten, wissenschaftlichen Teilnachlasses vermittelt werden. Welche Erkenntnisse können aus diesem freigelegt werden?
Daniel Misselbeck-Wessel studierte Mathematik in München, Berlin, Trient und Verona. Seine Forschung steht in der Tradition eines erneuerten Hilbertschen Programms für die abstrakte Algebra. Im akademischen Jahr 2023/24 ist Daniel Misselbeck-Wessel Junior Fellow des Alfried Krupp Kollegs und Lehrbeauftragter der Universität Greifswald. Im Vordergrund seines Fellow-Projekts steht die Auseinandersetzung mit Gentzens nachgelassenen Stenogrammen.
Moderation: Professor Dr. Alexander Steen
