手机浏览器扫描二维码访问
第二百三十九章 无人鼓掌（第1页）
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1+1=2”这个最初公式里，“1”、“+”、“=”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述――它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步。就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为――“哥德尔数化”。
――或许在神州，它会叫做“王崎数化”吧？
“一般人在理解这不完备的时候，很容易就陷入一重重自我参照的迷雾之中，难以自拔。我猜想，这大约是与康前辈的对角线证法、无穷基数违反我等天生直觉有关。也正是这一重原因。所以千百年来，我们的前辈们才会对这一重道理视而不见。”
“而非要解开这一重迷雾，就必须使用这种形式化的方法。”
王崎双手放出金光，幻化出重重光幕，无数算符在上面飞舞，排列，罗列着一个伟大的证明。
哥德尔证明不完备定理的第二部分，也是其最伟大的部分，就在这里。
“任何公理系统。所运用的算符，所能够存在的公理，都是有限的。因此，这些公理、这些算符所能够罗列出的陈述，也必定是可数的――无穷可数、道元数零、自然数的个数。就是这么描述的。”
“而这些有可能的陈述，其长度也必然是可数的。而既然还在可数无穷的范畴之内，我们就可以用自然数给它编号。每一个编号都是独一无二的。”
“然后，我们就可以建立一个集合‘中天’。这个集合‘中天’，便是包括了所有有可能陈述的‘编号’。一个公理系统之内。所有有可能的陈述，都必定在这个编号之内。”
……
讲道进行到这里的时候，已经开始脱离绝大多数人所能够理解的范畴了。什么“可数无穷”，什么“基数”、“序数”。这些都已经超过他们的理解范畴了。
就连显身现场听王崎讲道的那些逍遥修士，也有几个露出了迷惘之色。
这个少年所说的每一步，他们都可以理解。但是。这些东西凑到一起之后，究竟有什么数学意义？
完全不明白！
更多借助万仙幻境收看这“直播”的今法修，则纷纷头昏脑涨。这看似简单的证明，似乎包含着无穷的魔力，仿佛要将他们的思维拖向一个深渊。
冯落衣不得不叹了口气。以“字幕”的方式，向所有通过直播观看的修士进行解释。
这个数化的过程，说白了就是“映射”。
把算术系统中的符号、表达式和表达式的序列都映射为数――通过引进“哥德尔数”而实现了对象的数化手续。这样处理的结果，对于数理逻辑和其他有关分支来说，在研究方法上就提供了一种数字化工具，能够方便地把一些讨论对象转换为自然数或自然数的函数，能够用自然数的理论来讨论有关问题。
将一个准数学的陈述转变为一个具有数学意义的陈述。
这就是这个“数化”的意义所在。
而当这个证明进入第二阶段的后半段时，歌庭派阵中，艾克蛮轻轻叹息：“原始递归式啊……”
他的表情当中包含着十足的惋惜与悔恨。
――我也研究过这个领域啊……若是我当年能够再深入一点，会不会就能够避免了今日的劫难？
道化九界 运河之韵 敛财心 我的修真小米三 穿进语文书，从刺猹开始 万苍天穹 巨树领主 什么？奥特曼是终身制的？ 建立帝国从骑士次子开始 盛世花都 月薪十万，女总裁她果然不只是让我当司机 谭笑风声里，灼灼桃之夭 灵异直播，女主她不想吓人 西游：六岁熊孩子，开局怒怼观世音 巫妖生存指南 我，地球唯一超能力者 先婚后爱：娇妻拒婚101次 网游航海之王 大明：开局剧透崇祯，重振河山 舌尖天下
你惹她干嘛？她黑白两道皆马甲
关于你惹她干嘛？她黑白两道皆马甲玉墨绾活了二十岁，才知道自己是玉家假千金，真千金找回家便被赶出家门。一朝被亲生父母被找回家，才发现自家是京圈顶级豪门。失踪多年，家里早有个白莲花养女，她以为又要上演全家护白莲的戏，谁曾想却是另外的画面。父母出于疼爱愧疚，对她进行了买买买，把她当成小公主来宠着。霸总大哥放话妹妹喜欢创业吗？卡里有五亿，尽管拿去造，造完了大哥再给。巨星二哥放话妹妹喜欢演戏吗？二哥这有十几个好剧本，里面女主随便挑，都不喜欢可以叫编剧为你量身打造。车神三哥放话妹妹喜欢赛车吗？这些车都是全球限量款，三哥送你。时尚四哥放话妹妹喜欢当模特吗？四哥为你量身设计最好看的小裙裙。黑客五哥放话妹妹喜欢看烟花吗？五哥为你设计最好看的烟花。当晚，全城电脑被莫名打开，屏幕上放了一夜烟花，璀璨绚烂。享受家人宠爱的同时，她顺手把京圈的坏风气给整顿了，耳根子清净很多。眼看救过自己的女孩被家人娇宠无度，他把她抵墙，声音低沉蛊惑宝贝，救命之恩以身相许，愿意当司太太，让我也宠你吗？...
军阀：从县长开始征伐天下
关于军阀从县长开始征伐天下从一堆尸体中醒来，方继安发现，自己的啤酒肚不见了，人也年轻了十几岁。而尸体中，还有一人与他年轻时很像。正在恐慌时，觉醒强国争霸系统，改名方济安，利用死去青年方济安的证件委任状，他开启了异界民国初期的争霸之路。ps小说改不了标题，内容改成了奖励步兵连，不是德械连。想看系统爽文的请不要进来，想看强大系统的不要进来。欢迎大家指责错误，但那种看小说无脑喷的请不要进来，那种看免费小说还斤斤计较的也不要进来，这本书不合您胃口的可以放弃，礼貌看书，谢谢！！！...
千金小姐种田忙
关于千金小姐种田忙新作品出炉，欢迎大家前往番茄小说阅读我的作品，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！满京城的人都知道，郑家大小姐是个只知道埋头种地的泥腿子，郑采薇也愿意这样安安稳稳过一辈子，不想，父亲被罢官流放，亲眷被遣返回乡，只知道种地的她凭着一身种地的本事护着家人安居一隅。意外救下一个小孩，竟是当朝六皇子，小孩拍着胸脯信誓当当的说要攒十里红妆给自己送嫁，可是，又有谁愿意娶一个泥腿子呢？没想到，满身甲胄的他在十万大军面前捧着兰花当众求娶...
别来无恙，傲娇的总裁大人
关于别来无恙，傲娇的总裁大人和豪门贵子联姻，她居然拒绝？他虽然年纪比她小，可他眼里全是她啊！弟弟怎么了？弟弟爱她爱到死。既然已经结婚了，那外表冷漠，却唯独对她软软糯糯的老公，自然是拿下！只有他知道，她才是他唯一的救赎。他是暗夜里霸道腹黑的修罗，可他敢扬言余晚晴才是我的心头爱心头宝！...
我在无限游戏收集怪物书
平平无奇的社畜打工人江邈，捡到一副发光扑克牌。提示音说joker随机选中了你，跟你开了一个大玩笑。请努力闯关生存下去，不要被割喉变麻辣兔头。当然，活不下去也没关系，随便你。下一秒，恐怖游戏地图加载完成。一段时间之后，江邈已然熟悉游戏套路。其他玩家好可怕！游戏第一喷子第一尖酸刻薄第一高端黑玩家江邈拍拍怪物的皮毛，拎起她的战利品，皮糙肉厚，适合做东北铁锅炖。江邈看着瑟瑟发抖的玩家，笑得比怪物还要恐怖废物们，你爹有没有教导过你们，在游戏里见到一个长相平平无奇的女人，要绕路走？那一天，枯坐在高山之上的神像，略有些委屈问江邈我是神，天地之主。为了消磨漫长的岁月，我创造了一个人类。我给了她世间难得的外表，独一无二的智慧，还有永不枯竭的财富，给她无穷无尽的爱。我问她愿意爱我吗？她拒绝了。江邈好聒噪的神。神明轻笑所以，我放逐了她，冷眼看她失去一切。没有失去过的人，不会懂得珍惜。江邈神明降临，你已经轮回百世了，玩得开心吗？学会如何爱人了吗？现在，我再问你一遍，你愿意爱我吗？江邈脆生生说出三个字不愿意。男主卒，全文终。fao长相普普通通性格日天日地日空气大女主，擅长口吐芬芳，一句话噎死人，扛怪主力，略拽心黑。／／ps主角团三人行。男主脸好看，其他不重要，男主也不重要。魔蝎小说...
今天乱步人设塌了没
星野泉，在役审神者，为爱旷工到横滨原因是他在网上找了个男朋友，高智商冷静沉稳温柔贴心，还是个合法美少年试问哪个基佬不动心？面基之后，发现男朋友没骗他，和网络上一模一样的清纯不做作星野泉我最喜欢乱步君了男朋友乱步是的哦，乱步大人就是这样的人呀知情人楼上的乱步一定不是我们认识的乱步先生！魔蝎小说...