手机浏览器扫描二维码访问
053哥德尔不完备定理（第1页）
事实上，卢格安使用的证明方法和哥德尔在1931年使用的方法并不相同。
虽然哥德尔原本的证明，也是将一个自指的语义悖论在自然数中严谨地构造出来。
但不一样的是，哥德尔选择的悖论是：“这句话不可证”，而卢格安选择的则是“贝里悖论”。
用“贝里悖论”证明不完备定理，是由后来的麻省理工学院逻辑学教授GeorgeBoolos最先提出的。
因为Boolos教授在证明中给出了某一些不可证陈述的形式，所以这种方法相比哥德尔的方法要高明一些，证明过程也更加简洁。
卢格安在仔细斟酌一番后，最终还是抛弃了哥德尔的方法，选用了“贝里悖论”。
“那么到这里，诸位对贝里悖论和它的三个结论没有问题了吧？”
好不容易挣脱开伊蕾亚“魔爪”的卢格安，将伊蕾亚不安分的小手死死攥在手里，脸上重新露出了自信的笑容。
“如果没有，那么我们就进行下一步证明了……”
金乌在不知不觉间划过天际，在苍穹之顶画出一道金色的轨迹，最终归于汤谷扶桑。
是夜，寒江自碧，月蟾高挂，弦月如弓。
希尔伯特研究所内，教室的讲台上，卢格安不知从哪搬了一把椅子，靠在椅背上侃侃而谈。
而台下一众教授级大学者则如同小学生一般正襟危坐，认真地听着卢格安的讲授。
哥德尔不完备定理的内容并不复杂，但想要证明它，就一定要实现数学命题的“自我言说”，这需要用到极为高明的数学技巧。
哪怕在场这些学者的水平都极高，想要跟上卢格安的思路，也必须要全神贯注才行！
“然而由定理知所有全可计算函数其算法的x配数组成的集合，并不是半可判定的。
然而这个集合包含P函数，所以存在一个可计算函数，我们不能证明其是否是全可计算函数，故而我们可以得出结论：
对于任何包含了自然数的自洽公理系统，存在一个公理系统中的陈述，使得其在此公理系统中不可证。”
随着卢格安话音刚落，伊蕾亚也停下书写，握着粉笔的右手微微颤抖。
这一天下来，这块黑板写了擦，擦了写，甚至连它本来的颜色都看不出来了！
虽然期间有卢格安帮忙，但在黑板上连续写这么长时间，做为女性的伊蕾亚终究还是遭不住。
注意到这一点的卢格安赶紧起身，将座位让给伊蕾亚。
他自己则站到伊蕾亚身后，为伊蕾亚轻轻按揉着肩膀，以此减轻她的肌肉酸痛。
看着疲惫到连话都说不出来的女孩，卢格安有些心疼。
该死的，偌大的哥廷根大学竟然连一个投影仪都没有！亏你们还是德意志最有钱的大学！
卢格安叹了口气，一边帮伊蕾亚按摩着肩膀，一边为今天的“讲座”定下最终结论。
“以上的内容，我称之为不完备定理。
真与可证是两个概念。可证的一定是真的，但真的不一定可证。
所以，证明论是绝对不会成功的。”
说罢，卢格安便不再去理会台下一众呆若木鸡的教授，把注意力集中在伊蕾亚身上。
卢格安蹲在女孩面前，双手捧起女孩颤抖的右手，轻轻按捏着。
拥有背刺技能的我穿越到耽美同人世界 [名侦探柯南]假如能直面阳光 五文书 汉末多少事 宿主难带，让她做任务她天天摆烂 他的心上有颗糖 沈总别虐了，太太她要改嫁了 [名柯]锈钉 替嫁后，郁先生黏她上瘾 韦小宝纵横花都 我变成NPC了？ 云动九源 穿越社恐在线求解脱 宿主，你直播间爆火了 末世废土之火种 傀儡皇子请自重 阴阳摆渡，我怎么就无敌了 而绿之年 人在漫威，做幕后黑手 [综英美]别动退休猎魔人的狗
小可怜无家可归，霍总抱回家宠
关于小可怜无家可归，霍总抱回家宠江城第一豪门少爷霍倾州身高权重，手腕常年戴着一串佛珠，做事雷厉风行，唯独感情上空白一片，被外界传闻不近女色，性取向有问题。霍家长辈为此急得团团转，甚至去庙里为他疯狂求姻缘。这一求，竟真的求来了霍家的少夫人！这位霍少夫人从小无人疼爱，却被霍家宠上了天。外人纷纷揣测两人只不过是奉子成婚，等霍家继承人生下来后，迟早要将她一脚踢飞，她就是一个工具人。周柠心生委屈，表示冤枉，分明是霍倾州死皮赖脸地缠着她要去领证结婚。就在大家等着看笑话时，霍倾州当着大家的面，将腕上的佛珠拿下来，放在周柠手上给她把玩，轻声哄着她。宝贝乖，这样心里有没有好受一些？众人惊呆，常年高深莫测的禁欲佛子竟然为了一个女人跌下神坛！佛珠摘下来的那一刻，豪门佛子也有了软肋。...
路人，但是全员白月光
本文又名金妙因为创业失败，穿越到了看过的一本团宠文里，成为了男主家…分家的二姐？一个纯纯路人甲的角色。分家异常混乱，亲妈早逝，亲爹玩消失，家里大大小小七个弟弟妹妹，唯一的亲哥还双腿残疾。金妙OK，这个家只能靠我了。本想一路当路人逆袭创业重操旧业，远离剧情，却没想一个接一个多出了十五个未婚夫，送钱又送人地阻止她创业...
平凡女孩霸总爱
关于平凡女孩霸总爱小型广告公司的设计助理，梦想成为优秀设计师的李悠然遇上公司新上任的创意总监，神秘富豪在青梅竹马间应该如何选择呢？...
战狱：我国主的身份让世界颤抖
关于战狱我国主的身份让世界颤抖他生于京城聂氏豪门，但却被视为孽种，为了生存，他含恨流落至硝烟战火的南荒！十年后，他战功赫赫，成为万军统帅，权势滔天，他带着恩仇热血而归！复仇的路上，没有一个敌人是无辜的！强龙回归，谁与争锋！爷爷，你傲骨满满，不可一世，但我早晚让你低下那高贵的头颅，对我母亲下跪道歉！...
一吻定情：冷少的傲娇妻
关于一吻定情冷少的傲娇妻柳家大小姐柳倾颜，商业奇才，却因一次意外与李家二少爷李逸尘结下梁子。李逸尘，看似逗比，实则腹黑，对柳倾颜展开了一系列的报复。然而，在相处过程中，两人逐渐发现彼此的真心，最终携手战胜困难，收获幸福。...
穿越贫困县女县令
关于穿越贫困县女县令（女强，基建，爽文，无系统，稳定更新）楚辞身为21世纪理科博士，一朝穿越到龙腾王朝。刚来就遭受楚家大变，被右相陷害，一朝从京城贵女变成接替父辈官职的小小县令。松阳县。县丞安比槐见过大人。松阳县百姓终于有人管我们了！楚辞握着拳头，总有一日她会回京报仇。在松阳县先挖水渠，造水车，制肥料。接着因地制宜，在河里人工养殖河蚌珍珠。珍珠批量出世，松阳县从无人问津在一起，一跃成为龙腾王朝炙手可热的地方。房价一度可以和京城媲美。你想把我埋没，却不知我是颗种子。（一切剧情按照人物性格来走，作者只不过把他们的故事写出来而已，至于有没有CP，要看后期楚辞自己的意愿）...