然后被一巴掌呼开。
“嗯,还好只是累了。”王崎点了点头,然后看了看陈由嘉写下的东西。
咔……咔……
地板无声无息的裂了。
轰。
桌子粉碎。
就连床到垮了。
结果,片刻之后来探望陈由嘉的赵清潭被吓到了:“你们两个,玩得这么粗暴吗……不是我说,师妹刚刚心力耗竭……”
“不,只是我稍稍有些法力外泄而已。”王崎揉了揉自己的脸,手一挥,所有碎片开始还原。
而这个过程当中,陈由嘉还昏睡着。
王崎摇摇头。
“你怎么了?”赵清潭很是好奇。
“如果我说,算器领域,注定是连宗的天下,你信不信?”王崎没头没脑的问了一句。
赵清潭打了个哆嗦:“算君真的如此厉害?”
“不,只是我一时被震惊了,胡言乱语而已。”
王崎扶额。
就在刚才,他突然意识到,自己好像产生了什么根本性的错误认知——也就是一重知见障。
他刚刚想起来,地球上计算机科学的支柱,是直觉主义……
直觉主义……
居然是直觉主义啊!
怎么说呢……
由于这个世界,苍生国手冯落衣一直都在,机老图灵一直都在,算器理论算是蓬勃发展了。他也下意识的就认为,这个领域就是离宗的天下。
嗯……
这么想,也不是不对吧。
毕竟,冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体,在这个世界,确实都是旗帜鲜明的离宗算家。
但是,地球计算机理论的后续发展,跟这个世界,完全不是一路。
除了诞生得更晚,只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法,全部都是……
连宗的算理……
没错,虽然形式主义和直觉主义水火不容,而计算机是形式主义数学家鼓捣出来的。
但是,后来计算机发展,却是仰仗了亨利·庞加莱的一干徒子徒孙!