Benjamin Peters

Saarland University Computer Science

My name is Benjamin and I worked on my Bachelor's thesis at the Programming Systems Lab. Currently I am doing my MSc in Mathematics and Foundations of Computer Science at Oxford University.

Research Papers

Gödel's Theorem Without Tears: Essential Incompleteness in Synthetic Computability (pdf)
Dominik Kirst, Benjamin Peters
CSL 2023, Warsaw, Poland, 2023.

Extended Abstracts and Talks

Strong, Synthetic, and Computational Proofs of Gödel's First Incompleteness Theorem (pdf)(slides)(repository)
Benjamin Peters, Dominik Kirst
Types 2022, Nantes, France, 2022.


Legal notice, Privacy policy