单词 | decision problem |
释义 | > as lemmasdecision problem decision problem n. [after German Entscheidungsproblem Entscheidungsproblem n.] Mathematics and Logic a problem in which the construction of a decision procedure is sought; spec. the problem of finding a decision procedure capable of determining whether or not any given statement can be deduced from the axioms of a logical system; cf. decision procedure n., Entscheidungsproblem n. ΚΠ 1934 Math. Gaz. 18 339 Besides investigations on consistency, a main problem of the theory is the decision-problem (Entscheidungsproblem). 1983 Proc. Amer. Math. Soc. 89 428 For each of the decision problems discussed above, there is naturally a version at dimension n. 2006 New Yorker (Nexis) 6 Feb. 84 Turing was able to prove that no computing machine of the kind he envisaged could solve the decision problem. < as lemmas |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。