De 1931 a 1933 asistió a University of Göttingen donde estudió lógica y matemáticas bajo la supervisión de Paul Bernays, Emmy Noether y Hermann Weyl.