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.
