摘要
毕达哥拉斯的"万物皆数"、莱布尼茨的"一切思维都可以看做符号的形式操作"和图灵提出的人机判据,都是强计算主义的先驱。当代计算主义表现为多种形式:逻辑计算主义和符号计算主义,从认知计算主义到生命计算主义再到宇宙计算主义,这些都是计算主义在本体论上的强纲领,或曰强计算主义。由于它们删除语义只留下语法,删除物质内容只留下纯数学结构,因而存在诸多局限性。所以,从认识论的角度,应该采取一种弱计算主义的观点。弱计算主义是要尽可能运用数学的方法来研究自然,但承认计算过程存在着某种不完备性、不可判定性和不可计算性的领域。
出处
《学术研究》
CSSCI
北大核心
2016年第11期35-41,共7页
Academic Research
基金
国家社科基金项目(14BZX025)
教育部人文社会科学青年基金项目(13YJC720030)
广州市哲学社会科学"十三五"规划课题(2016GZGJ57)
中央高校基本科研业务费专项资金(2015GD02)的阶段性成果
