Welcome to The Proof Theory Blog! The purpose of this website is to give proof theorists a venue to communicate ideas, works-in-progress, gems, or simply observations that may be relevant to the proof theory community. The hope is that it can eventually evolve into a vibrant forum for proof theoretic discussions and collaboration.
Proof theory has a storied history, with widespread representation and influence ranging across philosophy, mathematics and computer science. While such breadth is undoubtedly a reflection of its success as an academic discipline, this also means that its various communities have somewhat diverged in their approaches, techniques and even notations and definitions. At least one way to remedy this is to encourage the communication of folklore results, surveys etc. in an informal setting. At the same time, an online forum allows us to take advantage of richer means of writing than just static PDFs, engaging with content more interactively.
This blog is currently edited by Anupam Das and Thomas Powell, but participation is open to all. Please get in touch by email if you want to get involved in any capacity, e.g. as a contributor or developer, or if you have any feedback.