從強計算主義到弱計算主義
——走出“萬物皆數”之夢*

齊磊磊

從強計算主義到弱計算主義
——走出“萬物皆數”之夢*

齊磊磊

畢達哥拉斯的“萬物皆數”、萊布尼茨的“一切思維都可以看做符號的形式操作”和圖靈提出的人機判據，都是強計算主義的先驅。當代計算主義表現為多種形式：邏輯計算主義和符號計算主義，從認知計算主義到生命計算主義再到宇宙計算主義，這些都是計算主義在本體論上的強綱領，或曰強計算主義。由于它們刪除語義只留下語法，刪除物質內容只留下純數學結構，因而存在諸多局限性。所以，從認識論的角度，應該采取一種弱計算主義的觀點。弱計算主義是要盡可能運用數學的方法來研究自然，但承認計算過程存在著某種不完備性、不可判定性和不可計算性的領域。

強計算主義 弱計算主義 計算 圖靈機 元胞自動機

復雜系統、計算機模擬方法與計算主義聯系在一起，是復雜系統科學哲學方法論研究的一個重要組成部分。但問題是，復雜系統最主要的特征是整體性，用計算機模擬方法研究復雜系統，其目的是用系統組成部分的相互作用模擬地推出其組成部分所沒有的突現的整體性特征，這是整體主義。而使用的手段，卻是某種計算主義方法，它切切實實地具有某種還原與分析等特征。這不是自相矛盾嗎？所以本文的主要意圖可以表達為這樣的問題：用計算機模擬方法研究復雜系統，這種綜合方法是如何能夠以及在什么程度上與具有還原論的計算主義協調在一起的？……