“Entscheidungsproblem”的英文意思_释义_用法

单词

Entscheidungsproblem

释义

‖ 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.

英语词典包含277258条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

相关内容：

“Entscheidungsproblem”的英文意思

“teenager”的英文意思

“电机械”英文翻译

“电机座”英文翻译

“电机机械”英文翻译

=0;...">“entuite”的英文意思

相关推荐