从强计算主义到弱计算主义——走出“万物皆数”之梦  

作　　者：齐磊磊[1] 

机构地区：[1]华南理工大学马克思主义学院

出　　处：《学术研究》2016年第11期35-41,共7页Academic Research

基　　金：国家社科基金项目(14BZX025);教育部人文社会科学青年基金项目(13YJC720030);广州市哲学社会科学"十三五"规划课题(2016GZGJ57);中央高校基本科研业务费专项资金(2015GD02)的阶段性成果

摘　　要：毕达哥拉斯的"万物皆数"、莱布尼茨的"一切思维都可以看做符号的形式操作"和图灵提出的人机判据,都是强计算主义的先驱。当代计算主义表现为多种形式:逻辑计算主义和符号计算主义,从认知计算主义到生命计算主义再到宇宙计算主义,这些都是计算主义在本体论上的强纲领,或曰强计算主义。由于它们删除语义只留下语法,删除物质内容只留下纯数学结构,因而存在诸多局限性。所以,从认识论的角度,应该采取一种弱计算主义的观点。弱计算主义是要尽可能运用数学的方法来研究自然,但承认计算过程存在着某种不完备性、不可判定性和不可计算性的领域。

关 键 词：强计算主义 弱计算主义 计算 图灵机 元胞自动机 

分 类 号：B017[哲学宗教—哲学理论] N941[自然科学总论—系统科学]