THEOREMS in Japanese translation

• 定理

Examples of using Theorems in English and their translations into Japanese

In 1942, he provided one of the first proofs of the First and Second Welfare Theorems.
年には、厚生経済学の第一＆第二基本定理の初の証明の一つを提示した。

In practice, real machines(including humans) have finite resources and will have difficulty proving many theorems.
実際には、実際の機械（人間を含む）は有限の資源を持っており、多くの定理を証明することが困難です。

Many famous conjectures and theorems in number theory would follow immediately from the abc conjecture.
数論における数多の有名な予想や定理がabc予想から直ちに導かれる。

One of the first such programs was able to prove theorems in Euclidean geometry.
最初のそのようなプログラムの一つは、ユークリッド幾何の定理を証明できた。

This was for beginners including theorems of differential calculus and infinite series.
これは初心者を対象にしたものであり、微分計算や無限級数に関する定理が含まれていた。

At the end of this book, Huygens described thirteen theorems which are concerned with the theory of centrifugal force in circular motion.
本書の末尾に、円運動における遠心力理論に関連した十三個の定理を述べています。

This paper also contains what now are called the isomorphism theorems, which describe some fundamental natural isomorphisms, and some other basic results on Noetherian and Artinian modules.
この論文はまた今では同型定理と呼ばれるもの、これはある基本的な自然同型を記述するものである、やネーター加群やアルティン加群に関するいくつかの他の基本的な結果も含んでいる。

But when it comes to understanding the foundations of what's going on, one's led not to things like mathematical theorems and calculus, but instead to ideas like the Principle of Computational Equivalence.
しかし、何が起きているか理解できるようになると、数学定理や算法のようなものにではなく、その代わりに計算等価性の原則のような考えに繋がる。

This is where mathematicians use new theorems and theories they have discovered to explain various natural and social phenomenon, and attempt to put these to practical uses in the real world.
ここでは、数学者たちが発見した新しい定理や理論を使い、さまざまな自然現象や社会現象を解明しながら、現実の世界に役立てていく試みが行われています。

In this talk, we begin with the elementary definitions of hyperplane arrangements and show some theorems, especially those related to combinatorics, algebra and algebraic geometry.
本講演では、超平面配置の基礎的な定義から始めて、いくつかの定理、特に組み合わせ論、代数そして代数幾何に関連したものを紹介、証明する。

On the other hand a theorem may be essentially superficial and yet quite difficult to prove(as are many‘Diophantine' theorems, i.e. theorems about the solution of equations in integers).
一方で、本質的には表面的でしかないのに、証明はなかなか難しい定理もある（多くの「ディオファントス型」の定理、すなわち方程式の整数解についての定理がそうであるように）。

In the period between 1935 and 1950, most papers were written along the lines suggested by Birkhoff's papers, dealing with free algebras, congruence and subalgebra lattices, and homomorphism theorems.
年から1950年の間の期間に、バーコフの論文に示唆された路線に沿った多くの論文が書かれ、自由代数や合同、部分代数束、準同型定理などが扱われた。

A mathematician,” the Hungarian mathematician Alfréd Rényi(1921-1970) used to say,“is a machine for turning coffee into theorems.”.
レニー(AlfrédRényi,1921--1970)が言ったという「数学者はコーヒーを定理に変換する機械だ」というジョークの落ちになっている．。

The UFO Center of Benevento(CUB), well in the past that has dismantled several theorems of alleged sightings, invites fans for calm and patience.
ベネヴェントのUFOセンター(CUB),よく申し立てられた目撃のいくつかの定理を解体した過去の,冷静と忍耐のためにファンを招待。

A year later, he proved two important theorems, which showed Hibert's program to be unattainable in its original form.
その後、彼は二つの重要な定理を証明しており、ヒルベルト・プログラムはその元々の形では達成不可能であることがそれによって示された。

It is amazing to learn how basic theorems which even junior and high school students know can often be proven using a higher level of mathematics.
数学科の講義では、中高生でも知っているような定理が、大学レベルの数学で証明されることがしばしばあり、驚かされます。

In both[these example] theorems(and in the theorems, of course, I include the proofs) there is a very high degree of unexpectedness, combined with inevitability and economy.
二つの定理には（ここで私は、当然ながらそれらの証明をも含めている）、いずれにも非常に高度な〈意外性〉があり、また〈必然性〉、〈効率性〉もある。

Gentzen also proved normalization and cut-elimination theorems for intuitionistic and classical logic which could be used to reduce logical proofs to a normal form.
また、ゲンツェンは正規化定理とカット除去定理を証明したが、これは論理的証明を正規の形式に還元するのに使われるもので直観論理及び古典論理に呈してなされた[116][117]。

Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems for mathematics.
ゲーデルの不完全性定理は数理論理学の基礎をなす2つの定理で、数学における最も自明な公理系を除いた全ての固有な制限についてのものである。

The function of a mathematician is to do something, to prove new theorems, to add to mathematics, and not to talk about what he or other mathematicians have done.
数学者の役割とは、何かを成すこと、新しい定理を証明すること、数学という学問に何かを付け加えることであって、自分や他の数学者の成した仕事を語ることではない。