Image of Gerhard Gentzen

Gerhard Gentzen

was born 113 years ago

24 November 1909

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

Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Gentzen/