“无监督定理的可形式化证明：对意识物理主义理论可行性的对角限制”
摘要：理论的无监督证明限制了物理主义理论提供人类意识全面解释的能力。该定理的证明很难形式化，因为它既依赖命题的真实性又依赖认知可能性的概念。本文概述了一个可以形式化证明的证明，其中认知推断是用已有的数学形式化工具——推断设备（Wolpert，2008）表达的。最终的证明明确表明，任何描述自我意识、智能系统的物理主义理论必须是内部不一致的。
作者：Cathy M Reason
论文ID：2307.10178
分类：Neurons and Cognition
分类简称：q-bio.NC
提交时间：2023-07-21