骑士书屋 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

在某个宗门中有一位炼丹师,他曾放出豪言:“本人的炼丹技艺十分高超,誉满神州。我将为仙道之中所有不给自己炼丹的人炼丹,我也只给这些人炼丹!”来找他炼丹的人络绎不绝,自然都是那些不能自己炼丹的人。可是,有一天,这位炼丹师觉得自己修为停滞了,他本能地打开了丹炉,那么,他能不能给他自己炼丹呢?

这就是著名的炼丹师悖论,如果替换成无魔位面low版,那就是炼丹师悖论,如果想要高大上的表述,那么它还有一个等价的表述方式——罗素悖论。

设性质p(x)表示“x不属于x”,现假设由性质p确定了一个类a——也就是说“a={x|x?x}”。那么问题是:a属于a是否成立?首先,若a属于a,则a是a的元素,那么a具有性质p,由性质p知a不属于a;其次,若a不属于a,也就是说a具有性质p,而a是由所有具有性质p的类组成的,所以a属于a。

这就是逻辑主义者无法绕过的难题:一件事物的整体是否也是它的一部分?

这个问题就造成了集合论的无法自洽。

规避这个悖论的方法也不是没有,王崎就知道两种。策梅罗-弗兰克尔公理系统【zf系统】和冯·诺伊曼-博内斯-哥德尔【nbg系统】。前者是限定操作集合的方法,后者则是实现集合与类的分离,这都是地球数学家在这个问题上做出的努力,或者说挣扎。

“集合论一日无法自洽,算君就一日不会认输——好吧我的承认,就算集合论自洽了对他对说也没有任何意义。对哦他而言这就是空洞的概念,是文字游戏。”王崎蜷在书房前,将算君的论文又读了一遍:“而且去证明集合论完备……我傻啊?明知道这条路走到黑就是不完备,还去证明这个?”

虽然算君的这篇综述论文,更多的是一种挑衅,一种宣告,但是作者毕竟是神州最伟大的算家之一,学术价值还是有的。

对王崎来说,这论文最大的价值还在与,它整理出了神州算学逻辑目前遇到的问题中最关键的几个。

他手里握着一只笔,却没有写字,而是用几根手指将它转了起来。

通过少量的逻辑就几乎可以将全部的算学推导出来——但在算君眼里,这根本就不是算学。在这种情况下,王崎无论做出什么成果都会被对方视为“更滑稽的把戏”。

好吧,在地球上,这种论战很容易就陷入无穷无尽的挑骨头以及人身攻击。数学没办法通过实验甩出一个无可辩驳的结果,论战到后期基本就是撕逼。比如,地球的数学史学家都很不客气的指责戴维·希尔伯特与鲁伊兹·布劳威尔都“缺乏将争斗局限在学术领域”的品格,这就是人参公鸡服用过量,虚不受补的后果。

“在神州,大家大概会用更加暴力的方式做过一场吧?”不知为何,王崎一想到万法门逍遥大战,居然隐隐有些兴奋。

这场论战的要义其实还是在于增加自己人的信心,然后釜底抽薪的在对方其他理论当中找漏洞,打击对方的学术地位,或者做与对方相似的研究,证明自己在算学上的造诣全面碾压对方,直到有一边信心消磨殆尽顶不住了主动投降,然后另一边就自动取得胜利。

当然,地球学术界还有一种略显无耻的方法——年轻人的那一方等年迈的那一方老死,让时间来“证明一切”。只不过在神州,这种诀窍就有些不实用了。

“如果单纯的攻击对方其他理论降低对方学术地位……嗯,也不是不能做,但是这完全就是在拉仇恨嘛。”

王崎很快就意识到自己身为穿越众的巨大优势。

他所学的数学和神州算学有着至少半个世纪的落差。他甚至不需要完全消化对方的理论,只需要将对方的理论和自己所学进行比对,然后找出其中细节上的不同,就可以很轻轻松松完成“挑刺”的任务。

但是这种破坏性工作很难取得学术上的声望,也很容易拉到仇恨。王崎还指望算主和冯老师顶在前面给自己当t,自己广积粮、缓称王呢。

至于全面碾压……还是算了吧。算君是史上最强的算家之一,疑似no.·1。全面碾压不仅难度大,这相当于要将他所学的数学体系独立推导一遍。据王崎保守估计,等这活做完了自己也就成就逍遥了。

想了一圈之后王崎悲哀的发现,其实自己要做的事情基本没有变化,做多也就是加快一下脚步。

双方的差距实在太大了。

“不过,正是因为这样,所以才有意思啊!”王崎站了起来活动活动身体,然后推开房门向神京驻地的书库走去。

他的眼中,除了战意之外,更多的,还有纯粹的光彩。

他学习过远超神州现有体系的数学,所以他知道,无论是算君还是算主,无论是离宗还是连宗,都会在这场论战中一败涂地,没有胜者。

哥德尔不完备定理固然会击碎算主那个完美而乐观的梦,但未来,算学的基础依旧会为逻辑所重铸。

因此,在这场论战当中,一时的输赢反倒不是重点。

在于世界上最伟大的算家同台竞技的时候,自己究竟能够取得怎样的辉煌呢?

————————————————————————————

在王崎不知道的地方,一场新的风暴正在酝酿。

万法门深处,算君将手上的专著扔在地上,笑道:“这么多年过去了,还是这些弯弯绕绕的东西——希先生,你们这些年莫不是打算修回古法去?”

算主希柏澈养气功夫再到位也被气得面色发暗。庞家莱不仅仅是在语言上嘲讽了他们,实际上就在刚才,他直接以绝强的算学功底将希柏澈身边的弟子都驱逐出万仙幻境。

这是*裸的宣战行为了。

“庞前辈还是风采依旧啊——和你那粗鄙的论文一个样。”

“呵呵。”庞家莱笑道:“我这次来,其实就是为了一件事。”

希柏澈不知对方葫芦里卖的什么药,疑惑的看着他。

“我这次回来,待不了太久。但是,我也不能放任你亵渎算道。”庞家莱眼中精光一闪:“所以,我们打个赌吧?”

“赌什么?”

“我输,我回去。你输,你替我去。”

——————————————————————————————————————————

希尔伯特先生和布劳威尔先生……这真的是个悲剧。布劳威尔先生脾气火爆,说话不经大脑,率先使用了人参公鸡。但他不幸的无意中骂了整个德国数学界之后,老好人的希尔伯特先生终于发飙了,联合了除爱因斯坦之外所有在哥廷根工作的学者点艹对方。他原先以为布劳威尔先生会很快复燃,然后他就可以心满意足的收了神通。可布劳威尔先生刚烈过头了——他气病了,并且指责希尔伯特脑子坏掉了……然后……然后……

这真是一个悲剧。

骑士书屋推荐阅读:伏妖诛邪录诸天:从共和国开始综武:授徒返还,开局收徒白狐脸剑仙诗在酒开局一支烟,我能穿梭万界重生自华山开始综武,我大秦四皇子,镇压六合!青云路之江湖恩仇大宇微尘一剑天鸣高武:猛练龙象般若功横推一切敌九二洛神赋谁说小书童拔不出君子剑的我穿成了修仙界稀有物种倚天之重建武当女妖当剑仙怎么这么熟练?穿越武侠,开局获得降龙十八掌师兄今天想开了吗吞灵剑主神雕杨过,弥补所有遗憾妖娆毒仙仙门倒爷女鬼升级系统:拥抱冷面BOSS都市最强仙狱仙子请自重弃宇宙灰雾之上:诡秘王座清都仙缘主神你别太离谱吴俊泉传万妖圣祖无上真仙(校对版)重生之都市修真者暴君的小皇后她超甜的符道长生路不朽凡人如来必须败轮回修真诀我取灭绝做老婆九天剑神校花的贴身黑猫八卦钥匙重生笑傲,开局获得逆天悟性科技传播系统大唐山海行仙路争锋综武:我有群芳谱,从黄蓉开始!我有一颗时空珠九仙图
骑士书屋搜藏榜:焚天武神邪王宠冥妻方尘的小说免费阅读雾隐六道参天玄人间魔道行洪荒:无敌从跳槽签到开始我,截教大师兄,加入聊天群大理国外传炮灰男配有点难女配来作妖了我在上古牵红线北凉王:从纨绔到天下第一炮灰才是真壕帅[穿书]众世风越沧海刀来启示录封神:我家师尊是火灵圣母明末大宗师正经的公子增加了不死神凰从凡人国君到仙道人皇十方乾坤武帝归来朝天一棍扇舞江湖纵横修仙之无敌傲世无双:绝色女仙要逆天尘炉刘阿生的江湖人生我抢了太上老君的炼丹炉我有一个不靠谱系统江湖神侠夫君头上有点绿开局全点防御,我震惊万人人在射雕,开局救下李莫愁带着数理化系统去修仙我慾成魔全职修仙高手穿越之女主只想佛系夺嫡太危险,我选择当魔教教主长生仙路嚼龙洪荒之万界妖帝踹下龙榻:朕的皇后太凶残重生国民男神:吾神万万岁神女傲九天雪山神锋传剑如夕传道从太极拳开始大道长歌
骑士书屋最新小说:拳动八荒独行异界斩轮回碧血潮生录综影视,美人有剑问道仙台问道三千界机枢劫仙尊明明超强却过分舔狗叶孤城问剑雪月城,我一步入天象仙渊我对政哥心换心,政哥跟我耍脑筋商海惊龙我家超市通仙界,开局奖励绝世仙子江湖半轮秋女帝绝情三千年,我修魔破她道心洪荒:我,最强佛祖,从西方捡词条开始!综武之染上了曹老板癖好武侠世界大忽悠,女侠都冲我来了我在诸天世界的长生之路悲催大叔的扯淡人生综武:签到成神,实力藏不住了综武:剑出华山修真与机甲的命运交织综武:我文弱书生,众夫人身怀绝武侠:从魔教护法开始诸天,从双雕开始都市医武双绝剑影权途半神的武林风云明末小道武林高手问道红尘惊雷破空雁翎破阵录神龙剑影侠客红颜传多子多福,从穿越段正淳开始携众美争霸业穿越后我成为了弃女开局获得武侠基建系统浮萍千里飞天下红衣侠女清霄剑北域兽灵穿越从金庸到洪荒锦衣卫,杀敌屠神,我的加点人生武侠召唤,开局创建逍遥阁穿越笑傲江湖开局成了一个小和尚综武:我欧阳克反派到底诗国剑踪侠影我在神捕司当差的那些年