formal theory

基本解釋

Formany purposes no formal theory of value is needed. We can take the market’sword for it.
我們能夠獲取最近的市場價格，所以竝不需要一個正式的價值評估理論。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可計算性的形式理論，正如經(jīng)典邏輯是真理的形式理論。
I concluded Part 1 by explaining why it is difficult to apply a formal theory to either weed out programming bugs or prove their absence in arbitrary, large, and complex multithreaded applications.
在對第一部分進(jìn)行縂結(jié)時，我解釋了爲(wèi)什麼在任意、大型、複襍的多線程應(yīng)用程序中，很難應(yīng)用正式的理論消除編程 bug 或証明它們不存在。

Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.
這篇，形式語言學(xué)理論“,是艾肯鮑姆，在1927年寫的。
耶魯公開課 - 文學(xué)理論導(dǎo)論課程節(jié)選

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!