Akademik

(1909–1945)

German mathematician, who proved the consistency of classical arithmetic in 1936, relying, however, on transfinite induction . Gentzen was also responsible for the first natural deduction approach to formal logic.