心灵即计算：哲学，逻辑和实践

论证心灵是可计算的，因而为计算作为一门学科提供更丰富的内涵和实例，使计算不在局限于通常的自然过程而进入到人类心理领域。在哲学上，论述心灵哲学中的物理主义，采用最小立场即以依附（supervene）来解释心灵现象何以是物理的；在逻辑上，我们首次以church-turing-deutsch原理为基础来使church-turing论题与实际的物理系统联系起来，从而使本文的结论与量子计算相适合，也使可计算概念与物理学理论相协调，而这正是由church-turing论题所定义的可计算概念所没有的地方。还讨论了认知逻