Gerhard Gentzen
1909  1945  Click the picture above  
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)
Mathematicians born in the same country

 
Other Web sites  
 
JOC/EFR © September 2001
The URL of this page is: 