第548章 哥德尔定理
德国数学家大卫·希尔伯特（David Hilbert， 1862-1943）扩展了弗雷格和罗素的工作，提出了著名的希尔伯特方案，即数学的任何分支都可以被重新表述为一种形式理论，他提出以下3个问题是否存在正解：
一个形式理论，其中的公理不能产生矛盾，它的一致性能否在理论本身内得到证明？
形式理论能被证明是完备的吗，因为它包含了任何真正的数学陈述在它想要体现的特定分支中。
是否存在一个纯粹的机械过程，我称之为通用证明机制，来判定任何给定的数学命题的真假。这个问题在德语中被称为判定问题（Entscheidungsproblem）。
哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
对于策梅洛的ZF公理，总会有问题存在，不可能对于数学计算是完备的。
“谁也不能证明他们的功力系统，即是完备的，又是可靠的。”
哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
“对于任意可靠的公理和推理规则系统S，必存在正确的数论结论不能在S中被证明。”哥德尔证明这个震惊世界的理论。
对于聪明的科学家和数学家，就明白自己只能无限接近真理而无法到达真理。
只有倔强的爱钻牛角尖的人才觉得自己可以统一宇宙。
喜欢数学心请大家收藏：(m.mnowo.com)数学心迷你书窝更新速度全网最快。