Wir freuen uns, die internationale Konferenz "50 Years of Explicit Mathematics“ ankündigen zu dürfen, die vom 19. bis 21. September 2025 am Carl Friedrich von Weizsäcker-Zentrum der Universität Tübingen stattfinden wird.
Die Veranstaltung erinnert an das 50-jährige Jubiläum der ersten Veröffentlichung zu Explicit Mathematics von Solomon Feferman. Seit ihrer Einführung hat diese Theorie eine zentrale Rolle in der Beweistheorie gespielt und wichtige Impulse für Mathematik, Informatik und Philosophie gegeben.
Im Rahmen der Konferenz werden führende Wissenschaftler*innen ihre aktuellen Forschungen vorstellen. Ein besonderer Programmpunkt ist eine Sitzung zu Ehren von Wolfram Pohlers, dessen wissenschaftliches Werk das Feld nachhaltig geprägt hat.
Eine Übersicht der eingeladenen Vortragenden sowie weitere Informationen finden Sie unter:
Konferenz