Fellow Lecture by Daniel Misselbeck-Wessel, Ph.D. (Fellow of the Alfried Krupp Wissenschaftskolleg Greifswald)
Gerhard Gentzen - a son of Greifswald - helped modern proof theory to take shape. Applications bear witness to the constant influence of his ideas even beyond their origins. This lecture will sketch out a panorama of the controversy surrounding the subject of mathematics and the beginnings of proof theory, the brilliance of Gentzen's method, and the tragedy and contradictions of his short life. Finally, a picture of the still unpublished, scientific partial legacy will be conveyed. What insights can be gleaned from it?
Daniel Misselbeck-Wessel studied mathematics in Munich, Berlin, Trento and Verona. His research is in the tradition of a renewed Hilbertian program for abstract algebra. In the academic year 2023/24, Daniel Misselbeck-Wessel is a Junior Fellow of the Alfried Krupp Kolleg and a lecturer at the University of Greifswald. The focus of his Fellow project is the examination of Gentzen's bequeathed stenograms.
Moderation: Professor Dr. Alexander Steen