哥德尔不完备定理

内容整理自网络

哥德尔不完备定理的内容——它为什么惊人

不完备定理的内容很容易理解。有很多版本。我说一个最简单的。

对任何关于自然数结构的有限个公理$\sum$，存在一个关于自然数的命题$\phi$，$\phi$是真的，但$\phi$不能由$\sum$推出（证明）

这个定理让数学家震惊的原因很容易理解。一个数学命题，如果认为它对，我们必须证明。这是所有数学家的共识（从古希腊时期就被明确提出并一直延续至今，并且仍然是数学家研究数学的基础。另外，请回顾你做的每个数学题）。

另一个共识是，总有些命题，我们必须不加证明的承认，并作为公理（要证明A，你用到命题B，要证明B你用到命题C……用A证明A自己，显然不算非平凡的证明，所以总还是需要公理）。

而哥德尔定理说，我们最熟悉的数学对象，自然数，不论添加多少关于自然数的公理，永远有为真（在自然数结构中为真）但无法用当前的公理系统证明的命题。

于是永远需要凭借直觉寻找新的公理。

更多

1. https://www.zhihu.com/question/27528796
2. http://blog.sciencenet.cn/blog-409681-1067020.html