[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
911: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 13:18:34.22 ID:w2gV7wtr >>910 つづき （参考） https://www.jstage.jst.go.jp/article/kisoron1954/34/2/34_2_91/_pdf/-char/en 無矛盾性証明について 新井敏康*神戸大学自然科学研究科 科学基礎論研究 2007 https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96 数学基礎論 (抜粋) 歴史 ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。 また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。 このように一定の結論が得られた現在では、数学基礎論は本来の意味していた数学の基礎づけの活動から離れ、広義の数理論理学、特に集合論、モデル理論、証明論、計算理論等の数学の総称に変化している。 影響 また、数学を人間の精神活動から離れて、形式主義的にかつ有限の立場から検証しなおすことにより、計算機科学の基礎と発展に大きく寄与した。 たとえば、今まで自明なものとして受け入れられていた多くの数論的関数を有限の立場から考察することにより、アルゴリズムの研究に直接の影響を与えた。 プログラミング言語で必ず登場するデータ型の形式的宣言や論理構造、関数の概念は遠くは数学基礎論に由来する。ゆえに、数学基礎論で活躍したフォン・ノイマンやチューリングが後に計算機科学において先駆的な役割を果たしたのも、偶然ではない。 そのような意味で数学基礎論は単なる机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を与えたといえる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/911
914: １３２人目の素数さん [sage] 2019/09/09(月) 14:17:17.39 ID:uwfnXwUu >>911 あなたは無矛盾性証明を「無矛盾性を保証するために必要なもの」 と思っているようですが、今時そんな発想で研究する人はいませんよ おいくつだか知りませんが あなたの知識は昭和時代のものであって もう平成も終わった令和の時代では完全に時代遅れです http://rio2016.5ch.net/test/read.cgi/math/1566715025/914
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s