Gentzen, Gerhard Karl Erich
Dizionario di filosofia (2009)
Gentzen, Gerhard Karl Erich
Matematico tedesco (Greifswald, Pomerania, 1909 - Praga 1945). Allievo di H. Weyl presso l’univ. di Gottinga, dal 1943 insegnò nell’univ. di Praga. È stato uno dei più importanti logici del Novecento, dando contribuiti fondamentali alla teoria della dimostrazione e al problema della coerenza dell’aritmetica. Il suo teorema di eliminiazione del taglio è alla base dell’interazione tra la logica e l’informatica teorica. Tra i suoi lavori si segnalano i saggi Untersuchungen über das logische Schliessen I-II (in Mathematische Zeitschrift, 1934 e 1935) e Die Widerspruchfreiheit der reinen Zahlentheorie (in Mathematische Annalen, 1936).