Entscheidungsproblem
- n. 决策问题：一个在计算理论中的问题，提出了一个算法是否存在，该算法可以判断任何数学命题的真假。这个问题由数学家大卫·希尔伯特在1928年提出，艾伦·图灵和阿隆佐·丘奇在1936年独立证明了这个问题是不可解的。
Entscheidungsproblem
-
abstract:
In mathematics and computer science, the (, German for 'decision problem') is a challenge posed by David Hilbert in 1928. The asks for an algorithm that takes as input a statement of a first-order logic (possibly with a finite number of axioms beyond the usual axioms of first-order logic) and answers "Yes" or "No" according to whether the statement is universally valid, i.
以上来源于:
WordNet