Gerhard Gentzen
1909 - 1945
Click the picture above
to see a larger version
Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert.
Mathematicians born in the same country
Other Web sites
| Previous | (Chronologically) | Next | Main Index |
| Previous | (Alphabetically) | Next | Biographies index |
JOC/EFR © September 2001
The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Gentzen.html