(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.
Church-Turing thesis
アルゴリズム計算の限界を論じる際には、自然数上の関数が効果的な方法で計算可能であることとチューリング機械で計算可能であることが同値であるとするチャーチ＝チューリングのテーゼは依然として中心的な概念である。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
