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.
Full MacTutor biography [Version for printing]

List of References (8 books/articles)

A Poster of Gerhard Gentzen

Mathematicians born in the same country

Show birthplace location


Other Web sites
  1. Mathematical Genealogy Project

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