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