存在一种人类认为的可计算系统与图灵计算不等价。