| 释义 |
‖ Entscheidungsproblem Math. and Logic.|ɛnˈtʃaɪdʊŋsprɒˌblɛm|
[G., f. entscheidung decision + problem problem.]
= decision problem (decision 5).
[1922Mathematische Annalen LXXXVI. 163 (title) Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem.] 1930Proc. London Math. Soc. XXX. 271 The Entscheidungsproblem is to find a procedure for determining whether any given formula is valid, or, alternatively, whether any given formula is consistent. 1938Mind XLVII. 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. 1958M. 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. |