作　　者： ;

机构地区： 华南理工大学

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

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

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

分 类 号： [B017 N941]

领　　域： [] []