Logic and C*-algebras

逻辑和 C* 代数

• 批准号: RGPIN-2017-05650
• 负责人: Farah, Ilijas
• 金额: $ 2.7万
• 依托单位: York University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=635300
• 关键词: Logic; algebras

This is an interdisciplinary proposal at the interface between C*-algebras and logic. A C*-algebra is an algebra of bounded linear operators on a complex Hilbert space closed under the formation of adjoints and the norm topology. Hilbert space is the infinite-dimensional modification of our standard three-dimensional space. The study of C*-algebras began in the

这是一个跨学科的建议在C*-代数和逻辑之间的接口。一个C*-代数是复希尔伯特空间上的有界线性算子的代数，它们在伴随和范数拓扑的形成下是闭的。希尔伯特空间是我们标准三维空间的无限维修改。对C*-代数的研究始于1970年，