Gerhard Gentzen

Gerhard Gentzen (November 24, 1909 - August 4, 1945) wasGerman mathematicianlogician.

BornGreifswald, Germany, he diedPrague, Czechoslovakia.

He was oneWeyl's students atUniversityGöttingen from 19291933. His main work was onfoundationsmathematics,proof theory.