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

• theorem
• law
• theorems
• laws

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

绝妙定理.
Theorema Egregium.

齐柏-托维定理.
The Gibbard- Satterthwaite.

Lyapunov稳定性定理.
Lyapunov stability theory.

现在我们来证明定理2。
Now we prove Corollary 2.

根据定理3我们有.
According to Definition 6, we have.

这就是这个世界的定理。
That's the definition of the world.

这就完成了定理1的证明。
This concludes the proof of Theorem 1.

因此我们可以证明定理1.1。
We can give the proof of Theorem 1.1.

实际上，这就是受害者定理。
That, in fact is the definition of a victim.

这就完成了定理1的证明。
This completes the proof of the Theorem 1.

任何有可能出错的事将会出错--墨菲定理.
Whatever can go wrong, will.- Murphy's law.

必然性规则：如果p是K的定理，则.
Necessitation Rule: If p is a theorem of K, then so is.

無限猴子定理，运用该术语的理论.
Infinite monkey theorem, a theorem using the aforementioned terms.

这些定理被称为哥德尔的连续统假设。
The theorems have come to be known as Gödel‘s continuum hypothesis.

但无法预见到任何分析关系或定理。
But it has no power of anticipating any analytical relations or truths.

学习使用定理证明程序会立即影响编码风格。
Learning to use a theorem prover immediately impacts coding style.

已经证明开普勒定理在那个太阳系统里不适用。
It was determined that Kepler's Laws did not apply to that solar system.

学习使用定理证明方法能够立刻影响代码风格。
Learning to use a theorem prover immediately impacts coding style.

注意I组合子对应于定理模式P→P。
Note that the I combinator corresponds to the theorem schema P→P.

定理的最一般的表述需要一些准备。
The most general formulation of the theorem needs some preparation.

Hoare大问题定理：任何大问题的里面都有小问题在作怪。
Hoare's Law of Large Problems: Inside every large problem is a small problem struggling to get out.

该定理首次被英国数学家塞缪尔·恩绍于1842年证明。
This was first proven by British mathematician Samuel Earnshaw in 1842.

你需要能阅读定理，如果具有证明定理的能力将会给本领域的大多数人留下深刻的印象。
You need to be able to read theorems, and an ability to prove them will impress most people in the field.

该定理说这个光滑测度在哈密顿流下不变。
The theorem says this smooth measure is invariant under the Hamiltonian flow.

根据能量守恒，在电路理论连接到特勒根定理，单电子隧道的电路模型是一个冲动的电流源。
Based on energy conservation, in circuit theory connected to Tellegen's theorem, the circuit model for single-electron tunneling is an impulsive current source.

定理丘奇定理图灵停机塔斯基真理定理.
Incompleteness Theorem Church 's Undecidability Theorem Turing 's Halting Problem Tarski 's Truth Theorem..

许多非常重要的定理需要Hahn-Banach定理，通常使用选择公理证明，尽管严格较弱的Booleanprimeidealtheorem就足够了。
Many very important theorems require the Hahn-Banach theorem, usually proved using axiom of choice, although the strictly weaker Boolean prime ideal theorem suffices.

该定理显示，群体将给予更多的时间和注意力来处理琐碎的问题，而不是用来处理严肃而实质性的问题。
This law suggests that groups will give far more time and attention to trivial or cosmetic issues rather than serious and substantial ones.

该定理假设应用扰动，如机械力或电场，足够弱以至于ratesofRelaxation保持不变。
The theorem assumes that applied perturbations, e.g., mechanical forces or electric fields, are weak enough that rates of relaxation remain unchanged.