手机浏览器扫描二维码访问
第493章（第1页）
“这也是诞生自康门主集合论之中的巨大矛盾。它用一句话就可以概括——‘此言非真’真耶？假耶？这个自中古就有的真假之辨，引发了算学体系的灾劫。”
当介绍到这里的时候，王崎停顿了一下，道：“我的思考，便是自这里起始的。”
……
“……不完备最核心的概念有两个。我首先要介绍的第一个，唤作自我指涉……”
路小茜看着王崎的讲演，一向清雅的脸上，也露出错愕的表情：“这……我有一种初闻缥缈之道的感觉……”
这不完备定理和不可测定理，同样都很洗人三观啊！
“哼，万法门的……”破理真人摇摇头。他也想起自己师弟不准道人当年震惊天下的情形了。
破理真人并不如何喜爱算学，尤其不喜欢这种纯粹算理，所以没有显身去听。
“我们越是往微观的层面走，算学就越显得重要。”路小茜已经开始沉思：“这个发现对我们有什么意义呢？”
“没有任何意义，也不会有任何意义的。”破理真人强调道：“或许他们会升华出更多的算法作为你我的求道之器，但是。这个发现本身没有任何意义。”
……
万仙幻境深处，王崎的讲演，也进入了一个新的阶段。
“傀儡审官”这一个故事，乃是不完备和不可判定都会涉及到的重要概念——“自我指涉”。但是，不完备定理也不是纯粹由这一个概念支撑起来的。
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习道的最重要的概念！形式化。”
“在这里，这一个形式化便有一些特殊。”
第二百三十九章无人鼓掌
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1＋1＝2”这个最初公式里，“1”、“＋”、“＝”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述——它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步，就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为——“哥德尔数化”。
最强除妖师 天地炼成 废材重生：邪王独宠悍王妃 娱乐超级奶爸 穿越之弃子国师 扛着boss拼下限（末世） 神偷长公主 天黑请开眼 悍妻[医道] 一爱到底之顾少毒妻 时光请善待我的她 眼镜兄撞上恶魔王子 赌妃在上，王爷在下 捡到病娇太子之后（重生） 我是狠人大帝的同乡 烈火燃情：高冷总裁滚远点 断神 直播和男神同居的日子 大明孤狼 系统之娇宠孕妻
时空天书
一场诡异莫名的紫色流星雨，让林亦东同时失去了父母，身具未觉醒的时空之力，一本来自感应时空之力而出现在他身旁的时空天书，改变了林亦东这个原本普通男孩的一生来自天外的神秘超能晶体，以及随之出现的超能武装将让人类拥有更多神奇莫测的超能力量。倚仗时空天书，拥有穿越到另一个奇异时空的不可思议之力，男孩一步步走向至尊者的巅...
不周仙尊
一个弑神灭仙的故事。（书一般，这是一本读者很少的书，因此简介也很少。）...
明星总冠军
战斗的理由，你和总冠军！KPL春季赛保级失败而猝死的职业选手韩峰，拥有了一个来自异世界的灵魂，带着无数没人听过的歌看过的电影。于是，韩峰的脚下出现两条路，一条通往娱乐明星，万人追捧，一条通往电竞冠军，多年梦想。韩峰笑道小孩子才做选择，我全都要！如果您喜欢明星总冠军，别忘记分享给朋友...
大唐：我的丫鬟竟然是长孙皇后
大雪纷飞的季节，云家村突然来了两位美丽的女子。这看门的狗都有肉吃，此村一定不简单！进入庄园以后，长孙皇后才发现，不简单的还在后面。大碗喝酒，大口吃牛肉。冰天雪地的季节，还有绿莹莹的青菜。李二，弑兄逼父，实在不是个东西，可是他是个好皇帝。一个月后，天节将军将会造反，三个月后陇佑道，河东道大旱来袭事实证明，少年郎所言句句属实。可惜了，长孙皇后乃是千古贤后，奈何天不予寿。公子，实不相瞒，本宫便是那李二的皇后，长孙无垢这位就是你口中的李二，当今大唐天子！贤婿，长乐以后就交给你了。这驸马，你当也得当，不当也得当！如果您喜欢大唐我的丫鬟竟然是长孙皇后，别忘记分享给朋友...
星舰厨师
我真的只是一个厨子！我就想好好的做美食！在被问起为什么成为人类联邦英雄的时候，周凯总是这么说。他就是个疯子，我们都没看出来。这是和周凯一起工作过的舰员们在接受采访时最经常说的一句话。什么？他是歼灭星盟一个军团的人？大小姐我才是舰长，我才是真正的英雄！一位不愿意透露姓名的罗裳英女士回复本台记者中说道。那么他究竟只是一个厨子还是一位真正的英雄呢？如果您喜欢星舰厨师，别忘记分享给朋友...
总裁老公太凶猛
四年前，她被渣妹设计，意外怀孕。四年后，她携子归来。一个矜贵霸道的男人突然闯进她的世界，说，孩子的爸爸是谁？一个缩小版的他突然跳出来，哪来的野男人，敢抢小爷女神！萧夜凌，女人，偷我种子，知道什么下场吗？啊？作为补偿，做我老婆，一辈子！婚后，夫妻虐渣顺带虐狗。面对上门求复合的前任，林绾绾抱住男人的手臂，对渣男露齿一笑，比起女朋友，我更喜欢你喊我二婶！如果您喜欢总裁老公太凶猛，别忘记分享给朋友...