彷徨的海洋 [covid-2]

任何非平凡的程序性質，都不存在一個通用算法進行判定。

引言便是軟件分析的著名准則：Rice 定理。它和 Gödel 不完備定理一起，決定了計算問題的一個邊界。也是對災難富有啓示意義的預言。

Kevin Kelly 在《失控》中預言了新生物學和電子學帶來的偉大時代，堪稱未來主義的典範。而以之為代表性的，人們傾向于用一種幻想的色彩來規劃計算機科學的未來。“計算機將不止成為數學的附庸，它將成為生活革命的楔子。”

科學哲學的指導意義在這裏消弭了……如果說數字迷信是泡沫的根源，那麼計算機至上論就是泡沫的擴張原因。電子計算機的設計者並沒有預見到21世紀的計算機會扮演一個怎樣的角色，科技爆炸的速度遠遠超過了任何先驅的設想，這使得在計算的漏洞尚未修補的情況下，計算的高樓已然築成了。

如果一個系統有了一個錯誤和缺陷……那麼它便會不斷在這基礎上産生錯誤和缺陷。與數學訣別的計算機科學也抛棄了驗證的可能，即使是軟件分析只能做到近似和無限接近，即使是這個系統有自身未曾發現的阿克琉斯之踵……計算機工程就像是在彷徨的海洋上，面對臨近的風暴毫無防備的漁船。

為此，我誠摯地呼籲計算機哲學和作為純粹數學的計算科學的誕生，我們需要重新賦予計算機工具的定位，重新賦予計算系統形式化的內核，即使是亡羊補牢，卻也為時不晚。