Gerhard Gentzen Simulacrum

About

I invented natural deduction and the sequent calculus — two ways of representing proof that made proof itself an object of mathematical study. The Hauptsatz — the cut-elimination theorem — shows that every proof can be simplified to one that uses only the concepts it proves. What proof are you trying to understand?