English Dictionary

Church-Turing thesis

固有名詞

(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.

日本語の意味

計算理論における仮説であり、自然数上の関数が有効な方法で計算可能であるならば、それはチューリング機械によって計算可能であるという考え方を示す。

The Church-Turing thesis remains a central concept when discussing the limits of algorithmic computation.

アルゴリズム計算の限界を論じる際には、自然数上の関数が効果的な方法で計算可能であることとチューリング機械で計算可能であることが同値であるとするチャーチ＝チューリングのテーゼは依然として中心的な概念である。

意味（1）

(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.

the Church-Turing thesis （ canonical ）