单词 | entscheidungsproblem |
释义 | Entscheidungsproblemn. Mathematics and Logic. = decision problem n. at decision n. Compounds 3. ΚΠ 1922 Mathematische Annalen LXXXVI. 163 (title) Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem.] 1930 Proc. London Math. Soc. 30 271 The Entscheidungsproblem is to find a procedure for determining whether any given formula is valid, or, alternatively, whether any given formula is consistent. 1938 Mind 47 445 Gödel's example belongs to the field of investigations of the Entscheidungsproblem. This problem is to discover whether the accepted primitive propositions and rules of inference of mathematical logic allow us to conclude either the truth or the falsehood of every propositional formula, and if so to give a general method by which this can be done. 1958 M. Davis Computability & Unsolvability viii. 134 Hilbert declared that the decision problem..(often referred to simply as the Entscheidungsproblem) was the central problem of mathematical logic. This entry has not yet been fully updated (first published 1972; most recently modified version published online June 2018). < n.1930 |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。