The Church-Turing thesis remains a central concept when discussing the limits of algorithmic computation.
アルゴリズム計算の限界を論じる際には、自然数上の関数が効果的な方法で計算可能であることとチューリング機械で計算可能であることが同値であるとするチャーチ=チューリングのテーゼは依然として中心的な概念である。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★