详细内容或原文请订阅后点击阅览
科学家：“不，我们不是生活在计算机模拟中”
针对 Nick Bostrom 的假设提出了基于数学定理的反驳。
来源:OSP网站大数据新闻不列颠哥伦比亚大学的研究人员驳斥了瑞典哲学家 Nick Bostrom 在 2000 年代初提出的一个流行假设。根据他的推理，足够先进的文明理论上可以对过去进行大量详细的模拟，这意味着从统计上看，我们很有可能处于其中之一。
加拿大科学家依靠关于不完备性和不可判定性的数学定理，测试了现实是否可以通过一组计算来完整描述。 定理的简化含义如下：在相当复杂的逻辑系统中，存在无法使用同一系统证明的真实陈述，并且对于某些问题，原则上不可能创建始终产生正确答案的算法。作者的结论是明确的：对宇宙的完整一致的描述需要“非算法理解”，这意味着世界不可能是外部计算机计算的结果。
然而，问题仍然悬而未决。例如，博斯特罗姆假设的支持者可能会争辩说，模拟宇宙不需要对其中的生物来说是完全可计算或理解的，但它的创造者可以使用不能简化为传统算法的物理原理。