基础量子力学中的可计算性
摘要：关于Hilbert空间和Hilbert lattice上的量子力学基本概念的研究 在这篇论文中，我们将展示关于这些数据结构的可计算性，其中包括状态和可观测量。而不是明确地展示这些数据类型的可接受表示，我们将展示它们存在于等同于可接受表示和可连续实现映射之间的类别$mathbf{QCB}\_0$，并证明了冯·诺伊曼谱定理的有效版本。
作者：Eike Neumann, Martin Pape and Thomas Streicher
论文ID：1610.09209
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22