最新网址:hbcjlp.com
哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
对于策梅洛的zf公理,总会有问题存在,不可能对于数学计算是完备的。
“谁也不能证明他们的功力系统,即是完备的,又是可靠的。”
哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
“对于任意可靠的公理和推理规则系统s,必存在正确的数论结论不能在s中被证明。”哥德尔证明这个震惊世界的理论。
章节错误,点此举报(免注册),举报后维护人员会在两分钟内校正章节内容,请耐心等待,并刷新页面。
哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
对于策梅洛的zf公理,总会有问题存在,不可能对于数学计算是完备的。
“谁也不能证明他们的功力系统,即是完备的,又是可靠的。”
哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
“对于任意可靠的公理和推理规则系统s,必存在正确的数论结论不能在s中被证明。”哥德尔证明这个震惊世界的理论。