But then came more systematic formalization and eventually computation.

但随后更系统的形式化，最终发展成计算。

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

因为正规化不是品，而是过程。

But I think something, there was a sort of formalization that happened.

但我认为，某种形式的规范化确实发生。

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

所以计算不仅是可能的形式化，它是我们宇宙的终极形式化。