基于连续模型理论的量子力学公理

本文旨在用连续逻辑的语言重构物理学家使用的量子力学非正式公理体系(狄拉克算法)。该研究团队注意到塔尔斯基的柱状代数概念(作为一阶逻辑代数化工具)与希尔伯特空间之间的类比关系——后者可为物理学的连续逻辑实现相同目的。

量科快讯