What is the translation of " THEOREM " in English?

• theorem

Examples of using Theorem in Chinese and their translations into English

什么是CAPtheorem？?
What is CAP Theorem?

Pythagoreantheorem是什么意思?
What is Pythagorean Theorem?

什么是bayer'stheorem？?
What is the Bayes' Theorem?

Fermat'slittletheorem是什么意思?
What is Fermat's Little Theorem?

欧拉定理(Euler'stheorem)：.
So from Euler's Theorem:.

没有免费的午餐理论NoFreeLunchTheorem.
Enter the No Free Lunch theorems.

Chineseremaindertheorem是什么意思?
What is the Chinese Remainder Theorem?

则商空间V/U自然同构于W（Halmos1974，Theorem22.1）。
Then the quotient space V/U is naturally isomorphic to W(Halmos 1974, Theorem 22.1).

Pythagoreantheorem是什么意思?
What is meant by Pythagoras Theorem?

一个线性泛函是连续的，当且仅当它的核是封闭的（Rudin1991，Theorem1.18）。
A linear functional is continuous if and only if its kernel is closed(Rudin 1991, Theorem 1.18).

不肖子定理(Rottenkidtheorem)是盖瑞·贝克关于社交学的一个经济学思想实验。
Gary Becker's rotten kid theorem is a thought experiment in economics.

需要证明许多重要定理的Bairecategorytheorem也需要一种选择公理的形式。
The Baire category theorem, needed to prove many important theorems, also requires a form of axiom of choice.

个叫做“不可复制定理”（nocloningtheorem，1982年Wootters，Zurek和Dieks提出）的.
This is called the No Cloaning Theorem(Wootters, Zurek, and Dieks in 1982).

有时某个多项式的一或多个根已知，可能是使用有理数根定理（英语：Rationalroottheorem）得到的。
Sometimes one or more roots of a polynomial are known, perhaps having been found using the rational root theorem.

不完备性定理（IncompletenessTheorem）是一组逻辑证明，称得上是数学界的一大革命。
Incompleteness Theorem- The Incompleteness Theorem is a pair of logical proofs that revolutionized mathematics.

常见的例子就是布尔素理想定理（Booleanprimeidealtheorem），它声称在布尔代数中的理想可以被扩展成素理想。
In mathematics, the Boolean prime ideal theorem states that ideals in a Boolean algebra can be extended to prime ideals.

Starr(1969)应用Shapley-Folkman-Starrtheorem（英语：Shapley-Folkmanlemma）证明甚至无需凸性偏好仍存在一个近似均衡。
Starr(1969) applied the Shapley- Folkman- Starr theorem to prove that even without convex preferences there exists an approximate equilibrium.

常见的例子就是布尔素理想定理（Booleanprimeidealtheorem），它声称在布尔代数中的理想可以被扩展成素理想。
Boolean prime ideal theorem, a theorem which states that ideals in a Boolean algebra can be extended to prime ideals.

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

Abc猜想或许并不被人们所熟知，没有费马大定理（Fermat'sLastTheorem）知名度高，但是在某些方面它却更为重要。
The ABC conjecture might not be as familiar to the wider world as Fermat's Last Theorem, but in some ways it is more significant.

这就是著名的阿蒂亚-辛格指标定理(Atiyah-SingerIndexTheorem)，他们把它发展成一个完整的领域，称为指数理论(indextheory)。
This became their famous Atiyah-Singer Index Theorem, which they developed into an entire field, called index theory.

许多非常重要的定理需要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.

常见的例子就是布尔素理想定理（Booleanprimeidealtheorem），它声称在布尔代数中的理想可以被扩展成素理想。
A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime ideals.

则柯西积分定理（柯西－古尔萨定理）断言f在开複域Ω上解析当且仅当它在该域上满足柯西-黎曼方程（Rudin1966，Theorem11.2）。
Then Goursat's theorem asserts that f is analytic in an open complex domain Ω if and only if it satisfies the Cauchy- Riemann equation in the domain(Rudin 1966, Theorem 11.2).

这就是著名的阿蒂亚-辛格指标定理(Atiyah-SingerIndexTheorem)，他们把它发展成一个完整的领域，称为指数理论(indextheory)。
This changed into their well-known Atiyah-Singer Index Theorem, which they advanced into a whole box, referred to as index idea.

他是早期研究黎曼曲面论的大师之一，并运用其成果证明了代数曲线的许多基础性结论，例如赫维茨自同构定理（英语：Hurwitz'sautomorphismstheorem）。
He was one of the early students of the Riemann surface theory, and used it to prove many of the foundational results on algebraic curves; for instance Hurwitz's automorphisms theorem.

我自认对哥德尔不完备定理(Gödel'sincompletenesstheorem)很了解，当时有关的都条目很短而且不完备，因此我重写了一遍。
I thought I understood Goedel's incompleteness theorem pretty well, and since the then existing article was short and incomplete, I decided to rewrite it.

在mathematics中，哥德尔代码是Gödel'sincompletenesstheorem的基础。其中的想法是将mathematicalnotation映射到一个naturalnumber（使用一个Gödelnumbering）。
In mathematics, a Gödel code was the basis for the proof of Gödel's incompleteness theorem. Here, the idea was to map mathematical notation to a natural number(using a Gödel numbering).

在数学分析中，终值定理（FinalValueTheorem,FVT）是将时间趋于无穷时的时域表达式与频域行为建立联系的许多定理之一。
In mathematical analysis, the final value theorem(FVT) is one of several similar theorems used to relate frequency domain expressions to the time domain behavior as time approaches infinity.