拉普拉斯公式能够模拟一个既不可约的概率确定性宇宙吗？
摘要：任何在确定时间t(n)内在每个n元自然数序列上停机的经典图灵机T，确定了一种可以PA证明的公式，其标准解释是一个n元算术关系f(x1, ..., xn)，当且仅当T停机时成立。然后，我们可以递归地定义拉普拉斯的公式，以模拟一个不可简化地概率性的确定性量子宇宙的状态。
作者：Bhupinder Singh Anand
论文ID：math/0307104
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23