アロンゾ・チャーチアロンゾ・チャーチ

プリンストン大学の論理学者で、ラムダ計算を考案して決定問題に否定的な解答を与えた。チューリングと独立に同じ結論へ達し、留学してきた彼の博士論文を指導した。