手机浏览器扫描二维码访问
053哥德尔不完备定理（第1页）
事实上，卢格安使用的证明方法和哥德尔在1931年使用的方法并不相同。
虽然哥德尔原本的证明，也是将一个自指的语义悖论在自然数中严谨地构造出来。
但不一样的是，哥德尔选择的悖论是：“这句话不可证”，而卢格安选择的则是“贝里悖论”。
用“贝里悖论”证明不完备定理，是由后来的麻省理工学院逻辑学教授GeorgeBoolos最先提出的。
因为Boolos教授在证明中给出了某一些不可证陈述的形式，所以这种方法相比哥德尔的方法要高明一些，证明过程也更加简洁。
卢格安在仔细斟酌一番后，最终还是抛弃了哥德尔的方法，选用了“贝里悖论”。
“那么到这里，诸位对贝里悖论和它的三个结论没有问题了吧？”
好不容易挣脱开伊蕾亚“魔爪”的卢格安，将伊蕾亚不安分的小手死死攥在手里，脸上重新露出了自信的笑容。
“如果没有，那么我们就进行下一步证明了……”
金乌在不知不觉间划过天际，在苍穹之顶画出一道金色的轨迹，最终归于汤谷扶桑。
是夜，寒江自碧，月蟾高挂，弦月如弓。
希尔伯特研究所内，教室的讲台上，卢格安不知从哪搬了一把椅子，靠在椅背上侃侃而谈。
而台下一众教授级大学者则如同小学生一般正襟危坐，认真地听着卢格安的讲授。
哥德尔不完备定理的内容并不复杂，但想要证明它，就一定要实现数学命题的“自我言说”，这需要用到极为高明的数学技巧。
哪怕在场这些学者的水平都极高，想要跟上卢格安的思路，也必须要全神贯注才行！
“然而由定理知所有全可计算函数其算法的x配数组成的集合，并不是半可判定的。
然而这个集合包含P函数，所以存在一个可计算函数，我们不能证明其是否是全可计算函数，故而我们可以得出结论：
对于任何包含了自然数的自洽公理系统，存在一个公理系统中的陈述，使得其在此公理系统中不可证。”
随着卢格安话音刚落，伊蕾亚也停下书写，握着粉笔的右手微微颤抖。
这一天下来，这块黑板写了擦，擦了写，甚至连它本来的颜色都看不出来了！
虽然期间有卢格安帮忙，但在黑板上连续写这么长时间，做为女性的伊蕾亚终究还是遭不住。
注意到这一点的卢格安赶紧起身，将座位让给伊蕾亚。
他自己则站到伊蕾亚身后，为伊蕾亚轻轻按揉着肩膀，以此减轻她的肌肉酸痛。
看着疲惫到连话都说不出来的女孩，卢格安有些心疼。
该死的，偌大的哥廷根大学竟然连一个投影仪都没有！亏你们还是德意志最有钱的大学！
卢格安叹了口气，一边帮伊蕾亚按摩着肩膀，一边为今天的“讲座”定下最终结论。
“以上的内容，我称之为不完备定理。
真与可证是两个概念。可证的一定是真的，但真的不一定可证。
所以，证明论是绝对不会成功的。”
说罢，卢格安便不再去理会台下一众呆若木鸡的教授，把注意力集中在伊蕾亚身上。
卢格安蹲在女孩面前，双手捧起女孩颤抖的右手，轻轻按捏着。
云动九源 我变成NPC了？ 人在漫威，做幕后黑手 韦小宝纵横花都 [名柯]锈钉 宿主难带，让她做任务她天天摆烂 [综英美]别动退休猎魔人的狗 宿主，你直播间爆火了 傀儡皇子请自重 阴阳摆渡，我怎么就无敌了 拥有背刺技能的我穿越到耽美同人世界 替嫁后，郁先生黏她上瘾 他的心上有颗糖 穿越社恐在线求解脱 五文书 末世废土之火种 [名侦探柯南]假如能直面阳光 沈总别虐了，太太她要改嫁了 汉末多少事 而绿之年
妻命克夫：病弱老公，求放过
钟睿瑶命不好，订婚四次，克夫四次，没有男人敢娶她。陆淮宁身体不好，虽然是军中高官，出身豪门。却患有绝症，别人对他避之唯恐不及。钟睿瑶被征召入伍，从一个散打...
反派流放千年后
本文在6月24号入v，入v当天有万更掉落本该被永久流放的祸世魔物丹赋圣却在千年后重回世间，曾经封印过魔物的各方势力纷纷赶往解封处。黑雾散去，只见丹赋圣负手而立，长发随风而动，大花裤衩子也随风而动。丹赋圣严阵以待的众人丹赋圣将背在身后的手拿出来，众人再次警惕，却见丹赋圣骨节分明的手上拎着一袋肉包和一袋鸡蛋，鸡蛋上还有章，是无菌蛋。丹赋圣认出了人群中的几个熟面孔，他长叹一声，转身准备向山里走去。众人你站住！！丹赋圣刚被流放的那几十年是极不甘心的。他为了证明自己的理念，在混乱的异世争权夺利。他成功了，他为了维护自己的权利勤勤恳恳地工作了将近五百年，饮食起居是被定死的，每天光看下面人汇报上来的破事就得花半天，他没有自己的生活，他好像是在坐牢。最后丹赋圣跑了，他奔向了属于自己的自由，就在他以为自己能一辈子这么自由下去的时候，不知道哪个脑子有坑的傻缺玩意儿又给他拉回去了。重临世间的魔物打赢了曾经封印他的半仙。被锁住命脉的半仙面色阴沉地讯问你待如何？被迫打了一场架的丹赋圣想了想明天早上五点半你帮我去惠民超市排队。半仙？？？丹赋圣做活动，能领鸡蛋。监管者询问下属最近那个魔物都在做什么？下属他最近去男生女生向前冲给自己赢了一台电冰箱。监管者下属他买了一辆自行车开始环大陆骑行。监管者下属骑到半道他被做活动的传销组织骗了，现在已经获救，仙人给他领回家去了。监管者？？？下属最新消息是在套圈的小摊上因为百发百中而跟摊主吵起来了，还动了手。监管者迅速起身那个摊主还活着吗？下属活着，摊主推了丹赋圣一下，丹赋圣就地躺下了，最后公安来调解，摊主赔了两百多。彻底咸鱼魔物攻x一本正经脸皮薄半仙受食用指南章节定时在每天晚上九点整更新（比哈特）封面和人设（指）作者画的（挺胸）（微博不定期有图掉落，小破站有小动画掉落，比较慢一些。id飞天巨呱，两边都是！猛戳一下就会呱地一下掉落点东西）欢迎指出常识性问题，出现特别离谱的情节可以对作者进行赛博殴打，但是别打死了，死了就不好了。欢迎捉虫，第一位捉到虫并被作者采纳修改小天使可以领到小红包（比哈特）预收仓鼠一千四百斤苍庸穿成了一本星际兽人文中的小炮灰。原主自食恶果死在了虫潮里，而苍庸要接替原主的身份活下去。按照原著来看，苍庸接下来会被星盗头子捡到，随后他将继续投身陷害主角的宏伟大业，最后毫无尊严地死去。苍庸本来是不愿意投身黑恶势力的，但荒星没吃没喝，他拒绝了就只能饿死。明明主角一开始就发现他有问题了，但主角什么都不说，主角是好人。弹尽粮绝的时候主角把所有食物都留给他，主角果然是好人。遇到危险主角想捧着他跑，主角太好了！寅峯的密友给他送了一个礼物，密友将那个懦弱的仓鼠送到了他的身边做卧底寅峯很了解那只仓鼠吧？这仓鼠为什么吃得这么多？是任务压力太重，暴饮暴食了吗？可他也不见胖啊。在弹尽粮绝的时候苍庸含泪啃虫腿，他还问寅峯要不要。他到底怎么啃动的啊？！后来有人找苍庸的麻烦，寅峯前去救鼠。寅峯朝苍庸伸出手害怕就变回原形，我带你走。苍庸喜极而泣，捂着嘴变回原形。然后寅峯就看到了一只两米五长，重达七百多公斤的棕色仓鼠？！！仓鼠看起来很感动，他试图把屁股挪到寅峯的手心上。寅峯等等等！等一下！！不偷袈裟棕熊攻x直男爱逞强黑豹受魔蝎小说...
血祭百万丧尸，我在末世当魔修
郑毅从蓝星穿越到修仙世界，却碌碌无为，躺着在修仙界底层成为散修一枚。偶尔穿越到末日世界，血月横空，丧尸横行，厉鬼丛生这里简直是魔修的天堂。杀丧尸，炼厉鬼，噬幽魂，啖尸丹，修为蹭蹭的往上涨，不但没有天谴，修炼度还贼拉快，你说这上哪说理去？郑毅只能大喊一声，这不科学。然后转身回到修仙界，卖掉仙城居住权，连夜投奔魔域去了。摄魂宗，养尸宗，天魔教，噬魂道魔道宗门，我来了。郑毅大吼着，兴奋的投入到恶名昭彰的诸多魔宗怀抱。摄魂幡，引魂阵，黑煞功，养尸功郑毅热烈的投入到研究魔道法门的热情之中去了。别人修炼魔功，不是被正道拍死，就是被天谴，五雷轰死。而我是郑毅，正义的郑，正义的毅。代天行道，修炼魔功，功德无量。当有一日，郑毅布置下三十三万摄魂幡，号令百万恶鬼，操纵十万天尸，魔气滔天，围攻正道圣地的时候。无论是正道大能还是魔道大佬们都麻了。他们一起高呼出声，道你这魔头，为何没被老天爷劈死？这不科学啊！...
闻雀！你的心声我们都听到了
闻雀穿到了修仙界，拥有了一个神仙师门师尊仙风道骨，人人敬仰师兄天生剑骨，以身铸剑师姐风华绝代，以乐证道师弟冰清玉洁，医人无数师妹名门千金，皇族后裔而她是那个上不挨天下不沾地废物小老三，在家修炼都能被雷劈。当然，她被雷劈醒之后才发现，自家的神仙师门居然个个是冤种，人人都不得善终。这冤种师门，迟早要完。魔蝎小说...
老婆是上天安排的
ＧＬ百合老婆是上天安排的作者陆欢颜完结 文案 萧妈和郑妈年轻时是好姐妹，两人约定了结娃娃亲。 只是，郑妈生下了女儿郑玉洁。 隔了整整十三年，萧妈才生娃。 同样是个女儿。 以为说好的做亲家泡汤， 哪知，长大後萧小洒直接背着书包进城找老婆了。 萧洒打小顽皮不读书，头疼的萧妈想出个...
玄德
在你面前的是！汉室宗亲孝景皇帝之后涿县街头霸王海内大儒卢植亲传弟子东汉浪漫主义诗人雒阳纸贵直接责任者古文经学派辩经达人古文经学派少壮派领袖左氏春秋第七传承家族涿郡涿县刘氏开山始祖，今文经学派头号憎恶者什么？名号太长记不住？嗯好吧。我叫刘备，字玄德，这是我的而非那位皇叔的故事...