基于正模格与量子逻辑的计算语言β的非分配性
摘要：基于普适计算系统中表现出演化历史的变换过程（生成规则），可以得出这样的论断：具有无理数分量的特征向量（或特征值）的运算符构成了一类具有准周期结构的函数类$ Omega $，并且类$ Omega $表现出了漫长的演化历史的证据。为了通过考察执行生活活动或发达智能的智能体的物理系统来实证这一定理，提出了通用机器模型C和计算语言$ eta $的基本框架作为用于一般计算方法的模型，这些方法允许从生成结果中得到具有深层算法复杂性的变换过程（生成规则）。C和$ eta $在由在该事件-状态系统中，基于子系统之间的相互关系表示的命题元素的指数组合构成的系统上进行并行计算。计算语言的逻辑结构依赖于希尔伯特空间或正交模态格的非自洽性，允许对同时命题的操纵和演绎。在这种逻辑局部结构中，暗示某些结果的命题不具有唯一确定性。
作者：Kazuki Otsuka
论文ID：2203.12385
分类：Other Computer Science
分类简称：cs.OH
提交时间：2023-04-04