But then came more systematic formalization and eventually computation.

但随后出现了更系统的形式化和最终的计算。

Because formalization is not a product, it's a process.

因为形式化不是一个产品，而是一个过程。

So computation isn't just a possible formalization, it's the ultimate one for our universe.

因此，计算不仅仅是一种可能的形式化，它是我们宇宙的终极形式化。