| 单词 | Decision Problem |
| 释义 | Decision ProblemDoes there exist an Algorithm for deciding whether or not a specific mathematical assertion does or does not have aproof? The decision problem is also known as the Entscheidungsproblem (which, not so coincidentally, is German for``decision problem''). Using the concept of the Turing Machine, Turing showed the answer to be Negative forelementary Number Theory. J. Robinson and Tarski showed the decision problem is undecidable for arbitraryFields. |
| 随便看 |
|
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。