手机浏览器扫描二维码访问
第二百三十九章 无人鼓掌（第1页）
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1+1=2”这个最初公式里，“1”、“+”、“=”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述――它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步。就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为――“哥德尔数化”。
――或许在神州，它会叫做“王崎数化”吧？
“一般人在理解这不完备的时候，很容易就陷入一重重自我参照的迷雾之中，难以自拔。我猜想，这大约是与康前辈的对角线证法、无穷基数违反我等天生直觉有关。也正是这一重原因。所以千百年来，我们的前辈们才会对这一重道理视而不见。”
“而非要解开这一重迷雾，就必须使用这种形式化的方法。”
王崎双手放出金光，幻化出重重光幕，无数算符在上面飞舞，排列，罗列着一个伟大的证明。
哥德尔证明不完备定理的第二部分，也是其最伟大的部分，就在这里。
“任何公理系统。所运用的算符，所能够存在的公理，都是有限的。因此，这些公理、这些算符所能够罗列出的陈述，也必定是可数的――无穷可数、道元数零、自然数的个数。就是这么描述的。”
“而这些有可能的陈述，其长度也必然是可数的。而既然还在可数无穷的范畴之内，我们就可以用自然数给它编号。每一个编号都是独一无二的。”
“然后，我们就可以建立一个集合‘中天’。这个集合‘中天’，便是包括了所有有可能陈述的‘编号’。一个公理系统之内。所有有可能的陈述，都必定在这个编号之内。”
……
讲道进行到这里的时候，已经开始脱离绝大多数人所能够理解的范畴了。什么“可数无穷”，什么“基数”、“序数”。这些都已经超过他们的理解范畴了。
就连显身现场听王崎讲道的那些逍遥修士，也有几个露出了迷惘之色。
这个少年所说的每一步，他们都可以理解。但是。这些东西凑到一起之后，究竟有什么数学意义？
完全不明白！
更多借助万仙幻境收看这“直播”的今法修，则纷纷头昏脑涨。这看似简单的证明，似乎包含着无穷的魔力，仿佛要将他们的思维拖向一个深渊。
冯落衣不得不叹了口气。以“字幕”的方式，向所有通过直播观看的修士进行解释。
这个数化的过程，说白了就是“映射”。
把算术系统中的符号、表达式和表达式的序列都映射为数――通过引进“哥德尔数”而实现了对象的数化手续。这样处理的结果，对于数理逻辑和其他有关分支来说，在研究方法上就提供了一种数字化工具，能够方便地把一些讨论对象转换为自然数或自然数的函数，能够用自然数的理论来讨论有关问题。
将一个准数学的陈述转变为一个具有数学意义的陈述。
这就是这个“数化”的意义所在。
而当这个证明进入第二阶段的后半段时，歌庭派阵中，艾克蛮轻轻叹息：“原始递归式啊……”
他的表情当中包含着十足的惋惜与悔恨。
――我也研究过这个领域啊……若是我当年能够再深入一点，会不会就能够避免了今日的劫难？
道化九界 敛财心 巫妖生存指南 巨树领主 运河之韵 大明：开局剧透崇祯，重振河山 月薪十万，女总裁她果然不只是让我当司机 穿进语文书，从刺猹开始 先婚后爱：娇妻拒婚101次 盛世花都 舌尖天下 我的修真小米三 建立帝国从骑士次子开始 灵异直播，女主她不想吓人 谭笑风声里，灼灼桃之夭 网游航海之王 西游：六岁熊孩子，开局怒怼观世音 什么？奥特曼是终身制的？ 万苍天穹 我，地球唯一超能力者
被雪豹崽崽碰瓷了
本书简介 相依为命的师父去世后，洛予独自在偏远星球生活。落后小镇的日子平淡而宁静，直到有一天在路上被从天而降的毛茸茸碰瓷。雪豹崽崽又乖又萌，撒娇打滚爬树样样精通。唯一不好的一点是，小镇的医疗技术落后，检测不出这是只单纯的雪豹幼崽，还是个变身困难的笨蛋幼年兽人。没办法，洛予只能带着崽崽去主星进一步检查。进港，登舰，抵达。刚走出运输舰不到十米，就连人带崽被治安官拦下。先生，您涉嫌拐卖兽人幼崽，麻烦跟我们走一趟。洛予现在说是自己捡到的还来得及吗？被雪豹崽崽碰瓷了全文免费阅读，如果您喜欢被雪豹崽崽碰瓷了薄香奶茶最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
僵约：开局获得僵尸血统与道体
关于僵约开局获得僵尸血统与道体战火纷飞的年代，僵尸为祸，做任务，杀邪祟，赚功德，兑换僵尸血统，功德道体。从红溪村出发，到达桃源镇，结识南毛传人，恶战九菊一派弟子，斩杀八里坡邪祟，大战式神，这仅仅只是开始...
他们越反对，我和女神师傅越爱恋
关于他们越反对，我和女神师傅越爱恋姜宁重生了，回到了将师徒恋视为的平行世界。上一世，他对家人百般讨好，得到的却是冷落和欺凌，对满眼都是自己的绝美女神师傅，却被世俗礼法裹挟，不敢有任何非分之想。这一世，他不再犯贱，只为女神师傅而活。听完一首，女神师傅也放飞自我，誓要与他携手，冲破枷锁，扫平一切阻碍。姜宁以为自己已经够恋爱脑，没想到师傅比他还恋爱脑。姜宁以为自己已经够叛逆，没想到女神师傅比他更叛逆！宗师们武圣们领主们，别犟了，赶紧同意我跟师傅交往吧。再不同意，她要把你们杀绝了。啥？师傅说她杀累了，好吧，我那我来接着杀。这是两个无敌恋爱脑与全世界作对的故事…...
般若花开情根净
（女主痛失后醒觉，释怀所有，心死情灭，戒情绪断情根，心住于空门。）叶弥若曾是玄天宗最受人艳羡的大小姐。她不仅拥有玄天宗内所有人的宠爱，还是自己的师父父母兄长们捧在手心的明珠。可自从她那三哥从凡俗界带回来一个跟她同岁的小孤女后她的世界，变了。她的母亲陷入昏迷，父亲师父不信她，哥哥逐渐厌弃她，师姐们小伙伴...
![成为林家幼子后[红楼]](/img/2/2944.jpg)
成为林家幼子后[红楼]
扬州巡盐御史林如海近日喜得一子，取名球球，听起来很随意，其实是身为探花郎的父亲特意为他取的美名。球琳琅珰，出自书禹贡，是美玉的意思。当然实际都是借口，不过就是因为球球长得圆滚滚的，父亲故意打趣他像颗球罢了。林如海升官回京，一家子随行做父亲的还战战兢兢地努力适应着新环境，做儿子的球球，已经在一众大佬中混得如鱼得水。陛下的亲皇叔，现皇室辈分最高者安乐老亲王，是他的钓友。传闻清高孤傲，轻易不见外人的帝师周老太傅，是他的棋友。军功卓绝，但脾气很暴躁的武官第一人定国老将军，是他的饭搭子。不知怎的就连宫里的陛下对他都十分喜爱，时常唤球球入宫，并钦点他做小皇孙的伴读。不好了不好了！为了抢着当林小公子的师傅，大人们在御前吵起来了！都快要动手了！林家人扶额，明明林如海自己是重生的，妻子是穿越的，女儿黛玉绑定了系统，怎么偏偏回回都是球球这个小傻子闹出来的动静最大呢？得知贾府有人对着姐姐阴阳怪气，球球自幼牙尖嘴利，撒泼打滚信手拈来，扮无辜装可怜那就更是一绝，替姐姐还回去那是分分钟的事。后来又有人觊觎姐姐美貌想做他姐夫，球球竖起三根手指请诸位自省，一心一意否？才德兼备否？家财万贯否？不合格的，门在后头，慢走不送！阅前提醒（高亮）1拆宝黛，黛玉cp未定，也可能独美2偏家长里短，有部分宅斗（仅限贾家）3全员宠崽崽4官制设定参考明朝，背景设定不完全根据原著，会根据剧情改动5合理的建议作者会采纳，拒绝辱骂文中角色以及辱骂作者，快乐追文，不快乐就千万！！！别勉强！魔蝎小说...
小妾金蝉脱壳，重逢王爷哭断肠
关于小妾金蝉脱壳，重逢王爷哭断肠沈若兰做梦都没有想到，自己那不会举的丈夫，竟然跟小三有个六岁的儿子，承受不住打击的她，挺着大肚子从楼梯上滚下来，导致她一尸两命。再次醒来，沈若兰竟然穿越到了古代，成为当朝赫赫有名战神将军的侍妾，正被未过门的正妻围殴，初到异世惶恐不安沈若兰四处求救，可因为身份低微，无人搭理，导致她腹中胎儿离她而去，这让一连遭受两次流产的沈若兰，身心倍受打击。好在，她很快逃离了那个让她厌恶的牢笼，只是外面的世界没有想象中那般美好，逃亡中十天有八天都遭山匪惦记，沈若兰一怒之下，带着一群流民上山，自己做起了山大王，从此，日子过得风生水起，一天，儿子突然跑来向她喊道娘亲，那男人又来求你回府了。沈若兰不见，不见，永远不见。某个不请自来的妖孽男人，他一进门就搂着沈若兰，满脸宠溺道娘子，你在外玩了几年，够啦，为夫来接你回家了。...