Church-Turingのテーゼ
表現
計算可能という概念はTuringマシンで計算可能という意味である．
菊池誠; "不完全性定理"
人類が想像できるいかなる有限的な計算手続きも，Turingマシンを超えることはない．
出典忘れた
歴史的背景
Alan TuringのTuringマシンとAlonzo Churchのλ計算が計算可能なクラスが同じであることよりStephen C. Kleeneが提唱したらしい
https://ja.wikipedia.org/wiki/チャーチ%EF%BC%9Dチューリングのテーゼ#概要