年之前也算是陽神閣和萬法門的交叉部分了。
只不過,現代算器發展之後,這部分的研究就不那麼重要了。人們要的不是“像人的算器”,而是“具有特定功能的算器”,或者“像算器的算器”。倒還有人在研究它,但研究者還是陽神閣的居多。
“算君的設計……你還真別說,從這一點上還蠻復古的。”王崎點了點頭。
“由於這個,我抓住了算君的思路……所以也看穿了一點。他使用的‘語言’,也是自成一體的。”陳由嘉點了點頭。她一輩子都麼說得這麼快過。她繼續指了指馮落衣的論文:“良基集的超窮總體……這是一個思路……這個……”
最後陳由嘉也沒有找到合適的詞,只是說:“這算是一邊。”
然後,她又說道:“你的形式語言學,算君自成一體的語言,然後那個……現有算器理論,是另一邊。”
“在馮前輩、海霆前輩的邏輯基礎上……我完成了……形式語言學那樣,對‘語言’的定義、分類……”
陳由嘉舒了口氣,然後繼續寫下去。
王崎卻突然石化了。
“嗯,雖然說……有點懷疑,牡丹石,不會就是‘那個’吧……”
王崎喃喃自語。
很快,陳由嘉就寫好了。然後,她才安心的倒在床上。
“我勒個去,不是放下最後一點執念然後昇天了吧?”王崎急忙拍了拍陳由嘉的臉。
然後被一巴掌呼開。
“嗯,還好只是累了。”王崎點了點頭,然後看了看陳由嘉寫下的東西。
咔……咔……
地板無聲無息的裂了。
轟。
桌子粉碎。
就連床到垮了。
結果,片刻之後來探望陳由嘉的趙清潭被嚇到了:“你們兩個,玩得這麼粗暴嗎……不是我說,師妹剛剛心力耗竭……”
“不,只是我稍稍有些法力外洩而已。”王崎揉了揉自己的臉,手一揮,所有碎片開始還原。
而這個過程當中,陳由嘉還昏睡著。
王崎搖搖頭。
“你怎麼了?”趙清潭很是好奇。
“如果我說,算器領域,註定是連宗的天下,你信不信?”王崎沒頭沒腦的問了一句。
趙清潭打了個哆嗦:“算君真的如此厲害?”
“不,只是我一時被震驚了,胡言亂語而已。”
王崎扶額。
就在剛才,他突然意識到,自己好像產生了什麼根本性的錯誤認知——也就是一重知見障。
他剛剛想起來,地球上電腦科學的支柱,是直覺主義……
直覺主義……
居然是直覺主義啊!
怎麼說呢……
由於這個世界,蒼生國手馮落衣一直都在,機老圖靈一直都在,算器理論算是蓬勃發展了。他也下意識的就認為,這個領域就是離宗的天下。
嗯……
這麼想,也不是不對吧。
畢竟,馮·諾依曼、阿蘭·圖靈等計算機研究先驅的同位體,在這個世界,確實都是旗幟鮮明的離宗算家。
但是,地球計算機理論的後續發展,跟這個世界,完全不是一路。
除了誕生得更晚,只能說是“偏向連宗”的逼近論外……
電腦科學三大支柱之中的直覺主義、型別論……
按照這個世界的分法,全部都是……
連宗的算理……
沒錯,雖然形式主義和直覺主義水火不容,而計算機是形式主義數學家鼓搗出來的。
但是,後來計算機發展,卻是仰仗了亨利·龐加萊的一干徒子徒孫!