It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

youdao

In 1928, the year Nash was born, von Neumann outlined a first formal theory of games, showing that in two-person, zero-sum games, there would always be an equilibrium.

1928年，即纳什出生的那一年，冯·诺依曼概述了最早的正式博弈论，表明，在两人的零和博弈中，向来存在一种均衡。

youdao

This article attempts to demonstrate my belief that you don't need to know a lot about formal parsing theory to be able to parse!

本文力图阐明我的理念：您并不需要了解很多有关正规的解析理论就能进行解析！

youdao

Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.

这篇，形式语言学理论“,是艾肯鲍姆，在1927年写的。

耶鲁公开课 - 文学理论导论课程节选

The theory (which I support) is that innovation rarely takes place in any formal setting.

FORBES: Getting People Face-To-Face Will Increase Collaboration At Yahoo!