Incomputable

定义 Definition

incomputable：不可计算的；无法通过任何算法在有限步骤内求解/判定的（常用于数学、逻辑学与计算机科学中的“可计算性/判定性”语境）。也可引申为“实际上无法算清楚的”，但最常见、最严谨的是技术含义。

发音 Pronunciation (IPA)

/ˌɪnkəmˈpjuːtəbl/

例句 Examples

Some numbers are incomputable.
有些数字是不可计算的。

In computability theory, the halting problem is incomputable, meaning no general algorithm can decide for every possible program whether it will stop.
在可计算性理论中，停机问题是不可计算的，这意味着不存在一种通用算法能对每个程序都判定它是否会停止运行。

词源 Etymology

由前缀 **in-**（表示“否定、不”）+ computable（“可计算的”）构成；而 computable 来自 compute（计算），源于拉丁语 computare（合计、计算）。该词在20世纪与数理逻辑、算法理论发展密切相关，用来描述“无法被算法完全解决”的问题或对象。

相关词 Related Words

• Uncomputable
• Computable
• Algorithmic
• Decidable
• Undecidable
• Intractable
• Noncomputable
• Halting

文学与著作引用 Literary Works

• Alan M. Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem”（1936）：讨论可计算性并导向“存在不可判定/不可计算的问题”的结论语境（相关术语常以 computable / uncomputable 体系出现）。
• Martin Davis, **Computability and Unsolvability**（1958）：可计算性经典入门著作，涉及“不可计算/不可判定”问题。
• Gregory J. Chaitin, **Meta Math!**（2005）：讨论算法信息论与不可计算性相关思想（常出现 uncomputable/noncomputable 等术语）。