手机浏览器扫描二维码访问
第五百九十一章 哥德尔定理逻辑学（第1页）
德国数学家大卫·希尔伯特（DavidHilbert，1862-1943）扩展了弗雷格和罗素的工作，提出了着名的希尔伯特方案，即数学的任何分支都可以被重新表述为一种形式理论，他提出以下3个问题是否存在正解：
一个形式理论，其中的公理不能产生矛盾，它的一致性能否在理论本身内得到证明？
形式理论能被证明是完备的吗，因为它包含了任何真正的数学陈述在它想要体现的特定分支中。
是否存在一个纯粹的机械过程，我称之为通用证明机制，来判定任何给定的数学命题的真假。这个问题在德语中被称为判定问题（Entscheidungsproblem）。
哥德尔对于所谓的所有东西都可以被计算这样的问题词嗤之以鼻。
对于策梅洛的ZF公理，总会有问题存在，不可能对于数学计算是完备的。
“谁也不能证明他们的功力系统，即是完备的，又是可靠的。”
哥德尔认为这可以打败任何一个自称可以自圆其说的理论系统。
“对于任意可靠的公理和推理规则系统S，必存在正确的数论结论不能在S中被证明。”哥德尔证明这个震惊世界的理论。
对于聪明的科学家和数学家，就明白自己只能无限接近真理而无法到达真理。
只有倔强的爱钻牛角尖的人才觉得自己可以统一宇宙。
首先这个定理虽然保护“不完备”三个字，但是你千万别理解说哥德尔这个人，创造出来的定理是不完备的，恰恰相反，定理本身肯定必须完备，只不过定理的内容是说“某某东西不完完备而已”。所以了解这点之后我们就要进一步讲解这个定理。
所以哥德尔不完备定理，精髓就是自然数系统内“自洽性”和“完备性”不可兼得，只能放弃一个，保全另一个，有点鱼和熊掌不可兼得的意思。
但是事情到了这里还没完，因为我们目前数学上面还有很多猜想未被证明，比如黎曼猜想，哥德巴赫猜想等等，人类奋斗了这么多年，还是没有证明出来。在哥德尔不完备定理出现之前，人类遇到某猜想不能证明，第一反应就是：虽然现在不能证明，不代表以后不能证明，未来某时刻，肯定有某位数学家能够证明。但是当哥德尔不完备定理出现后，这个想法似乎被打破了，这似乎再暗示我们，有一些数学猜想，可能就是因为人们过渡去追求“自洽性”，把“自洽性保全了”，但是“完备性”却破坏了，所以出现了类似于“黎曼猜想”。这似乎再暗示：有一些数学猜想就是既不能被证明，又不能被证伪的，现在是这样，以后也是这样，不会有某位数学家能够改变这一点。
喜欢数学心请大家收藏：（）数学心
撩惹疯批顶E，笨蛋少爷他逃了 杀了那个妖鬼 新搬来的邻居 攻略对象变成室友后，他不对劲 怪物崽崽和他的怪物监护人 上流假象 兽世养山君[种田] 我真没想在过去的年代当学霸 还是修仙吧 枭鸢 小仓鼠今天有猫了吗 我在死亡副本当管理员 夸夸我的神探祖父穿越爹 穿到虫族和军雌相亲 迷津蝴蝶 死神不来了 末世后我成了疯批alpha们的安抚剂 第三十年明月夜 君为客 神魔剑玄录
开局融合霸王，杀敌就变强
许千秋穿越到一个人与妖魔并存的世界。开局成为一个王国的大皇子，谁曾想，这王国面临妖魔入侵，被连破四十余城，危在旦夕，而国王居然要他带兵去攻打妖魔。幸好，最强杀敌系统开启，融合霸王之力。从此，这个世界多了一个疯狂的杀神！恭喜宿主斩杀妖魔，获得燕云十八骑。恭喜宿主斩杀妖魔，获得虎啸龙吟铁布衫。恭喜宿主斩杀妖魔，获得人物卡李存孝。许千秋率军大破妖魔，收复失地，可就在即将打到妖魔老巢之时，朝廷竟与妖魔签订和平协议，下旨让他鸣金收兵。许千秋目光幽幽的看向王都方向，要知道，他不仅斩杀妖魔能够获得系统奖励斩人一样可以！！如果您喜欢开局融合霸王，杀敌就变强，别忘记分享给朋友...
穿书后我成了王爷的掌心娇
王爷，这是臣妾研究的新菜草莓炒臭豆腐，还放了花椒提味辣椒提神。爱妃厨艺精湛，真乃本王之福！穿书后的凌苒遇到了一位风华绝代举世无双的盛世美男，只可惜，咦，说好的年纪轻轻命丧黄泉呢？怎么...
女神的修仙高手
关于女神的修仙高手获得‘仙帝传承’的唐傲回归都市，成了美女总裁的贴身保镖。各种强敌纷踏而至，灭之！各种绝色美女犹如飞蛾扑火般袭来，等等，我不是那么随便的人...
毒妃凶猛：娘娘，王爷黑化了！
王妃，我想生猴子！不，你不想！别人穿越后不是皇后就是公主，为什么她穿成了废物，还背了个大黑锅！在发现债主是前世干掉她的BOSS后，沐轻音化身小绵羊狂撩高冷禁欲的大长腿。撩不动？自然的跑路！但是，那个疯狂追来的黑化变态是什么情况！如果您喜欢毒妃凶猛娘娘，王爷黑化了！，别忘记分享给朋友...
我娇养了未来帝君
1V1双洁架空男主篇后世记载，大晋平南王黎津骁勇善战，征战沙场数十载，开疆扩土，抵御外敌，后来更是令大晋一跃成为诸国之首。殊不知，多年前的平南王，年少时还在上京西城的奴隶市场等买主。一次偶然的相遇，奴隶摇身一变，成了公主护卫。公主殿下待他是真的好，派人教他武功，亲自教他识字，甚至当着他的面，一刀砍下别人的脑袋，告诉他只有强者才能赢得尊重，才能保护弱小，才能做自己想做的任何事。小护卫明白了，参军杀敌寇，灭诸国，终成一代霸主，转身还将公主殿下压在了身下。女主篇镇国大将临终托孤，失踪三年的姜未眠得以帝王养女身份入京。都说她一介孤女，腿还瘸了，不过得了皇帝庇佑，除此之外，还能做什么。怎料，灭了处月的是她，打破世家霸权朝政的是她，国法改革，推行女子入学入仕的还是她围绕在这位孤女身上的事迹可谓数不胜数，而最让人津津乐道的，却是她和她身边那位小侍卫的秘事。姜未眠本以为自己只是买了个听话且好用的工具，万万没想到，工具人居然以下犯上，翻身欺负到了她头上，既然如此，那就再送你个皇位。＃本文以搞事业为主＃不是姐弟，男主比女主大，前弱后强，大狼狗属性如果您喜欢我娇养了未来帝君，别忘记分享给朋友...
沈琦夜墨轩
关于沈琦夜墨轩一场代嫁，她嫁给了患有腿疾却权势滔天的男人。我夜莫深不会要一个带着野种的女人。本以为是一场交易婚姻，谁知她竟丢了心，兜兜转转，她伤心离开。多年后，跟他长得一模一样的小正太一巴掌拍在夜莫深的脑袋上。混蛋爹地，你说谁是野种？...