第1278节（1 / 2）

最后陈由嘉也没有找到合适的词，只是说：“这算是一边。”

然后，她又说道：“你的形式语言学，算君自成一体的语言，然后那个……现有算器理论，是另一边。”

“在冯前辈、海霆前辈的逻辑基础上……我完成了……形式语言学那样，对‘语言’的定义、分类……”

陈由嘉舒了口气，然后继续写下去。

王崎却突然石化了。

“嗯，虽然说……有点怀疑，牡丹石，不会就是‘那个’吧……”

王崎喃喃自语。

很快，陈由嘉就写好了。然后，她才安心的倒在床上。

“我勒个去，不是放下最后一点执念然后升天了吧？”王崎急忙拍了拍陈由嘉的脸。

然后被一巴掌呼开。

“嗯，还好只是累了。”王崎点了点头，然后看了看陈由嘉写下的东西。

咔……咔……

地板无声无息的裂了。

轰。

桌子粉碎。

就连床到垮了。

结果，片刻之后来探望陈由嘉的赵清潭被吓到了：“你们两个，玩得这么粗暴吗……不是我说，师妹刚刚心力耗竭……”

“不，只是我稍稍有些法力外泄而已。”王崎揉了揉自己的脸，手一挥，所有碎片开始还原。

而这个过程当中，陈由嘉还昏睡着。

王崎摇摇头。

“你怎么了？”赵清潭很是好奇。

“如果我说，算器领域，注定是连宗的天下，你信不信？”王崎没头没脑的问了一句。

赵清潭打了个哆嗦：“算君真的如此厉害？”

“不，只是我一时被震惊了，胡言乱语而已。”

王崎扶额。

就在刚才，他突然意识到，自己好像产生了什么根本性的错误认知——也就是一重知见障。

他刚刚想起来，地球上计算机科学的支柱，是直觉主义……

直觉主义……

居然是直觉主义啊！

怎么说呢……

由于这个世界，苍生国手冯落衣一直都在，机老图灵一直都在，算器理论算是蓬勃发展了。他也下意识的就认为，这个领域就是离宗的天下。

嗯……

这么想，也不是不对吧。

毕竟，冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体，在这个世界，确实都是旗帜鲜明的离宗算家。

但是，地球计算机理论的后续发展，跟这个世界，完全不是一路。

除了诞生得更晚，只能说是“偏向连宗”的逼近论外……

计算机科学三大支柱之中的直觉主义、类型论……

按照这个世界的分法，全部都是……

连宗的算理……

没错，虽然形式主义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。

但是，后来计算机发展，却是仰仗了亨利·庞加莱的一干徒子徒孙！

第九十七章 灵气宇宙技术史的风格

王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”

王崎如此说道。

怎么说呢……

地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。

但是，打完之后的故事，就不是那么脍炙人口了。

往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。

至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。