paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Logical paradoxes in quantum computation

量子计算中的逻辑悖论
LICS Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science2018匹配度 1/10 · 该论文讨论量子计算能力来源、语境性与 magic states 的逻辑悖论，属于量子基础/量子计算理论，与用户关注的静态分析、Agentic 程序、LLM 与程序分析交叉、浮点或贝叶斯程序分析等方向几乎无关。虽然标签含“量子与概率编程”，但摘要未涉及程序分析或 PL/AI 方法。引用 1 inbox
Nadish de Silva
量子与概率编程逻辑与自动机
crossref: 2026-09-12

AI 速览

一句话：从逻辑悖论角度讨论量子计算中语境性、magic states 与量子计算能力来源之间的联系。

本文关注量子计算能力的精确来源这一未决问题。摘要指出，语境性——对经典物理实在概念的否定——是解释量子计算能力的一个有前景假设，并以 Howard 等人的结果为例：实际实现量子计算所需的 magic states 是语境性的。论文以“量子计算中的逻辑悖论”为题，将逻辑悖论与量子计算中的语境性及量子优势联系起来进行讨论。摘要未给出形式化框架、具体定理或实验评估，因此其核心论证围绕语境性与 magic states 的必要性展开，属于量子计算基础层面的理论探讨。

问题
量子理论中究竟哪些特征赋予量子计算能力尚不清楚；语境性是否是关键，以及它如何与逻辑悖论关联，是本文关注的问题。
方法
从逻辑悖论视角讨论量子计算中的语境性，并以 Howard 等人关于实现量子计算所需 magic states 具有语境性的结果作为核心线索。
评估
摘要未描述实验或形式化评估；论述主要基于已有理论结果，尤其是 magic states 的语境性。
原文摘要（Abstract）

The precise features of quantum theory enabling quantum computational power are unclear. Contextuality---the denial of a notion of classical physical reality---has emerged as a promising hypothesis: e.g. Howard et al. showed that the magic states needed to practically achieve quantum computation are contextual.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot4327,
  title = {Logical paradoxes in quantum computation},
  author = {Nadish de Silva},
  booktitle = {LICS},
  year = {2018},
  doi = {10.1145/3209108.3209123}
}