UNDECIDABLE

定义 Definition

undecidable（形容词）：指无法被判定真伪、无法用既定规则作出确定结论的（常见于数学逻辑、计算机科学）；也可泛指难以裁决、无法决定的情况。常见搭配：an undecidable problem / proposition / statement。

发音 Pronunciation (IPA)

/ˌʌndɪˈsaɪdəbl/

例句 Examples

The question is undecidable with the information we have.
在我们掌握的信息范围内，这个问题无法作出确定判断。

In formal logic, some statements are undecidable within a given axiom system, meaning they can be neither proved nor disproved using its rules.
在形式逻辑中，有些命题在某个公理系统内是不可判定的，也就是说，用该系统的规则既无法证明也无法证伪。

词源 Etymology

由前缀 **un-**（否定，“不”）+ decidable（“可决定的、可判定的”）构成；而 decide 源自拉丁语 decidere，本义有“切下、裁断”，引申为“作出决定/判决”。因此 undecidable 字面意思就是“无法裁断的”，在现代常特指逻辑与计算理论中的“不可判定”。

相关词 Related Words

• Decidable
• Decision
• Indecisive
• Uncertain
• Ambiguous
• Inconclusive
• Unprovable
• Incomputable

文学与著作中的用例 Literary Works

• Alan Turing, On Computable Numbers, with an Application to the Entscheidungsproblem（1936）：讨论与“判定问题/不可判定性”相关的核心思想。
• Douglas Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid（1979）：以通俗方式涉及“不可判定命题”等概念。
• Raymond Smullyan, Gödel’s Incompleteness Theorems（1992）：介绍不完备性与相关的不可判定现象。