宇宙逻辑:计算模型

我们开始针对宇宙学中的度量问题或我们称之为宇宙逻辑的逻辑推理进行正式研究。我们描述了适用于例如离散宇宙系统分析的宇宙逻辑的简单计算模型。该构造基于AlanTuring开发的特定计算模型，并具有Turing机器描述的宇宙观测器（CO），宇宙度量（CM）和宇宙对称性（CS）。CO机器始终以空白带开头，而CM机器则以CO的图灵编号（也称为描述编号或Gödel编号）作为输入并输出相应的概率。类似地，CS机器将CO的图灵数作为输入，但是如果CO机器处于相同的等效类中，则输出1，否则输出0。我们认为CS机器比CM机器更基础，因此应该用作构建CM机器的基础。我们证明了CS机器的不可计算性，该