数理論理学
「数理論理学」の英語
「数理論理学」は英語で mathematical logic と言います。数学的に論理や証明を扱う一般的な表現です。metamathematics は数学基礎論や形式体系の限界に焦点を当てる専門用語です。
「数理論理学」の英語の使い分け
数学的に論理や証明を厳密に研究する分野で、最も一般的な表現です。
形式体系や証明の限界を研究する、数学基礎論寄りの専門用語です。
例文
コアイメージ
数学の手法で論理の構造や証明を形式的に扱う学問分野
英英
The branch of study that applies mathematical methods to logic, examining formal systems, proofs, models, and computability.
語源
mathematical logicは、mathematical（数学的）とlogic（論理）を結合した語で、19世紀から20世紀にかけてブールやフレーゲ、ラッセルらの研究を経て論理を数学的に扱う学問として確立された
コラム
- 論理を数学的に厳密化した分野であり、哲学の論理学と計算機科学の理論的基盤をつなぐ役割を持つ
例文
She studied metamathematics to understand the limits of formal proof.
彼女は形式的証明の限界を理解するために数学基礎論を学んだ。
コアイメージ
証明・公理・計算可能性を論理的に扱い、数学基礎論として形式体系の性質と限界を明らかにする学問
英英
The branch of study that examines the foundations, consistency, and limitations of formal mathematical systems, including proof theory and computability.
語源
metamathematicsは、ギリシャ語の接頭辞meta（〜を超えて）とmathematicsが結びついて、数学そのものを外側から分析する研究を表す語として形成された。
コラム
- 数学基礎論は形式的証明の限界や公理系の整合性を扱い、数学そのものを'外側'から分析する視点が中心となる
「数理論理学」のレベル別の例文
- 中学
- 高校・英検2級
The lecture introduced metamathematics through examples of axioms and proofs.
- TOEIC・ビジネス
The report explains how mathematical logic supports reliable software verification.
- 日常会話
Have you ever heard of metamathematics?
数学基礎論って聞いたことがありますか。
「数理論理学」を英語にするときのよくある間違い
× I study logic mathematics.
○ I study mathematical logic.
英語では mathematical が logic を修飾します。
× I study mathematical logics.
○ I study mathematical logic.
学問分野としては通常、logic は不可算名詞です。