ＫＳＵペディア

1912年イギリス生まれ．計算可能性の概念の基本となるチューリングマシンを考案するとともに、その限界を示す停止性問題の決定不能性を示した．また、機械に知性があるかどうかを判定するチューリングテストを考案した．