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
