(computer science, logic) A measure of the level of algorithmic unsolvability of the decision problem of whether a given set of natural numbers contains any given number.
Turing degree
研究者たちは、その集合のメンバーシップ問題がどれほど本質的に解けないかを判断するために、その集合のアルゴリズム的非可解性の程度を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
