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.