摘要翻译：
本文用量子元语言研究了Penrose在G\'Odel第一不完备性定理的基础上推测的思维的非算法方面的存在性。我们认为，除了可以用可计算的逻辑语言形式化的人类普通思维之外，还有另一种重要的人类思维，即图灵不可计算思维。这就是methatought,思考普通思想的过程。元思维可以被形式化为元语言，它谈论并控制着普通思维的逻辑语言。普通思维有两种计算模式，量子模式和经典模式，后者是由前者的退相干产生的。为了控制量子模式的逻辑语言，需要引入量子元语言，而这又需要Tarski约定T的量子版本。
---
英文标题：
《The non-algorithmic side of the mind》
---
作者：
Paola Zizzi
---
最新提交年份：
2012
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Physics        物理学
二级分类：Quantum Physics        量子物理学
分类描述：Description coming soon
描述即将到来
--

---
英文摘要：
  The existence of a non-algorithmic side of the mind, conjectured by Penrose on the basis of G\"odel's first incompleteness theorem, is investigated here in terms of a quantum metalanguage. We suggest that, besides human ordinary thought, which can be formalized in a computable, logical language, there is another important kind of human thought, which is Turing-non-computable. This is methatought, the process of thinking about ordinary thought. Metathought can be formalized as a metalanguage, which speaks about and controls the logical language of ordinary thought. Ordinary thought has two computational modes, the quantum mode and the classical mode, the latter deriving from decoherence of the former. In order to control the logical language of the quantum mode, one needs to introduce a quantum metalanguage, which in turn requires a quantum version of Tarski Convention T.
---
PDF链接：
https://arxiv.org/pdf/1205.1820