三十餘年前,我給學生上課的時候,曾想介紹一下我的科學邏輯理論,以加深對數學和邏輯基礎的理解。但他們不感興趣,我就不講了。大家客客氣氣。
當時基於簡單邏輯的傳統計算機應用正方興未艾。而我的那些研究是基礎理論,對學生來說太超前。所以我沒有去灌輸。但學術界需要有人去做超前的新科學基礎研究。
現在個人計算機和智能手機市場早已飽和並開始萎縮,產業界迫不及待地想讓人工智能帶動下一次浪潮。但對人類智力和複雜邏輯的結構和係統缺乏理解,產業界不知道很多人工智能技術的研究目標根本無法達到。這是缺少超前基礎研究的緣故。
我當時上課的班裏有一位學生叫沙燁。他後來做風險投資,並把威馬汽車當作硬核科技項目來投資。威馬汽車由一名非常成熟的汽車業成功經營者創立,做電動汽車,並跟百度在自動駕駛技術上合作。雖然有紅杉、百度等後續投資,現在威馬汽車仍命懸一線。
所謂硬核,往往是非常成熟、能讓人信賴的技術。但很多這樣的技術缺乏競爭力。電動汽車比較成熟,但自動駕駛並非如此。實際上自動駕駛標準的定義和測試方法都有問題,需要修改、糾正、製定新的規範和測試方法。自動駕駛SAE level 4是不可能達到的,而很多人認為SAE level 3沒有實際意義。
最近沙燁投資的追光動畫製作了史詩動畫片《長安三萬裏》,取得較大成功。沙燁也寫了影評《心中長安永存》,談到掙紮在道家的出世和儒家的入世之間的李白,並盛讚在人生中堅守的高適。我祝賀之餘,也寫點感想。
李白是華麗詩章的巔峰。但後人走下坡路。跟伊斯蘭黃金時代相比,唐宋缺少點東西。日後也沒有產生海什木這樣的學者。文韜武略和成熟硬核技術之外也不要忘了探索新科學。
理解儒家不能僅看高適這個片斷,還有更重要的場景和典型。不過現在沙燁是敏感人物,我不願談。如果以後時機合適,沙燁也願意聽,可以按風花雪月的方式談談。
這裏僅留一個問題:清朝有漢學和宋學之爭,為什麽沒有唐學?我寫過《學術和教育的演變:漢學、宋學、洋務運動、新文化運動、留學代工和芯片》一文,隻留線索,不給答案(https://blog.wenxuecity.com/myblog/80392/202304/3705.html)。
科學是入世的,但和人世間的紛爭保持一定距離。天理不是儒家倫理,而是自然規律。有無數種數學邏輯和哲學邏輯,但沒有一種適用於自然語言和科學。大學計算機係的課程缺乏必要的邏輯和科學基礎,缺乏正確表達智力結構和係統的理論和方法,無法適應智能時代的要求,急需變革。
所以,科學不僅僅是遠方的詩、未來的詩。