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

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

He had been informed of the Foundation's decision, and my reception was a cold and formal one.

他已被告知基金会的决定，对我的接待也相当冷淡与形式化。

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.

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

These are all ways to formalize the world.

都使世界形式化的方式。

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

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

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

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

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

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

But then came more systematic formalization and eventually computation.

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

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

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

It is also when I try to formalize panpsychism and write down what it actually means.

也当我试图将泛心论形式化并写下它的实际含义时。

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

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

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

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

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

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

But formalizing this understanding is what undergirds the decisions of The Economist and The Washington Post to start using singular they formally.

但，将种理解形式化《经济学人》和《华盛顿邮报》决定正式开始使用单数 they 的基础。

In effect, every one of these functions here can be thought of as formalizingand encapsulating, in computational terms, some facet of the intellectual achievements of our civilization.

实际上，里的每一个功能都可以被认为用计算术语形式化和封装了我们文明的智力成就的某方面。

These production rules, and the selection algorithm, combine to form what’s called a Domain Model, which is a formal representation of the knowledge, procedures and skills of a particular discipline - like algebra.

产生式规则和选择算法结合起来形成了所谓的领域模型，它特定学科（如代数）的知识、程序和技能的形式化表示。

The goal is to formalize what we know about the world in computational terms, to have computational ways to represent cities and chemicals and moviesand humor and formulas and our knowledge about them.

我们的目标用计算术语形式化我们对世界的了解，用计算方法来表示城市、化学品、电影、幽默、公式以及我们对它们的知识。

I think that it operates as a psychological and psychic framework that frees me from normal verbal reference, letting me express and communicate inner feelings and data that lie just beneath formalized word patterns.

我认为它作为一种心理和心理框架作，使我摆脱了正常的语言参考，让我表达和交流隐藏在形式化词语模式下的内心感受和数据。