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

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

But then came more systematic formalization and eventually computation.

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

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

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