Logical Reflections on the Kochen-Specker Theorem
Logical Reflections on the Kochen-Specker Theorem
复制标题
Kochen-Specker 定理的逻辑思考
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
J. Bell
中科院分区：
文献类型：
--
作者：
J. Bell
Kochen和Specker（1967）在他们的著名论文中引入了部分布尔代数（pBa）的概念，并证明了量子理论中产生的某些（量子生成的）部分布尔代数不具有任何布尔代数的态射（我们在续集中称这种pBa是难处理的）。在这篇笔记中，我们开始讨论部分布尔代数范畴理论框架内1;我们的分析将导致什么似乎是一些新的配方的棘手的纯逻辑术语，和一个开放的问题。
IN THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa’s intractable in the sequel). In this note we begin by discussing partial Boolean algebras within a category-theoretic framework1; our analysis will result in what appear to be some new formulations of intractability in purely logical terms, and an open problem.