Aus Anlass der Pensionierung von

Herrn Prof. Dr. Peter Koepke

lädt das Mathematische Institut der Universität Bonn

am Freitag, dem 31. Januar 2020,

im Lipschitz-Saal, Mathematik-Zentrum, Endenicher Allee 60

zu einem Kolloquium ein.


Programm
15:00 Begrüßung durch den Geschäftsführenden Direktor
des Mathematischen Instituts
Prof. Dr. Carl-Friedrich Bödigheimer
anschließend
Prof. Dr. Thomas C. Hales (University of Pittsburgh)
The Formalization of Mathematics.
Abstract: A formal proof is a mathematical proof that has been checked by computer. The axioms and primitive rules of logic are programmed into a computer, and a proof is not regarded as verified until every step is exhaustively justified by first principles. Examples of proofs that have been formalized by various groups include the Kepler conjecture on sphere packings (2014), the independence of the Continuum Hypothesis (2019), and the Odd-order theorem in finite group theory (2012). Buoyed up by these successful projects, we are exploring how these tools might bring general benefit to the mathematical community.
16:15 Tee
16:45 Prof. Dr. P. Koepke
Life in Logic.


Aktuelles

Jan Schröer erhält Universitäts-Lehrpreis

Valentin Blomer, Jessica Fintzen und Dennis Gaitsgory sind Sprecher auf dem ICM 2026 in Philadelphia

Das Mathematische Institut trauert um Günter Harder

Floris van Doorn und Koautoren erhalten den Skolem Award

Förderung des Hausdorff Centers for Mathematics für weitere 7 Jahre verlängert

Markus Hausmann erhält die Minkowski-Medaille der Deutschen Mathematiker-Vereinigung

Rajula Srivastava erhält den Maryam Mirzakhani New Frontiers Prize

Dennis Gaitsgory erhält den Breakthrough Prize in Mathematics 2025

Daniel Huybrechts zum Mitglied der Leopoldina gewählt

Catharina Stroppel erhält Ehrendoktorwürde der Universität Uppsala

Angkana Rüland erhält Gottfried Wilhelm Leibniz-Preis 2025

Wolfgang Lück erhält den von Staudt-Preis