第(3/3)頁

    咔……咔……

    地板無聲無息的裂了。

    轟。

    桌子粉碎。

    就連床到垮了。

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

    “不，只是我稍稍有些法力外泄而已?！蓖跗槿嗔巳嘧约旱哪槪忠粨]，所有碎片開始還原。

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

    王崎搖搖頭。

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

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

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

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

    王崎扶額。

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

    他剛剛想起來，地球上計算機科學的支柱，是直覺主義……

    直覺主義……

    居然是直覺主義啊!

    怎么說呢……

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

    嗯……

    這么想，也不是不對吧。

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

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

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

    計算機科學三大支柱之中的直覺主義、類型論……

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

    連宗的算理……

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

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


    第(3/3)頁