.png){kind=icon}
返回
Computational individuation: Isomorphism, not indeterminacy
.png){kind=icon}
PRE
AI
DOI：10.1093/analys/anaf003.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
一对关于物理逻辑门不确定性的论证在关于计算个体化（computational individuation）的辩论中扮演着重要角色。这些论证旨在表明，即使是简单的计算也需要外在的、情境性因素来进行区分。其中一个论证存在明显的缺陷。对这一缺陷的反思表明，辩论双方（在很大程度上是默认地）都持有以下假设：计算应当从函数理论（function-theoretic）的角度来理解。我描述了一种替代性的结构理论（structure-theoretic）视角，用以理解计算所实例化的内在数学结构。我证明，在结构理论的解释下，不存在不确定性；相反，任何逻辑门都属于一个在同构（isomorphism）下完全确定的等价类。同时，结构理论解释的一些独立优势也值得注意。
Keyword:
computation
implementation
indeterminacy
mathematical structure
group theory
