關燈 巨大 直達底部
親,雙擊螢幕即可自動滾動
第1075部分

年之前也算是陽神閣和萬法門的交叉部分了。

只不過,現代算器發展之後,這部分的研究就不那麼重要了。人們要的不是“像人的算器”,而是“具有特定功能的算器”,或者“像算器的算器”。倒還有人在研究它,但研究者還是陽神閣的居多。

“算君的設計……你還真別說,從這一點上還蠻復古的。”王崎點了點頭。

“由於這個,我抓住了算君的思路……所以也看穿了一點。他使用的‘語言’,也是自成一體的。”陳由嘉點了點頭。她一輩子都麼說得這麼快過。她繼續指了指馮落衣的論文:“良基集的超窮總體……這是一個思路……這個……”

最後陳由嘉也沒有找到合適的詞,只是說:“這算是一邊。”

然後,她又說道:“你的形式語言學,算君自成一體的語言,然後那個……現有算器理論,是另一邊。”

“在馮前輩、海霆前輩的邏輯基礎上……我完成了……形式語言學那樣,對‘語言’的定義、分類……”

陳由嘉舒了口氣,然後繼續寫下去。

王崎卻突然石化了。

“嗯,雖然說……有點懷疑,牡丹石,不會就是‘那個’吧……”

王崎喃喃自語。

很快,陳由嘉就寫好了。然後,她才安心的倒在床上。

“我勒個去,不是放下最後一點執念然後昇天了吧?”王崎急忙拍了拍陳由嘉的臉。

然後被一巴掌呼開。

“嗯,還好只是累了。”王崎點了點頭,然後看了看陳由嘉寫下的東西。

咔……咔……

地板無聲無息的裂了。

轟。

桌子粉碎。

就連床到垮了。

結果,片刻之後來探望陳由嘉的趙清潭被嚇到了:“你們兩個,玩得這麼粗暴嗎……不是我說,師妹剛剛心力耗竭……”

“不,只是我稍稍有些法力外洩而已。”王崎揉了揉自己的臉,手一揮,所有碎片開始還原。

而這個過程當中,陳由嘉還昏睡著。

王崎搖搖頭。

“你怎麼了?”趙清潭很是好奇。

“如果我說,算器領域,註定是連宗的天下,你信不信?”王崎沒頭沒腦的問了一句。

趙清潭打了個哆嗦:“算君真的如此厲害?”

“不,只是我一時被震驚了,胡言亂語而已。”

王崎扶額。

就在剛才,他突然意識到,自己好像產生了什麼根本性的錯誤認知——也就是一重知見障。

他剛剛想起來,地球上電腦科學的支柱,是直覺主義……

直覺主義……

居然是直覺主義啊!

怎麼說呢……

由於這個世界,蒼生國手馮落衣一直都在,機老圖靈一直都在,算器理論算是蓬勃發展了。他也下意識的就認為,這個領域就是離宗的天下。

嗯……

這麼想,也不是不對吧。

畢竟,馮·諾依曼、阿蘭·圖靈等計算機研究先驅的同位體,在這個世界,確實都是旗幟鮮明的離宗算家。

但是,地球計算機理論的後續發展,跟這個世界,完全不是一路。

除了誕生得更晚,只能說是“偏向連宗”的逼近論外……

電腦科學三大支柱之中的直覺主義、型別論……

按照這個世界的分法,全部都是……

連宗的算理……

沒錯,雖然形式主義和直覺主義水火不容,而計算機是形式主義數學家鼓搗出來的。

但是,後來計算機發展,卻是仰仗了亨利·龐加萊的一干徒子徒孫!