While a visiting scholar at the Institute for Advanced Study in Princeton, 1939–40, he laid the foundation for recursion theory, an area that would be his lifelong research interest.
În timp ce era profesor vizitator la Institute for Advanced Study de la Princeton, în 1939-40, el a pus bazele teoriei recursivității, domeniu a cărei cercetări avea să-i capteze interesul toată viața.