魔天记小说网

手机浏览器扫描二维码访问

第493章(第1页)

“这也是诞生自康门主集合论之中的巨大矛盾。它用一句话就可以概括——‘此言非真’真耶?假耶?这个自中古就有的真假之辨,引发了算学体系的灾劫。”

当介绍到这里的时候,王崎停顿了一下,道:“我的思考,便是自这里起始的。”

……

“……不完备最核心的概念有两个。我首先要介绍的第一个,唤作自我指涉……”

路小茜看着王崎的讲演,一向清雅的脸上,也露出错愕的表情:“这……我有一种初闻缥缈之道的感觉……”

这不完备定理和不可测定理,同样都很洗人三观啊!

“哼,万法门的……”破理真人摇摇头。他也想起自己师弟不准道人当年震惊天下的情形了。

破理真人并不如何喜爱算学,尤其不喜欢这种纯粹算理,所以没有显身去听。

“我们越是往微观的层面走,算学就越显得重要。”路小茜已经开始沉思:“这个发现对我们有什么意义呢?”

“没有任何意义,也不会有任何意义的。”破理真人强调道:“或许他们会升华出更多的算法作为你我的求道之器,但是。这个发现本身没有任何意义。”

……

万仙幻境深处,王崎的讲演,也进入了一个新的阶段。

“傀儡审官”这一个故事,乃是不完备和不可判定都会涉及到的重要概念——“自我指涉”。但是,不完备定理也不是纯粹由这一个概念支撑起来的。

“接下来,我要讲的,便是我从希门主、从歌庭派的工作当中学习道的最重要的概念!形式化。”

“在这里,这一个形式化便有一些特殊。”

第二百三十九章无人鼓掌

“接下来,我要讲的,便是我从希门主、从歌庭派的工作当中学习得的最重要的概念!形式化。”

王崎这话一出口,算君的眉头就多出一道沟壑。

而在他身后,更多的少黎派算家几乎出离的愤怒了。

算主希柏澈一生当中有无数的成就。但是,他在算学本质的看法之上却广为人诟病,绝大多数算家都难以接受。

在算主看来,算学的本质,就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。

这就好比说“1+1=2”这个最初公式里,“1”、“+”、“=”、“2”这几个符号都是无意义的,而只有那个完整等式在具有数学意义。

而另一边,歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情,夹杂着迷惘、愤怒。

“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。

而否定这份理想的,正是王崎本人。

王崎使用算主的思路,否决了算主的追求,也否定了歌庭派数十年的努力。

但是,这种种复杂的心绪并没有影响到王崎。

王崎明白,现在他代表的,不是他自己,而是“正确”。

自我指涉并不是一个数学的描述——它确实是属于逻辑,但是否属于数学还有待商榷,并非是所有的数学家都承认这一点。地球也好,神州也好,都有这样的迹象。

“这一陈述无法证明”,并非狭义上的数学陈述。

哥德尔证明方法的第二步,就是将这个非数学的陈述或者说准数学的陈述,转化为一个数学的陈述。

地球将之称为——“哥德尔数化”。

一爱到底之顾少毒妻  娱乐超级奶爸  我是狠人大帝的同乡  最强除妖师  神偷长公主  悍妻[医道]  时光请善待我的她  直播和男神同居的日子  系统之娇宠孕妻  废材重生:邪王独宠悍王妃  赌妃在上,王爷在下  扛着boss拼下限(末世)  穿越之弃子国师  天地炼成  烈火燃情:高冷总裁滚远点  断神  眼镜兄撞上恶魔王子  大明孤狼  捡到病娇太子之后(重生)  天黑请开眼  

热门小说推荐
重生狂妻已上线

重生狂妻已上线

关于重生狂妻已上线前世她信错了人,落得家破人亡的结局,一朝重生,废物草包一改从前,发誓要让他们好好尝尝人生艰难!白莲花,她打!狗男人,她踩!传闻云家千金马甲重重,黑粉们不甘心,疯狂开始扒马甲,...

傅爷怀里的假千金真绝了

傅爷怀里的假千金真绝了

关于傅爷怀里的假千金真绝了前世的时瑾不仅是公认的恋爱脑大花瓶,更是时家抱错的假千金,落了个惨死的下场。重生后的时瑾,控干了脑子里的水分,智商上线,抱紧金大腿,发展事业虐渣两不误。一无所知的...

从湾鳄开始进化

从湾鳄开始进化

一觉醒来,陆晨发现自己变成了一只半斤重的湾鳄幼崽。白鹭老鹰蛇类一个个天敌对它虎视眈眈。本以为自己能够成为君临天下的凶兽王者,没曾想连顺利活到成年都是问题灵气复苏,异兽类,不化型。如果您喜欢从湾鳄开始进化,别忘记分享给朋友...

大明最后一个忠臣

大明最后一个忠臣

1644年,流寇称帝,南明内部倾轧,无暇北顾。鞑子趁机入关,汉家百姓被鞑子随意宰杀,左衽剃发,沦为奴才,不行!既然他们守不住这汉家天下,那我来守!秦祚明决心当好大明最后一个忠臣,新帝国的核心价值观就是忠诚,忠诚,还是Tmd忠诚!既然皇帝说我不忠诚,那我就把他忠诚掉!另有三百万完本老书从长坂坡开始,人品保证,希望大家多多支持哈。如果您喜欢大明最后一个忠臣,别忘记分享给朋友...

甜品屋的大佬都超A

甜品屋的大佬都超A

陆无双泰国旅游,意外街头遇见高中同学林中璨。‘碌番薯,先帮我个忙,其它都好商量。帮忙假扮现女友气走前任渣渣女,戏精上身简直不要太爽。扮一次假女友后怎么还给赖上了?回国没地方住,先暂住几天。酒店太贵了又不舒服,先收留几天。这住着住着,怎么变拖手仔了?林中璨,你是有预谋的吧?不,我是深谋远虑拐个老婆回家的。如果您喜欢甜品屋的大佬都超A,别忘记分享给朋友...

真君请息怒

真君请息怒

兵家乃入世之道,炼煞锻体,校阵荡寇,斩妖诛邪,保家守境,然不修性命,寿不过百。王玄魂穿修真界,已修兵家,只能凭借人望推演盘,将兵家术法推演至巅峰,争一线生机,自此踏鬼穴捣妖巢伐山破庙…许多年后,众多大教祖师聚集一堂,脸色难看说什么妖鬼邪魔,黑暗动乱…他王玄,才是这世间最大的恐怖!如果您喜欢真君请息怒,别忘记分享给朋友...

每日热搜小说推荐