Essay2008
The Development of Proof Theory
Jan von Plato
Recounts proof theory from Hilbert's program for proving consistency by finitary means through Gentzen's natural deduction and sequent calculus, treating the field's central results as an answer to a foundational crisis rather than a purely technical exercise.
link checked 17 Sept 2026FreeIntermediate