What is the translation of " 定理是 " in English?

• theorem is

Examples of using 定理是 in Chinese and their translations into English

分布式系统CAP定理是真正的不可能三角。
The distributed system CAP theorem is the real impossible triangle.

贝叶斯定理是概率理论最重要的成果之一。
Bayes' theorem is one of the most important results in probability theory.

贝叶斯定理是对我们预测未来努力的重要现实检验。
Bayes' theorem is an important reality check on our efforts to forecast the future.

贝叶斯定理是一种将数据转化为知识的机器。
Bayes' theorem is a machine that turns data into knowledge.

Paley-Wiener定理是这样的一个例子。
The Paley- Wiener theorem is an example of this.

Atiyah-Singer指标定理是20世纪中叶数学的主要成就之一。
The Atiyah-Singer index theorem is one of the cornerstones of 20th century mathematics.

贝叶斯定理是将概率思想融入我们生活的一种简单易行的方法。
Bayes' theorem is an accessible way of integrating probability thinking into our lives.

所以在系统L中定理的定义是:定理是在系统L中使用空的假定集合能证明的相继式。
Therefore, the definition of a theorem in system L is: a theorem is a sequent that can be proved in system L, using an empty set of assumptions.

此定理是由史蒂格勒（GeorgeStigler）提出的，其说：“在完全竞争下，私人与社会成本等同了。
His theorem is restated from George Stigler(1966) as"… under perfect competition, private and social costs will be equal.".

解读】简单来说，“猴子和打字机”定理是用来描述无限的本质的最好方法之一。
Simply put, the“monkeys and typewriters” theorem is one of the best ways to illustrate the nature of infinity.

如果你认为贝叶斯定理是反直觉的，那么建立在贝叶斯定理基础上的贝叶斯统计就很难理解。
If you think Bayes' theorem is counter-intuitive and Bayesian statistics, which builds upon Baye's theorem, can be very hard to understand.

CAP定理是EricBrewer于1998年发现，在2000发表在PODC，2002年SethGilbert和NancyLynch证明了这个理论。
The CAP theorem was conjectured by Eric Brewer in 2000, and proved in 2002 by Seth Gilbert and Nancy Lynch.

哥德尔定理是一阶逻辑的定理，故最终只能在这个框架内理解。
Gödel's theorems are theorems in first-order logic, and must ultimately be understood in that context.

发明了毕达哥拉斯定理的毕达哥拉斯（Pythagorean）定理是第一个自称为哲学家的人。
The creator of the famous Pythagorean theorem was the first man to call himself a philosopher.

多数经典恒等式只是直觉逻辑中在一个方向上的定理，尽管某些定理是两个方向的。
Most of the classical identities are only theorems of intuitionistic logic in one direction, although some are theorems in both directions.

在数字信号处理领域，采样定理是连续信号（通常称作“模拟信号”）与离散信号（通常称作“数字信号”）之间的一个基本桥梁。
In the field of digital signal processing, the sampling theorem is a fundamental bridge between continuous-time signals(often called"analog signals") and discrete-time signals(often called"digital signals").

如同自然演绎，定理是那些B{\displaystyleB}这里的⊢B{\displaystyle\vdashB}是有效证明的结论。
As in natural deduction, theorems are those B{\displaystyle B} where⊢ B{\displaystyle\vdash B} is the conclusion of a valid proof.

切萨罗的定理是一个微妙的例子。
Cesàro's theorem is a subtle example.

事实，它和费马最后定理是同等的.
In fact, it turns out it's equivalent to proving Fermat's Last Theorem.

为什么理查德·道金斯的猴子打字定理是个难题….
Why Richard Dawkins' typing monkey theorem is a lo….

这个定理是新古典微观经济学的基石。
This theorem is a cornerstone of neoclassical micro-economics.

大多数数学家认为费马的定理是在错误中总结的。
Most mathematicians think Fermat's theorem was born in error.

这些定理是独立于ZFC，需要更强的公理他们的证明。
Many of these theorems are independent of ZFC, requiring stronger axioms for their proof.

另一著名的优美的定理是费马的“二平方”定理。
Another famous and beautiful theorem is Fermat's‘two square' theorem..

达到一个以前没有人证明的定理是一个了不起的成就。
Reaching a theorem no one had proved before was a remarkable feat.

用更抽象的语言来讲，谱定理是关于交换C*-代数的命题。
In more abstract language, the spectral theorem is a statement about commutative C*-algebras.

在物理学中，这个定理是定义一个“保守”力的方法之一。
In physics this theorem is one of the ways of defining a conservative force.

那么到底Brewer的定理是什么，为何它足以和1976年Manchester的punk演出媲美？?
So what exactly is Brewer's Theorem, and why does it warrant comparison with a 1976 punk gig in Manchester?

在“太阳系的奇观”中，我们一直强调物理学的定理是普遍存在的。
In"Wonders of the Solar System," we kept emphasizing the laws of physics are universal.