量子科技中心_量科网

该研究团队以连续逻辑的语言重构了物理学界著名的量子力学公理体系（狄拉克符号体系）。针对该公理体系的基础版本，研究人员证明其不仅具有标准连续模型，还存在着大规模有限近似模型——事实上该连续模型同构于有限模型的超积。通过分析对应狄拉克积分的连续逻辑量词，该工作发现在有限语境下其存在局部与全局两个版本，二者在高斯波函数情形下具有一致性。