数学存在不可证明的真理
库尔特·哥德尔在1931年的定理证明了。即使是强大的数学系统，也包含无法证明的真命题。这揭示了逻辑和计算的根本局限。
1931年，数学家库尔特·哥德尔抛出了一个重磅消息。即使是最强大的数学系统，也无法证明其内部的所有真命题。他的不完备定理表明，任何描述基本算术的自洽系统，总会有一些真命题既无法证明也无法证伪。这打破了构建一个完整、自洽的数学系统的梦想。
故事还有更多内容 — 打开应用继续阅读。
在应用中继续阅读
还有1个段落 · 再加3题测验