What is the translation of " THEOREMS " in Chinese?

• 定理
• 理论

Examples of using Theorems in English and their translations into Chinese

Mathematics takes theorems as progress;
数学将定理作为进展；.

Writing those tests feels like proofing mathematical theorems.
写这些测试感觉就像是在验证数学理论。

Gödel's incompleteness theorems were an obstacle in one's attempt to talk about AI.
Del'sincompletenesstheorems）是我们试图谈论AI时面临的一大障碍。

Elementary Fixed Point Theorems.
不动点定理FixedPointTheorems.

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

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

The theorems are linked to each other in a directed manner by inference rules, forming a sort of dendritic network.
定理通过推理规则的直接方式相互连接起来，形成一种树状网络。

It stands in judgment over all philosophies, and its theorems are not ordinary proofs, but proofs about the provable.
它判断所有哲学，它的原理不是普通的证据，而是有关可证实事物的证据。

In this paper, we consider a specific class of invariant and equivariant networks, for which we prove new universality theorems.
在本文中，我们考虑一类特定的不变和等变网络，为此我们证明了新的普遍性定理。

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

The incompleteness theorems are about formal provability within these systems, rather than about"provability" in an informal sense.
不完备性理论是关于这些形式系统中的形式可证明性，而不是关于非形式意义上的"可证明性"。

Wikipedia is also a very good resource and many formulas, theories and theorems are explained in a clear and comprehensible way.
维基百科也是一个非常好的资源，许多公式，理论和定理都以清晰易懂的方式解释。

Certainly the theorems which Galileo had proved on the centres of gravity of solids, and left in Rome, were discussed in this correspondence.
当然，这伽利略定理证明的中心重力固体，并留在罗马，讨论了在这一信函。

This fact contradicts the public image of mathematics, which is often seen as a closed world of theorems and arithmetic formulae.
这一事实相矛盾数学的公众形象，这往往被视为定理和公式运算一个封闭的世界。

For years physicists have used important theorems in linear algebra to quickly calculate solutions to the most complicated problems.
多年来，物理学家一直使用线性代数中的重要定理来快速计算最复杂问题的解。

While getting into bed, I realised that I could apply to black holes the causal structure theory I had developed for singularity theorems.
上床时，我意识到我可以把我为奇点定理发展的因果结构理论用到黑洞上去。

These might be the key theorems in math, the laws of thermodynamics in science or the relationship between supply and demand in economics.
这些可能是数学的关键定理、热力学的法则、经济学中的供求关系。

In addition to traditional classroom discussions, computer technology and group exercises are used to allow students to explore geometric relationships and discover theorems.
除了传统的课堂讨论，小组练习和计算机技术的使用，让学生探索的关系，发现几何定理。

This book takes some of the most important and paradigm-shifting theorems of mathematics and explains them in a clear and accessible fashion.
这本书拿了一些数学上最为重要和变化后的定理，并用简洁且易于接受的方法解释它们。

It is clear by these theorems that the sequent calculus does not change the notion of truth, because the same collection of propositions remain true.
很明显通过这些定理，相继式演算不改变真理的概念，因为同一组命题仍然是真的。

The observation that many classically valid tautologies are not theorems of intuitionistic logic leads to the idea of weakening the proof theory of classical logic.
对很多经典有效重言式不是直觉逻辑的定理的观察导致了弱化经典逻辑的证明论的想法。

Fundamental theorems appear in ancient Egyptian work from 1820 BC, and later influences sprout from Babylonian, Ancient Greek, Chinese and Middle Eastern texts.
基本定理出现于公元前1820年的古埃及著作中，后来的影响从巴比伦、古希腊、中国和中东的文本中萌芽。

Logic is increasingly being used by computers- to prove mathematical theorems, to validate engineering designs, to encode and analyze laws and regulations and business rules.
逻辑学被越来越多的应用于电脑--证明数学定理、确认工程设计、诊断故障、编码分析法规和商业规则。

And that Gödel's theorems do not lead to any valid argument that humans have mathematical reasoning capabilities beyond what a machine could ever duplicate.
并且哥德尔的定理没有导致任何有效的论证，即人类具有超出机器可能复制的数学推理能力。

Applications of mathematical theory, theorems, and methods to applied problems broaden the qualification to employment in a non-research environment.
数学理论，定理和方法应用到应用的问题扩大在非研究环境的资格就业。

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.
许多非常重要的定理需要Hahn-Banach定理，通常使用选择公理证明，尽管严格较弱的Booleanprimeidealtheorem就足够了。

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

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