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