探讨人工与自然计算中表征转换的本质差异及其对意识的启示。
Representation and Interpretation in Artificial and Natural Computing
- 区分算法与非算法计算模式,提出自然计算需同一主体完成表征变换与解释。
- 设想一个可超越图灵机能力的计算幽灵,挑战邱奇-图灵论题的普适性。
- 若自然计算存在,其模式或为意识体验的因果机制,否则心智非计算过程。
人工计算设备通过客观过程转换表征,由人类主观解读,机器与解释者是不同实体;而在假设的自然计算中,表征变换与解释由同一主体完成。本文将转换表征的方法称为‘计算模式’,数字计算机采用的是算法模式,但还有量子计算、非传统计算等多种模式,且表征形式与模式集合是开放的。一种不同于图灵的计算模式可能实现超越图灵机的能力,但此类模式彼此不可比较。要超越算法模式,必须能计算无有效算法的函数,此时邱奇-图灵论题将不成立。本文提出一个思想实验:假设有计算幽灵使用此类模式实现此效果。若存在自然计算,则其计算模式的属性可能构成现象意识的因果基础;若该模式不存在,则自然计算不存在,心智亦非计算过程。
原文摘要 · Abstract (English)
Artificial computing machinery transforms representations through an objective process, to be interpreted subjectively by humans, so the machine and the interpreter are different entities, but in the putative natural computing both processes are performed by the same agent. The method or process that transforms a representation is called here the mode of computing. The mode used by digital computers is the algorithmic one, but there are others, such as quantum computers and diverse forms of non-conventional computing, and there is an open-ended set of representational formats and modes that could be used in artificial and natural computing. A mode based on a notion of computing different from Turing's may perform feats beyond what the Turing Machine does but the modes would not be of the same kind and could not be compared. For a mode of computing to be more powerful than the algorithmic one, it ought to compute functions lacking an effective algorithm, and Church Thesis would not hold. Here, a thought experiment including a computational demon using a hypothetical mode for such an effect is presented. If there is natural computing, there is a mode of natural computing whose properties may be causal to the phenomenological experience. Discovering it would come with solving the hard problem of consciousness; but if it turns out that such a mode does not exist, there is no such thing as natural computing, and the mind is not a computational process.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。