コトバンクはYahoo!辞書と技術提携しています。

超数学 ちょうすうがくmetamathematics

ブリタニカ国際大百科事典 小項目事典の解説

超数学
ちょうすうがく
metamathematics

数学における証明の本質は,数学的対称の間の基本的な関係すなわち公理を立て,三段論法的推論の規則を,これらの公理またはすでに得られた定理に適用して,常に新しい定理へと進むことにある。これは1つのゲームに似ており,このゲームを続けていくと,どのような結果が証明可能な定理として出てくるかは,あらかじめ予測できず,したがって真の認識とはなりえない。しかし,この数学というゲームが,決して矛盾に達しないということを確かめることによって,ゲームを単なるゲームから認識の段階へと高めることができる。このような証明における無矛盾性の確立を目的とする学問を,超数学という。この場合のゲームそのものがいわゆる数学である。超数学という名は D.ヒルベルトによって提唱された。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

世界大百科事典 第2版の解説

ちょうすうがく【超数学 metamathematics】

D.ヒルベルトの提唱した形式主義においては,数学の各理論体系は用いられる論理も含めて公理化され記号化される。式,命題,証明はそれぞれ体系内で定められた一定の規則に従う単なる記号の有限列であって,そこに現れる記号(論理記号も含めて)や記号の有限列はすべて〈意味のない〉ものとされ,初めに与えられた法則のみに従って変形されるものとする。このように形式的体系として記号化された数学と,その形式的体系について研究する数学とを厳密に区別しなければならない。

出典 株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について 情報

世界大百科事典内の超数学の言及

【数学基礎論】より


[証明論]
 ヒルベルトの計画によれば,記号論理の方法を用いて公理的体系として形式化された数学と,その形式的体系について研究する数学とを厳密に区別する。後者を超数学といい,その論法は有限的,構成的なしかたによらなければならない。超数学では体系内での証明自体が研究の主たる対象とされるからこれを証明論proof theoryともいう。…

※「超数学」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

超数学の関連キーワード形式主義(数学)不完全性定理数学基礎論ゲーデル数メタ数学

今日のキーワード

ムガベ大統領

1924年、英植民地の南ローデシア(現ジンバブエ)生まれ。解放闘争に参加し、80年にジンバブエを独立に導いた。同年から首相、87年から大統領として実権を握り続けた。2000年以降は白人農場主の農園を強...

続きを読む

コトバンク for iPhone

コトバンク for Android