手机浏览器扫描二维码访问
第二百三十九章 无人鼓掌（第1页）
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1+1=2”这个最初公式里，“1”、“+”、“=”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述――它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步。就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为――“哥德尔数化”。
――或许在神州，它会叫做“王崎数化”吧？
“一般人在理解这不完备的时候，很容易就陷入一重重自我参照的迷雾之中，难以自拔。我猜想，这大约是与康前辈的对角线证法、无穷基数违反我等天生直觉有关。也正是这一重原因。所以千百年来，我们的前辈们才会对这一重道理视而不见。”
“而非要解开这一重迷雾，就必须使用这种形式化的方法。”
王崎双手放出金光，幻化出重重光幕，无数算符在上面飞舞，排列，罗列着一个伟大的证明。
哥德尔证明不完备定理的第二部分，也是其最伟大的部分，就在这里。
“任何公理系统。所运用的算符，所能够存在的公理，都是有限的。因此，这些公理、这些算符所能够罗列出的陈述，也必定是可数的――无穷可数、道元数零、自然数的个数。就是这么描述的。”
“而这些有可能的陈述，其长度也必然是可数的。而既然还在可数无穷的范畴之内，我们就可以用自然数给它编号。每一个编号都是独一无二的。”
“然后，我们就可以建立一个集合‘中天’。这个集合‘中天’，便是包括了所有有可能陈述的‘编号’。一个公理系统之内。所有有可能的陈述，都必定在这个编号之内。”
……
讲道进行到这里的时候，已经开始脱离绝大多数人所能够理解的范畴了。什么“可数无穷”，什么“基数”、“序数”。这些都已经超过他们的理解范畴了。
就连显身现场听王崎讲道的那些逍遥修士，也有几个露出了迷惘之色。
这个少年所说的每一步，他们都可以理解。但是。这些东西凑到一起之后，究竟有什么数学意义？
完全不明白！
更多借助万仙幻境收看这“直播”的今法修，则纷纷头昏脑涨。这看似简单的证明，似乎包含着无穷的魔力，仿佛要将他们的思维拖向一个深渊。
冯落衣不得不叹了口气。以“字幕”的方式，向所有通过直播观看的修士进行解释。
这个数化的过程，说白了就是“映射”。
把算术系统中的符号、表达式和表达式的序列都映射为数――通过引进“哥德尔数”而实现了对象的数化手续。这样处理的结果，对于数理逻辑和其他有关分支来说，在研究方法上就提供了一种数字化工具，能够方便地把一些讨论对象转换为自然数或自然数的函数，能够用自然数的理论来讨论有关问题。
将一个准数学的陈述转变为一个具有数学意义的陈述。
这就是这个“数化”的意义所在。
而当这个证明进入第二阶段的后半段时，歌庭派阵中，艾克蛮轻轻叹息：“原始递归式啊……”
他的表情当中包含着十足的惋惜与悔恨。
――我也研究过这个领域啊……若是我当年能够再深入一点，会不会就能够避免了今日的劫难？
什么？奥特曼是终身制的？ 巫妖生存指南 谭笑风声里，灼灼桃之夭 道化九界 西游：六岁熊孩子，开局怒怼观世音 建立帝国从骑士次子开始 运河之韵 敛财心 我，地球唯一超能力者 大明：开局剧透崇祯，重振河山 穿进语文书，从刺猹开始 我的修真小米三 月薪十万，女总裁她果然不只是让我当司机 盛世花都 先婚后爱：娇妻拒婚101次 巨树领主 网游航海之王 舌尖天下 灵异直播，女主她不想吓人 万苍天穹
洪荒：拜师太一，继承大笔遗产
洪荒生就葫芦仙，根脚从来不自谦。一朝登临云霄殿，神玄只是若等闲。三花聚顶朝北海，胸中五气透南冥。混元一气成道果，四象八卦掌中盘。...
草根穿越：灼灼风流之异世星主
高星辰，一个来自地球的草根少年，意外穿越到了神秘的九星界域。在这里，他凭借着自己的勇气和智慧，不断地挑战自我，突破极限。在他的成长过程中，他结识了许多志同道合的朋友，也遇到了许多强大的敌人，通过自己的努力以及挚友与爱人的帮助，将其一一化解。最终，他成为了星域之主，实现事业爱情双丰收，开创了属于自己的传奇人生。...
七零，我成了年代文里的恶毒女配
穿越重生七零，我成了年代文里的恶毒女配作者二肥2完结 简介 沈梦是个大厂社畜，在去给合作商送合同的时候，遭遇车祸。 就在她瘫在床上独自难受的时候，突然觉醒了空间。 还不等她高兴两天，空间的後遗症也来了，她几乎每天晚上都会做一些奇奇怪怪的梦。 这让她很快警觉了起来，沈梦赶紧的卖房卖车，开始疯狂...
被战神宠成宝的小王妃是玄学大佬
关于被战神宠成宝的小王妃是玄学大佬传闻大景战神王爷晏玄翊身负七杀，煞气缠身，恐活不过而立之年。国师批命，他须娶天命贵女苍妍玲，才能破除命中死劫，化解七杀。大婚当日，嫁入王府的却是被拴在家畜棚子里与家畜一起养，又疯又傻，还克死全家的煞星苍云烟。七杀碰上煞星，都以为翊王夫妇不出几日就会命丧黄泉。殊不知一场替嫁，小可怜苍云烟豆芽菜身体里的神魂，成了意外魂穿至此，来自现代硕博连读考古系学霸云烟。她不仅拥有自带小世界的神秘珠子，还掌握捉鬼斗邪的高深玄术，懂得极为厉害的修炼之法。翊王把她当闺女养，去哪都带着她。想不到她扮猪吃虎，以自身高超的玄术，帮着翊王解决身边各种诡异事件，抽丝剥茧地弄清楚自己与翊王的命数真相。捉鬼斗邪，斩妖除魔，破除七杀，携手扭转命运。...
我的疯子爱人
本书简介朝殊跟陈柘野纠缠了一辈子。上辈子朝殊第一次见到男人，是在开学典礼，对方温文尔雅的走过来向他打招呼。那时候朝殊知道他叫陈柘野，相貌顶尖，是圈里有名的太子爷。可是他没想到自己会跟陈柘野纠缠一辈子。以至于被束缚一生，最后陈柘野为了让他记住他。当着自己的面自杀。朝殊彻底崩溃。然后他重生了，重生到他们认识的第一天。同学，你好，我叫陈柘野，能认识你吗？文质彬彬的青年向他打招呼。而这次，精神崩溃的朝殊对他说。对不起，我不想认识你。陈柘野的眼神一下子阴郁下来。陈柘野觉得自己病了，从见到那个低着头，黑头发的青年开始。他的心脏剧烈跳动起来，控制不了地走上前，伸出手打招呼。出乎意料的拒绝了。他不气馁，反而斗志昂扬，像斗兽场里的狮子，不停地围在他身边，伺机撕烂他脆弱的一面，再狠狠咀嚼。我只想跟你认识一下。可是对方并不想，甚至想要躲避自己。陈柘野弯唇一笑，没关系的。内心阴暗杂草丛生。不就是，需要多点时间，还有其他手段。这世间有千万种爱恋人的方式。我选择了无数方法，激烈温和撕碎。最后。请看看我，我的恋人。我的疯子爱人全文免费阅读，如果您喜欢我的疯子爱人灯火明亮最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
名柯：我在酒厂爆瓜，真真假假
关于名柯我在酒厂爆瓜，真真假假被炸死的宾加重生回到应聘太平洋浮标工程师之前，誓死不去卧底，还去酒吧打了刚拿到代号的威士忌三人组，把朗姆气的将人打包送给了琴酒…组织瓜王！酒厂厂花！实际上就是满嘴喷粪，精神状态极其不稳定的一奇葩！和伏特加关系好，和琴酒生死冤家！琴酒嘲笑我睫毛，我对朗姆螺纹钢式硬夸！下班遇到工藤新一，梆梆就是两脚丫！看到叛徒雪莉酒，上去一个大嘴巴！骂朗姆就像回家。把贝尔摩德尊严按在地上摩擦！碰到波本，基尔就是一记大列巴，还把锅甩给伏特加。连Boss我都敢骂！开二十几个小号故意网恋男同事…就是我宾加！小剧场1朗姆让宾加游说刚拿下代号的成员站队，宾加抡着高跟鞋梆梆给他们脑壳开花，被琴酒当成神经病和被打残的三瓶威士忌一起关到审讯室，让朗姆来捞人2跟踪工藤新一遇到正在做任务的琴酒和伏特加，捡到变小的工藤新一团成球塞到衣服里装孕妇将人偷走，不慎被琴酒抓到，衣服里的柯南掉出来伏特加大，大哥，宾加生了！琴酒注不救济，对荭方不友好，自行避雷。「第一卷无CP篇，第二卷CP琴酒篇」...