metamathematics
「 metamathematics」の意味 意味
- 名 数学基礎論、数理論理学
「 metamathematics」の例文 例文
She studied metamathematics to understand the limits of formal proof.
彼女は形式的証明の限界を理解するために数学基礎論を学んだ。
「 metamathematics」のコアイメージ コアイメージ
証明・公理・計算可能性を論理的に扱い、数学基礎論として形式体系の性質と限界を明らかにする学問
「 metamathematics」の英英 英英
The branch of study that examines the foundations, consistency, and limitations of formal mathematical systems, including proof theory and computability.
「 metamathematics」の語源 語源
metamathematicsは、ギリシャ語の接頭辞meta（〜を超えて）とmathematicsが結びついて、数学そのものを外側から分析する研究を表す語として形成された。
「 metamathematics」のコラム コラム
- 数学基礎論は形式的証明の限界や公理系の整合性を扱い、数学そのものを'外側'から分析する視点が中心となる
おすすめの単語帳
1 / 1
