Dr. Peter Koepke

Biography

Peter Koepke is a distinguished mathematician known for his contributions to mathematical logic, particularly in axiomatic set theory and descriptive set theory. His work on determining consistency strengths and infinitary combinatorial principles through the use of forcing and core models has made significant impacts in the field. He also explores constructibility theory and ordinal computability, introducing new fine structure theories and studying applications involving generalized machines and working ordinal numbers. Koepke has investigated the nature of mathematical proofs within general logic and has been engaged in projects like NAPROCHE, which focuses on designing natural proof checking systems and natural language interfaces for mathematics. His teaching encompasses various aspects of mathematical logic, contributing to the education of upcoming mathematicians. Throughout his tenure, he has become a pivotal figure in the Bonn Mathematical Logic Group, fostering an environment for the innovation and exploration of logical theories.

Research Interests