New posts in Proof Theory

What is the definition of computational content?

The Halting Problem and Church's Thesis

Did Euler prove theorems by example?

Let's keep adding once undecidable statements

Bounded Arithmetic vs Complexity Theory

Is there a consistent arithmetically definable extension of PA that proves its own consistency?

Von Neumann's consistency proof

Proof complexity of two directions of equivalency?

Strength of Bishop style constructive mathematics vs $\mathsf{RCA}_0$

Proofs of Gödel's theorem