Dirac - von Neumann 公理在连续模型理论中的应用
逻辑
2025-12-23 v2 量子物理
摘要
我们将已知的量子力学 axiom 系统（由物理学家使用的 Dirac 微积分）重新表述为连续逻辑的语言。对于该公理系统的基本版本，我们证明了除了标准连续模型外，公理还具有大规模的近似有限模型，事实上，连续模型同构于有限模型的超积。我们分析了对应 Dirac 积分的连续逻辑量词，显示在有限情境下，它有两个版本：局部版和全局版，这两个版本在高斯波函数上相互一致。
引用
@article{arxiv.2511.01900,
title = {Dirac - von Neumann axioms in the setting of Continuous Model Theory},
author = {Boris Zilber},
journal= {arXiv preprint arXiv:2511.01900},
year = {2025}
}