Gerhard Gentzen

1909 - 1945

Gentzen thumbnail

Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert.

Go to the full MacTutor biography