I mean, it's a very formalized set of events that we're going to see.

我们将会看到系列非常化的活动。

But the stricture to “avoid going through the motions” is an acknowledgment that such campaigns have become ritualised.

但是对“避免走过场”的批评本身就已承认这些运动已化了。

While he loathed formal lectures, the philosopher frequently engaged friends and strangers in lengthy conversations about morality and society.

他厌恶化教育，常召集朋友和陌生人起深入探讨道德与社会。

It's not like you formalized it with math.

这不像你用数学来化它。

It's this kind of way of formalizing the world.

这就是种将世界化的方。

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

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

We can use it for an exclamation or to formalize it.

我们可以用它来感叹或使它化。

A complete, formal system of mathematics was impossible.

完整、化的数学体系是不可能的。

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

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

But then came more systematic formalization and eventually computation.

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

And for your information, the summer conference on algebraic topology at Caltech is nerd prom.

还有，给你科普下加州理工夏天的代数拓扑会议才是书呆子舞会，代数拓扑是使用抽象代数的工具来研究拓扑空间的数学分支。拓扑空间是种数学结构，可以在上头化地定义出如收敛，连通，连续等概念。

In some cases, it means following certain formal rules of reasoning, of thinking, of logic.

在某些情况下，它意味着遵循某些化的推理规则、思维规则和逻辑规则。

These are all ways to formalize the world.

这些都是使世界化的方。

Chomsky' s research methods mainly include deduction, idealized method and formal method.

乔姆斯基的研究方法主要有演绎法、理想化法和化法。

As I said, in classical ballet, emotions are conveyed through a set of strictly formalized movements.

正如我所说， 在古典芭蕾舞中， 情感是通过组严格化的动作来传达的。

Your physical senses confine you as best they can to the perception of a highly formalized reality.

你的身体感官尽可能地限制你对高度化现实的感知。

Now, what about those more complex techniques like formal methods, any real-world applications of those?

那么， 像化方法这样的更复杂技术呢，它们在现实世界中有应用吗？

And so you're ready to know a bit about fourthgrade math even though you haven't formalized what you know.

所以你已准备好了解些关于四年级数学的知识， 即使你还没有化你所知道的。

It's a fascinating field called formal verification, and it's becoming more and more common, especially in safety critical systems.

这是个引人入胜的领域， 称为化验证，它正变得越来越普遍，尤其是在安全关键系统中。

And formal methods are kind of like that for software.

而化方法对于软件来说就有点像那样。