Prof. Dr. Wolfram Pohlers wird mit einem Festkolloquium in den Ruhestand verabschiedet. Foto: privat
Münster (upm), 11. Juli 2008
Das Institut für Mathematische Logik und Grundlagenforschung der Universität Münster veranstaltet am Freitag, 18. Juli 2008, ein Festkolloquium anlässlich des bevorstehenden Ruhestands von Prof. Dr. Wolfram Pohlers. Beginn ist um 15 Uhr im Hörsaal M1 des Fachbereichs Mathematik und Informatik, Einsteinstraße 62.
Nach Grußworten der Rektorin der WWU, Prof. Dr. Ursula Nelles, und des Dekans des Fachbereichs Mathematik und Informatik, Prof. Dr. Joachim Cuntz, wird Prof. Dr. Justus Diller als langjähriger Wegbegleiter von Prof. Pohlers die Laudatio halten. Hochkarätige Wissenschaftler, darunter der Logiker Prof. Dr. Solomon Feferman von der Universität Stanford (USA), gestalten die anschließenden Festvorträge.
Prof. Pohlers hat 1973 an der Ludwig-Maximilians-Universität München promoviert. Im Jahr 1985 folgte er dem Ruf an die Universität Münster, wo er seither einen Lehrstuhl für Mathematische Logik und Grundlagenforschung innehat. Er ist deutschland- und weltweit einer der führenden Vertreter der Beweistheorie, die in der Tradition von Kurt Gödel und Kurt Schütte - Pohlers Doktorvater - die Stärken und Grenzen formaler mathematischer Systeme mit Hilfe eigener mathematischer Methoden studiert.
Prof. Pohlers ist Autor einer Vielzahl einschlägiger Fachartikel sowie von Standardtextbüchern zur Beweistheorie. Viele seiner Schüler wirken heute selbst als angesehene Vertreter ihres Faches. Er hat sich auch durch sein Engagement in der akademischen Selbstverwaltung, unter anderem als langjähriger Sprecher der Professoren im Senat der WWU, sehr verdient gemacht.
Das öffentliche Festkolloquium ist eingebettet in die Fachtagung "Proof Theory: Workshop on Logic, Foundational Research, and Metamathematics II", die vom 17. bis zum 19. Juli am Institut für Mathematische Logik und Grundlagenforschung stattfindet.