怎么样了？
当我们推出的时候Wolfram物理项目一年前的今天，我相当肯定 - 我的惊喜 - 我们终于发现了一个真正基本的物理理论的道路，它很漂亮。一年后，它看起来更好。We’ve been steadily understanding more and more about the structure and implications of our models—and they continue to fit beautifully with what we already know about physics, particularly connecting with some of the most elegant existing approaches, strengthening and extending them, and involving the communities that have developed them.
And if fundamental physics wasn’t enough, it’s also become clear that our models and formalism can be applied even beyond physics—suggesting major new approaches to several other fields, as well as allowing ideas and intuition from those fields to be brought to bear on understanding physics.
毋庸置疑，仍有很大的努力工作。但是一年进入这个过程，我完全确定我们“攀登右山”。到目前为止我们到目前为止的观点已经非常壮观。
我们仍然大多是在探索我们模型的丰富结构及其与现有理论框架的联系的阶段。但是，即使在当今实验中可以挑战，我们也能够实现直接实验预测的道路。但是完全独立于此，我们现在所做的就是实用的，有用的 - 为计算几种重要的物理结果提供了新的简化方法。
The way I see what we’ve achieved so far is that it seems as if we’ve successfully found a structure for the “machine code” of the universe—the lowest-level processes from which all the richness of physics and everything else emerges. It certainly wasn’t obvious that any such “machine code” would exist. But I think we can now be confident that it does, and that in a sense our universe is fundamentally computational all the way down. But even though the foundations are different, the remarkable thing is that what emerges与重要的数学结构对齐我们已经知道，加强和概括了它们。
从四十年的探索计算宇宙可能的程序，我最根本的外卖一直是即使是简单的程序也可以产生非常复杂的行为，并且通常是这种行为计算地是不可减少的，从某种意义上说，它不能被任何东西预测，而不是运行产生它的显式计算。在机器代码的水平上，我们的模型非常暗示我们的宇宙将充满这种计算不可制定。
但我现在了解我们的物理项目的方式是这是关于什么计算有界观测器（与我们一样）可以在所有这些计算不可制定中看到。并且关键点是在计算不可放度内，不可避免地是计算的还原性切片。并且，显着的，我们所知道的三个这样的切片完全对应于现有物理学的伟大理论：一般相对性，量子力学和统计力学。
在过去的一年中，在过去的一年里，我越来越多地认为，科学的整个基本的故事是关于计算不可制定性和计算还原性之间的相互作用。事情的计算性质不可避免地导致计算不可缩短。但是，在这种不可系铺的最重要的情况下，有可能存在的结构还原，这是我们 - 作为计算有限的实体可能 - 以确定有意义的科学法律和科学。
这是其中的一部分，它直接导致特定的正规发展，例如特定的数学。但也有一部分导致基本上思考事物的新方法，例如提供关于性质的问题的新观点意识，过去的似乎很大程度上在域名哲学而不是科学。
