Desde 1939 a 1940 fue un visitante escolar en Princeton del Institute for Advanced Study (Instituto para Estudio Avanzado), donde fundó la teoría de las funciones recursivas, un área de interés que sería investigada por él durante toda su vida.