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

我们将会看到一系列非常形式化活动。

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

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

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.

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

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

我们它来感叹或使它形式化。

A complete, formal system of mathematics was impossible.

完整、形式化数学体系是不能。

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

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

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

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

But then came more systematic formalization and eventually computation.

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

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

这是一种将世界形式化方式。

It's not like you formalized it with math.

这不像你数学来形式化它。

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

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

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

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

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

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

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

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

These are all ways to formalize the world.

这些都是使世界形式化方式。

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

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

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

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

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

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

It is, especially those techniques, formal methods, diverse programming, pretty mind-blowing enough.

确实如此， 尤其是那些技术、形式化方法和多样化编程方式，真是令人叹为观止。