拉普拉斯公式能模拟一个具有不可约概率性的确定性宇宙吗？
Can Laplace's formula model a deterministic universe that is irreducibly probabilistic?
摘要：
如果我们假设任何经典图灵机T，它在确定的时间t（n）内对作为输入的每个n元自然数序列停止，确定PA可证明公式，其标准解释是n元算术关系f（x1，.，xn）成立，当且仅当T停止，那么我们可以递归地定义拉普拉斯公式，使得它可以模拟不可约概率的确定性量子宇宙的状态。
英文摘要：
If we assume the Thesis that any classical Turing machine T, which halts on every n-ary sequence of natural numbers as input in a determinate time t(n), determines a PA-provable formula, whose standard interpretation is an n-ary arithmetical relation f(x1, ..., xn) that holds if, and only if, T halts, then we can define Laplace's formula recursively such that it can model the state of a deterministic quantum universe that is irreducibly probabilistic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
