1936年9月から1938年7月にかけて、プリンストン高等研究所においてアロンゾ・チャーチ（前述の「チャーチ＝チューリングのテーゼ」のチャーチである）に師事した。1938年、プリンストンで博士号を得た。博士論文[29]では、数の広がり（正の整数→負数→無理数→…