Events Tagged: "proof theory"

Bernard Bolzano develops rigorous proofs and logical foundations, anticipating modern analysis

Jacques Herbrand proves Herbrand's theorem, fundamental result connecting proof theory and model theory

Kurt Gödel publishes his Incompleteness Theorems, proving that any consistent formal system containing arithmetic is incomplete

Gerhard Gentzen introduces natural deduction and sequent calculus, revolutionizing proof theory

Gentzen proves consistency of Peano arithmetic using transfinite induction up to ε₀