数学逻辑概念在量子力学中的应用：一个实例

量子力学中通过乘积态表示数的方式可以推广到通过乘积态表示语言中的词和词序列。这可用于研究生成具有意义的文本的量子系统。本文研究了一个基于斯穆里安所描述例子的简单系统。基于某些词态的一种路径解释，我们给出了真、有效性、一致性和完备性的定义，并研究了它们的性质。我们还证明了词态的意义（如果有的话）与生成这些态的过程的算法复杂性之间的关系必定相当复杂或不存在。