定理
「定理」の英語
「定理」は英語で theorem と言います。数学で証明されて真と認められた主張を指す標準語です。mathematical statement は、定理や予想を含む「数学的命題」という広い表現です。
例文
コアイメージ
数学的命題は、証明や反例で真偽が問われる数学の主張で、定理や予想などを含む
英英
A mathematical assertion that can be formulated precisely and whose truth can be established or refuted, including theorems and conjectures.
語源
mathematical statementは、形容詞mathematical(数学に関する)と名詞statement(述べられた主張)が結びついて数学の主張を表す複合語である
コラム
- 数学的命題は証明によって真偽が確定される点で日常の主張と異なり、定理は証明済みの命題、予想は未解決の命題を指す
例文
コアイメージ
証明により真と確定された数学的主張のこと
英英
A mathematical proposition that has been demonstrated to be true by a logical proof, distinguishing it from conjectures or unproven hypotheses.
語源
theoremは、ギリシャ語theoremaから派生し、古代の「観察や考察される事柄」を表す語が数学で証明済みの命題を指すようになった
コラム
- 学術英語ではprove a theoremやa theorem followsといった表現が頻出し、講義や論文で証明を示す際に用いられる
「定理」のレベル別の例文
「定理」を英語にするときのよくある間違い
× This unproved claim is a theorem.
○ This unproved claim is a conjecture.
定理は証明済みの主張で、未証明の主張は通常予想と呼びます。