请输入您要查询的英文单词:

 

单词 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条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/10 8:21:49