Well, Kurt Godel's incompleteness theorems eliminate the possibility of a unified theory.
数学家库尔特·哥德尔的不完备定理排除了统一理论的可能性。
| 单词 | Incompleteness Theorem |
| 释义 |
Incompleteness Theorem
原声例句
少年谢尔顿 第四季 Well, Kurt Godel's incompleteness theorems eliminate the possibility of a unified theory. 数学家库尔特·哥德尔的不完备定理排除了统一理论的可能性。
中文百科
哥德尔不完备定理 Gödel's incompleteness theorems（重定向自Incompleteness Theorem）
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 这条定理是在数学界以外最著名的定理之一，也是误解最多的定理之一。它是形式逻辑中的定理，所以容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上是错误的。稍后我们可以看到一些对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了他的第二条定理。该定理指出： 这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的兼容性，可以用较为简单的体系中的手段来证明。最终，全部数学的兼容性都可以归结为基本算术的兼容性。但哥德尔的第二条定理证明了基本算术的兼容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的兼容性了。
英语百科
Gödel's incompleteness theorems 哥德尔不完备定理（重定向自Incompleteness Theorem）
Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of any formal axiomatic system of a certain expressive power. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。