手机浏览器扫描二维码访问
第五百九十一章 哥德尔定理逻辑学（第1页）
德国数学家大卫·希尔伯特（DavidHilbert，1862-1943）扩展了弗雷格和罗素的工作，提出了着名的希尔伯特方案，即数学的任何分支都可以被重新表述为一种形式理论，他提出以下3个问题是否存在正解：
一个形式理论，其中的公理不能产生矛盾，它的一致性能否在理论本身内得到证明？
形式理论能被证明是完备的吗，因为它包含了任何真正的数学陈述在它想要体现的特定分支中。
是否存在一个纯粹的机械过程，我称之为通用证明机制，来判定任何给定的数学命题的真假。这个问题在德语中被称为判定问题（Entscheidungsproblem）。
哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
对于策梅洛的ZF公理，总会有问题存在，不可能对于数学计算是完备的。
“谁也不能证明他们的功力系统，即是完备的，又是可靠的。”
哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
“对于任意可靠的公理和推理规则系统S，必存在正确的数论结论不能在S中被证明。”哥德尔证明这个震惊世界的理论。
对于聪明的科学家和数学家，就明白自己只能无限接近真理而无法到达真理。
只有倔强的爱钻牛角尖的人才觉得自己可以统一宇宙。
首先这个定理虽然保护“不完备”三个字，但是你千万别理解说哥德尔这个人，创造出来的定理是不完备的，恰恰相反，定理本身肯定必须完备，只不过定理的内容是说“某某东西不完完备而已”。所以了解这点之后我们就要进一步讲解这个定理。
所以哥德尔不完备定理，精髓就是自然数系统内“自洽性”和“完备性”不可兼得，只能放弃一个，保全另一个，有点鱼和熊掌不可兼得的意思。
但是事情到了这里还没完，因为我们目前数学上面还有很多猜想未被证明，比如黎曼猜想，哥德巴赫猜想等等，人类奋斗了这么多年，还是没有证明出来。在哥德尔不完备定理出现之前，人类遇到某猜想不能证明，第一反应就是：虽然现在不能证明，不代表以后不能证明，未来某时刻，肯定有某位数学家能够证明。但是当哥德尔不完备定理出现后，这个想法似乎被打破了，这似乎再暗示我们，有一些数学猜想，可能就是因为人们过渡去追求“自洽性”，把“自洽性保全了”，但是“完备性”却破坏了，所以出现了类似于“黎曼猜想”。这似乎再暗示：有一些数学猜想就是既不能被证明，又不能被证伪的，现在是这样，以后也是这样，不会有某位数学家能够改变这一点。
喜欢数学心请大家收藏：（）数学心
玄灵界都知道我柔弱可怜但能打 穿到八零，我自带锦鲤系统！ 穿成商户女摆烂，竟然还要逃难！ 摊牌了，我爹是绝顶高手！ 重生在宝可梦，我的后台超硬 大明：开局气疯朱元璋，死不登基 哦豁！虐文炮灰不干了！ 宗门全是美强惨，小师妹是真疯批 快穿之炮灰得偿所愿 在下潘凤，字无双 国运：拥有多重身份的我很合理吧 至尊战皇 新人驾到 译文欣赏：博伽瓦谭 我的徒弟不对劲 农夫是概念神？三叶草了解一下！ 永恒大陆之命运 暗无 我一枪一剑杀穿大陆 混迹娱乐圈的日子
斗罗之先天二十级
全本免费，新书斗罗无敌从俘获女神开始斗罗之收徒就变强斗罗之酒剑斗罗王圣穿越到了斗罗1的世界之中，在觉醒武魂的那一天，竟然是先天二十级的魂力。看王圣如何组建属于他自己的7怪。当他的7怪与唐三的7怪相遇时，又会是怎样的一个场面？谁强？谁弱？谁才是真正的主角！粉丝群1304623681...
我家娘子是女皇
作为醉月楼唯一一个男人，杨辰觉得压力很大。通过我洗的衣服来判断，李姐姐胖了两斤，王姐姐瘦了点，还有，能不能别让马姐姐穿那么性感的衣服，我洗衣服压力很大的。杨辰需要每天像老鸨这样汇报着工作。除此之外，他还要严守自己的贞操。杨辰，今天晚上来侍寝！让姐姐亲一个！记住，别躲，今晚，你是我的。...
都市寻艳录
身世坎坷历经沧桑人间情意究竟为何物？妈妈是什么？奶奶是什么？姑姑婶婶又是什么？也许，都是女人罢了。你们给了我们生活的必须，但是她们没有给我们家庭的温暖，因此从理智上我们应该感激你们的，可是感情上很多时候是会出现偏差的。我喜欢熟女喜欢年龄稍大的女人当然是女人我都会喜欢当然是那种好女人...
鹿鼎风流记
...
【修真】男人就是鼎炉
前世黑莲花白蓁被人在车上动了手脚车祸去世，穿越成了合欢宗女修白千羽，开启了和前世开后宫没什么不同的修仙之路。这篇算是某某宗女修炼手札的同人，但是是否玩游戏对看文没啥影响，文不会收费，大家放心追，女主是自设的无心海王型号。挂是挂了修真的名头，其实本文没有着重写女主初期修炼，主要还是着重她成为女王之后的故事。全文分三部分，第一二部分女主一边双修一边把以前给她使绊子的人给除了，手段稍微有点粗暴残忍，结果奇奇怪怪自称系统的东西出现了，告诉她，她已成为了这条世界线的主人，同时她设计把自己也拱成了修真大陆的无冕之王。第三部分开幕，无冕之王并不是这么好当的，一边要均衡各大势力，挑对自己有用的掌握在手里，一边要处理情人们的修罗场。。。。偶尔，系统还会给她出难题，让她暴打外来入侵者。然而白蓁（千羽）对此表示，挺好玩的，再来点。本文可能微微有点女尊倾向，女主床上小淫娃，床下真女王，没心没肺，快乐加倍。有疑似正宫，但是基本不会出现1v1的情况，女主这么强，配一个男的太亏了（啥？）。预警，女主从目前的伦理道德来讲，确实是渣女，而且吸溜子也没想洗。...
伪我独尊大雁捕蝉
一种能帮忙泡妞的异能会给主角的人生带来怎样的奇遇？很简单，进来一看便知！...