最終更新日:2022/12/07
正解を見る
(computing theory) A hypothesis about the nature of computable functions, stating that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine.
編集履歴(0)
元となった辞書の項目
Church-Turing thesis
name