哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
对于策梅洛的ZF公理，总会有问题存在，不可能对于数学计算是完备的。
“谁也不能证明他们的功力系统，即是完备的，又是可靠的。”
哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
“对于任意可靠的公理和推理规则系统S，必存在正确的数论结论不能在S中被证明。”哥德尔证明这个震惊世界的理论。
对于聪明的科学家和数学家，就明白自己只能无限接近真理而无法到达真理。
只有倔强的爱钻牛角尖的人才觉得自己可以统一宇宙。
同类推荐
热门推荐
学会独立思考：学习篇
《学会独立思考》的两位作者张志和黄鑫是教学经验丰富的大学老师，多年的教学生涯，让他们感慨颇多。许多大学生不知道什么是批判性思维，不会正确的提问，不会阅读教科书……这是因为他们缺乏基本的独立思考能力。鉴于此，作者将亲身经历与学生自身问题相结合，亲授如何打破思考的局限，克服思考的障碍，学会创造性、批判性地思考问题的方法。本书将有效帮助读者成为一个独立思考者，帮您建立成功的人生。
妃叹息:本王不愿做替身
“我喜欢你，我也一定会让你喜欢上我的。”第一次见面的第一句话换来的，是他无情转身。“今天是我们的大喜之日，本王想送给你你一个终身难忘的礼物。”然后，她看见了他送的熊熊烈火。他终于用行动摧毁了，她对他的一切爱慕，当她以全新的身份出现后。“本王要你做本王的王妃。”他的表白，换来的是她无情的嘲笑。“王爷，小女子不吃回头草。”她对着气若游丝的他，却是满心苦涩。幸福的爱情是在对的时间，遇到对的人；可是折磨人的爱情却是在错误的时间，爱上对的人。欢迎支持潇雨的加入潇雨读书会，群号码：316335274
