盘龙小说网

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

第一百零一章 爆发(第2页)

他甚至都在形式语言学的序言之中表示,这种争论,纯粹就是自然语言混沌不堪,非得分出“发现”和“发明”两个完全不同的概念。

但不管怎么说,在算学领域,一个不可证明也不可证伪的理论,是允许存在的。

但它就好像是神学一样,在自己的逻辑里自成一体。

就算想要将之摧毁,也很难下手。

对于普通人来说,这就是一个“不知道到底有什么”的未知区域。

但冯落衣巧就巧在,他一开始,就直接证明了另一点。

无限公理是安全的。

“不知道里面有什么”,但是是“安全的”。

这也从侧面说明了,连宗对“无穷”概念的批判,实在是没有什么意义。

而陈由嘉的论文,也是紧随其后放出了。

这一下,却让所有离宗修士难受了一阵。

甚至有人当场大骂:“叛徒!”

离宗叛徒!

在过去的时光里,几乎所有修士,都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。

而现在,身为离宗修士的陈由嘉,发表了带有明显连宗倾向的论文。

这又让他们怎么不怒?怎能不怒?

但比他们更怒的,却是千机阁的众多基层弟子。

类型论直接删掉了图灵完备,删掉了循环。

图灵真人本人倒是觉得挺有趣的,甚至将之当做一个课题布置离了下去。

但千机阁弟子发现这一点之后,就立刻沸腾了。

对于他们来说,没有图灵完备、没有循环的算器体系,是不可想象的。

他们感觉自己的圣域受到了侵犯。

过去的“自由飞翔”,如今就变成了“带着镣铐跳舞”。

陈由嘉“离宗叛徒”的呼声,也在千机阁闹得沸反盈天。

对此,图灵真人也只有苦笑:“这却是……好似是我对不住那姑娘了。”

冯落衣摇了摇头:“由得他们闹去。对于这些无心算理的家伙来说,那丫头的理论有怎么的作用,他们未来总会知道的。”

“你是说将‘类型论’纳入‘图灵完备’吗?”图灵真人笑了:“涡这几天想过了,或许会产生恶性不谐的。”

“但王崎跟我说,这却能极大的降低算器之术的门槛。”冯落衣说道。

由于有了万象卦文的推广,他对自己弟子在这方面的眼光,还是信任的。

“就怕这两不沾的,关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言,是稍有错处,就会直接停机,算得上安全。而往日所用的法子虽然会输出未知结果,然是由于修士对这一领域已经熟稔,所以也很少在关键时刻掉链子。

但若是真的两者结合……

打到关键的时候算器宕机了怎么办?

“若是主法器自然另说,但是修炼的时候,确实有优势的。”冯落衣说道。

图灵真人突然笑道:“月寒兄如今倒是一副事不关己的样子。你难道不知道吗?这一股‘离宗叛徒’的风,也吹到你身上了吧?”

热门小说推荐
拜师四目道长

拜师四目道长

四目道长徒儿,赶尸之道,为师已经全传给你了!齐漱溟徐君明,我蜀山与你势不两立!孙悟空僵尸叔叔聊斋蜀山剑侠传西游记封神榜,错过‘九叔’,没拿到主角模板的徐君明流浪在诸天世界!...

乞丐王

乞丐王

那一天,我亲眼看到歹徒绑架了我妈故事,从此开始!某日,某市,某街道,女人独自彷徨的走着,男人突然从小巷子窜了出来,拦住了女人的路!站住,...

一术镇天

一术镇天

传闻之中,九天之上,通天仙路,无上仙门,一踏而过,便可永生。然而修仙者为求永生,前赴后继,为何又成为苍天眼中的毒瘤?人有法术,仙有仙术,天亦有天术。天术镇压一切,乃万术之祖,世间万法莫不始于天术。苏夜,一个穿越而来差点被当做祭品献祭给九天仙神的卑微生灵,又将怎样踏遍万仙,一破仙门?各位书友要是觉得一术镇天还不错...

吴限宇宙

吴限宇宙

在任意世界中历险,在时空中游走!只有你想不到,没有他做不到!亲情!友情!阴谋!陷阱!一切尽在,吴限宇宙!已有完本潜鼠勿用!质量保证,大家可以安心阅读!...

颤抖吧昏君

颤抖吧昏君

太后废长立幼是哀家做得最错的一件事,昏君,哀家要废了你。摄政王错失皇位,尽心尽力辅佐换得挫骨扬灰,昏君,我要篡位做明君。顾娴昏君,你无情,你花心,我要嫁你叔叔,做你婶娘。温柔自带锦鲤体质,集万千宠爱,吸干昏君运道。昏君朕太难了。温暖战地记者现场吃瓜。总结最落魄的我遇见最好的你,若你求一世安稳,那这盛世...

哥几个,走着

哥几个,走着

年少轻狂,只为追求理想。豪情万丈,只为缔造辉煌。携手并进,誓言创造奇迹。不离不弃,患难生死与共。天涯海角,相拥天长地久。无毒不丈夫。有志纵天行。...