Born
1909
Died
1945
Nationality
German
Events involving Gerhard Gentzen (2)
1935
ID: 372
Gerhard Gentzen introduces natural deduction and sequent calculus, revolutionizing proof theory
ID: 372
1936
ID: 401
Gentzen proves consistency of Peano arithmetic using transfinite induction up to ε₀
ID: 401