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

因为正规化个产品，而个过程。

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

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

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.

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