Gerhard Karl Erich Gentzen was a German mathematician and logician, born on 24 November 1909 and died on 4 August 1945. He made major contributions to the foundations of mathematics and to proof theory, especially on natural deduction and sequent calculus, two formal systems for writing out logical proofs step by step. He died of starvation in a Czech prison camp in Prague in 1945, so his career ended when he was thirty five, after work that later logicians built on in the study of formal proof.
Facts
Connections
In Branch
Source Gerhard Gentzen (Wikipedia)
Source Gerhard Gentzen (Wikipedia)
Proofs Credited
Source Cut-elimination theorem
Source Gentzen's consistency proof - Wikipedia
In the Other Atlases
Sources
1. Gerhard Gentzen (Wikipedia)
Lead paragraph
He made major contributions to the foundations of mathematics,
Lead paragraph [nationality-culture]
was a German mathematician
In Branch: Logic and Foundations, Lead paragraph [in-branch]
foundations of mathematics
In Branch: Proof Theory, Lead paragraph [in-branch 2]
proof theory
View the SourceCut-elimination theorem
Proofs Credited: Cut-Elimination Theorem (Gentzen's Hauptsatz), Lead paragraphQuote, Proofs Credited: Cut-Elimination Theorem (Gentzen's Hauptsatz), Lead paragraph
The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard
Gentzen's consistency proof - Wikipedia
Proofs Credited: Gentzen's Consistency Proof, Lead paragraphQuote, Proofs Credited: Gentzen's Consistency Proof, Lead paragraph
Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.