吴美华
- 作品数：2 被引量：1H指数：1
- 供职机构：北京航空航天大学数学与系统科学学院更多>>
- 发文基金：中央级公益性科研院所基本科研业务费专项国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 逻辑推理机制中的分配律被引量：1
- 2016年
- 分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空间闭子空间刻画量子逻辑的不足,并深层次地分析了经典逻辑推理机制的内涵,利用正交模律取代经典逻辑中的分配律,可以实现量子逻辑的推理能力。最后,通过范畴理论中伴随函子的概念重新审视逻辑推理机制,使经典逻辑推理机制推广到更广泛的逻辑领域中。
- 史航王宝山吴美华
- 关键词：分配律
- 悖论的生成机制和解释
- 2018年
- 从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖论的新模型。结果表明,从新角度审视悖论不仅可以使悖论在某些新领域得到合理解释,而且能提供认识问题本质的新思维。
- 吴美华王拥军杨义川王潇扬
- 关键词：悖论量子力学
