Gerhard Gentzen


Show Summary Details

Quick Reference


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.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.