プリンストン大学数学科で博士号を取得

1938年6月、彼はプリンストン大学数学科で博士号を取得しました。彼の博士論文「順序数に基づく論理体系」は、順序数論理の概念と相対的計算の概念を導入したもので、チューリングマシンに「オラクル」と呼ばれるものを追加することで、チューリングマシンでは解けない問題を研究できるようにしました。ジョン・フォン・ノイマンは彼を博士研究員として雇いたいと考えましたが、彼はイギリスに帰国しました。

誤りが含まれる可能性があります。