排中律的排除与量子力学
量子物理
2023-03-29 v1 数学物理
math.MP
摘要
在本文中，我们讨论了在非构造数学（NCM）中使用布尔逻辑作为量子力学的数学基础时所出现的局限。这些局限在使用构造数学（CM）及其模型之一的 Topos 理论时自然消失。该推理思路与近期关于量子逻辑的理论工作一致，并聚焦于排中律的关键作用，这将在我们的讨论中更详细地阐述。
引用
@article{arxiv.2303.16076,
title = {Exclusion of Excluded Middle Law and Quantum Mechanics},
author = {Maziar Esfahanian and Lodewijk Arntzen},
journal= {arXiv preprint arXiv:2303.16076},
year = {2023}
}