Peter Koepke

Prof. Dr. Peter Koepke is a Professor of Mathematics at the University of Bonn's Mathematical Institute, specializing in Axiomatic Set Theory and General Logic. His research focuses on infinitary combinatorial principles, ordinal computability, and formal mathematics systems like NAPROCHE (Natural Proof Checking). He has held academic positions since 1990, including a Feodor-Lynen Fellowship (1984-1987) and roles at Wolfson College, Oxford. His teaching includes courses on Mathematical Logic and seminars on set theory.

• Education: Diplom (1978, Bonn University), MA (1979, UC Berkeley), PhD (1984, Freiburg University), Habilitation (1990, Freiburg University).

Key research areas include constructibility theory, ordinal machines, and the foundations of mathematical proofs. He collaborates with linguistics to develop natural language interfaces for proof verification. Recent talks discuss topics like ordinal computability, mutual stationarity, and the history of set theory.

His work bridges theoretical mathematics and computational logic, with contributions to inner model theory, forcing techniques, and the philosophy of mathematical proofs. He advises on academic matters as BAföG-Beauftragter for mathematics.