Introduction to Proof Theory

Foundational course at ESSLLI ’18: Logic and Computation theme. Room 255, Floor 2, Sofia University.
Lectured by Anupam Das and Thomas Powell.

This page will contain resources and useful information for the course once they are available.

Motivation and description

Proof theory is one of the ‘four pillars’ of mathematical logic, and is of fundamental interest to mathematicians, computer scientists, philosophers and linguists alike. It serves as the foundation for many other endeavours in logic and has also been useful in realising the interplay between logic and other areas of mathematics, not least via the theory of computation.

This course will introduce students with little-to-no background in logic to the world of proof theory from a computational perspective. The overall aim is to leave the student with an appreciation of how proof theory can be exploited to obtain interesting properties of logics, and how it relates to computation. Moreover this course should suffice to prepare a student for more advanced topics in logic and proof theory.

About the instructors


Dr. Anupam Das is a Marie Skłodowska-Curie research fellow at the University of Copenhagen. His research focusses on proof theory, the area of mathematical logic concerned with formal proofs. In particular, he is interested in the interactions between logic and computational complexity.


Dr. Thomas Powell is a postdoctoral researcher in mathematics at the Technical University of Darmstadt. His research is in mathematical logic and proof theory, with a focus on functional interpretations, the extraction of computational content from proof, and higher type computability theory.