Alonzo Church
1927年にはケンブリッジ大学の数学講師となり、1935年のゲーデルの定理についての講義がアラン・チューリングに着想を与え、仮説的な計算機械（チューリングマシン）を使って「決定問題」を考えるという先駆的業績へとつながった。ニューマンはチューリングをプリンストン大学に行かせ、同じ問題をラムダ計算で定式化していたアロンゾ・チャーチに会わせてもいる。また、位相幾何学における重要な論文 "Elements of the topology of plane sets of points" (1939) を書き、今も学部学生のテキストとしてよく使われている。