Desde 1930 a 1935 fue un estudiante graduado y asistente investigador en la Universidad de Princeton, donde recibió su doctorado en Matemáticas en 1934, supervisado por Alonzo Church, por una tesis titulada "Una teoría de Enteros Positivos en Lógica Formal".