Born in Greifswald, Germany. Died in Prague, Czechoslovakia, (today Czech republic).
He was Weyl's student at the University of Göttingen from 1929 to 1933. His main work was on the foundations of mathematics, in proof theory.
wikipedia.org dumped 2003-03-17 with terodump