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

超数学 ちょうすうがく metamathematics

2件 の用語解説(超数学の意味・用語解説を検索)

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

超数学
ちょうすうがく
metamathematics

数学における証明の本質は,数学的対称の間の基本的な関係すなわち公理を立て,三段論法的推論の規則を,これらの公理またはすでに得られた定理に適用して,常に新しい定理へと進むことにある。これは1つのゲームに似ており,このゲームを続けていくと,どのような結果が証明可能な定理として出てくるかは,あらかじめ予測できず,したがって真の認識とはなりえない。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

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

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

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

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

【数学基礎論】より


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

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

超数学の関連キーワード形式主義公式主義ヒルベルト空間クリームヒルトの復讐ゲッツ/ジルベルト形式主義文学論争ヒルベルト空間論ヒルベルト=シュミットの展開定理ヒルベルトの計画ヒルベルトの問題

今日のキーワード

ポケモンGO

2016年7月6日に米国・オーストラリア・ニュージーランドで配信開始となったスマートフォン用AR(仮想現実)モバイルゲーム。開発・発売元はNiantic,Inc.(ナイアンティック)で、株式会社ポケモ...

続きを読む

コトバンク for iPhone

超数学の関連情報