Born in Greifswald, Germany, he died in Prague, Czechoslovakia.
He was one of Weyl's students at the University of Göttingen from 1929 to 1933. His main work was on the foundations of mathematics, in proof theory.
