Gerhard Gentzen
was born 109 years ago
24th 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:
http://www-history.mcs.st-andrews.ac.uk/Biographies/Gentzen.html