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.

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