[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
331(1): 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)14:09 ID:0Q0Vh9CE(18/46) AAS
>>330 つづき
この意味で、一九二〇年代の証明論のテーマが、すでにここにある。現在の我々は公理論を数学の方法論として認識し、数学基礎論 の意味での数学の基礎付としての役割を期待することは少ないが一) ヒルベルトの公理論には、このように登場当初から基礎論的色彩が 種めて濃い。
そして、それが後にブルバキが「初期公理論の失敗」 として切って捨てたものだった。
(引用終り)
注：「極大元の存在を主張する、極めて無限的な冶」とは？ 「シンククティカル」とは？
332: 現代数学の系譜11 ガロア理論を読む 2016/11/19(土)14:10 ID:0Q0Vh9CE(19/46) AAS
>>331 つづき
スコーレムの有限主義
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
＜特別寄稿＞スコーレムの有限主義( 本文 ) 出口康夫 哲学論叢 (2002)
(抜粋)
１ 序
本論は、この数学の哲学上の空白を埋める、本格的なスコーレム研究
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.061s