發(fā)布時間：2022-02-14 16:13

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

【文章來源】：學術研究. 2016,(11)北大核心CSSCI

【文章頁數】：7 頁

【文章目錄】：
一、古典計算主義
二、當代計算主義
三、元胞自動機計算主義
四、弱計算主義



本文編號：3624871