算器的算器”。倒还有人在研究它,但研究者还是阳神阁的居多。
“算君的设计……你还真别说,从这一点上还蛮复古的。”王崎点了点头。
“由于这个,我抓住了算君的思路……所以也看穿了一点。他使用的‘语言’,也是自成一体的。”陈由嘉点了点头。她一辈子都么说得这么快过。她继续指了指冯落衣的论文:“良基集的超穷总体……这是一个思路……这个……”
最后陈由嘉也没有找到合适的词,只是说:“这算是一边。”
然后,她又说道:“你的形式语言学,算君自成一体的语言,然后那个……现有算器理论,是另一边。”
“在冯前辈、海霆前辈的逻辑基础上……我完成了……形式语言学那样,对‘语言’的定义、分类……”
陈由嘉舒了口气,然后继续写下去。
王崎却突然石化了。
“嗯,虽然说……有点怀疑,牡丹石,不会就是‘那个’吧……”
王崎喃喃自语。
很快,陈由嘉就写好了。然后,她才安心的倒在床上。
“我勒个去,不是放下最后一点执念然后升天了吧?”王崎急忙拍了拍陈由嘉的脸。
然后被一巴掌呼开。
“嗯,还好只是累了。”王崎点了点头,然后看了看陈由嘉写下的东西。
咔……咔……
地板无声无息的裂了。
轰。
桌子粉碎。
就连床到垮了。
结果,片刻之后来探望陈由嘉的赵清潭被吓到了:“你们两个,玩得这么粗暴吗……不是我说,师妹刚刚心力耗竭……”
“不,只是我稍稍有些法力外泄而已。”王崎揉了揉自己的脸,手一挥,所有碎片开始还原。
而这个过程当中,陈由嘉还昏睡着。
王崎摇摇头。
“你怎么了?”赵清潭很是好奇。
“如果我说,算器领域,注定是连宗的天下,你信不信?”王崎没头没脑的问了一句。
赵清潭打了个哆嗦:“算君真的如此厉害?”
“不,只是我一时被震惊了,胡言乱语而已。”
王崎扶额。
就在刚才,他突然意识到,自己好像产生了什么根本性的错误认知——也就是一重知见障。
他刚刚想起来,地球上计算机科学的支柱,是直觉主义……
直觉主义……
居然是直觉主义啊!
怎么说呢……
由于这个世界,苍生国手冯落衣一直都在,机老图灵一直都在,算器理论算是蓬勃发展了。他也下意识的就认为,这个领域就是离宗的天下。
嗯……
这么想,也不是不对吧。
毕竟,冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体,在这个世界,确实都是旗帜鲜明的离宗算家。
但是,地球计算机理论的后续发展,跟这个世界,完全不是一路。
除了诞生得更晚,只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法,全部都是……
连宗的算理……
没错,虽然形式主义和直觉主义水火不容,而计算机是形式主义数学家鼓捣出来的。
但是,后来计算机发展,却是仰仗了亨利·庞加莱的一干徒子徒孙!
请收藏:https://m.ssfuc.org
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)