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