认知的计算解释与实现——基于图灵、普特南、塞尔的讨论

摘要

具体认知过程是如何实现抽象计算的?图灵提出的算法机械化是认知计算的典型实例,普特南进一步将其总结为简单映射解释,但是又通过平凡性定理反驳了简单映射解释的有效性,导致了弱泛计算主义的结论。塞尔提出的平凡性论证认为解释是相对于认知者的,所以会导致强泛计算主义的结论。这对认知过程的计算解释提出了严重的挑战。