[過去ﾛｸﾞ]
現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
213
:
現代数学の系譜11 ガロア理論を読む
2017/01/01(日)23:41
ID:cqs+IUeE(32/34)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
213: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/01(日) 23:41:17.48 ID:cqs+IUeE つづき 数学基礎論 ブルバキは論理の形式化、数学における真理の概念、対象、モデル・構造、集合論、集合論の逆理と基礎の危機、超数学と論を進める。 ギリシャの論証法から、ルネッサンスから近世を経て、非ユークリッド幾何学、ヒルベルトの「幾何学基礎論」に到流れのなかで、数学的真理が経験の即しつつ形式化されてゆく過程を示している。数学構造論としては一番集合論が似合う。 ブルバキは論理の無矛盾性よりは、より構造的な決定（選択）のほうに重点が置かれている。ブルバキはユークリッドの数学の特質を次の3つに整理している。 ①論理学の形式化を導いたのはいつも数学であった。 ②ギリシャ公理論は経験的起源を持つ。 ③ギリシャ数学の数学的存在の特質を作図可能性であると云う。 この見解に対して訳者の村田全氏はサボーの見解を引いて、エレア学派の哲学が上位に立つと反論しているが、ここにはその詳細は議論できない。 ユウクリッドの原論以来、自然数（正の整数）という段階的な対象に関する理論が論理と一番なじむが、連続的数は対象として論理となじまないようである。 ブルバキは連続を避けているように思われる。数学の真理性とは何だろう。記号論ー形式論理なのだろうか。そしてそれは純粋に思惟的自律的なものだろうか。 ブルバキはその形式的理論なるものをあくまで現実的実在に対する１個の理論モデルと考え、その理論モデルを全体として理解し、統一的な数学の存在を認めているようだ。 訳者の村田全氏はこれを「形式論的経験主義」と呼んでいる。数学の真理性が認識の原理の中にあるのか、それとも自然の中に存在するのか、これは永遠の問いである。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1483075581/213
つづき 数学基礎論 ブルバキは論理の形式化数学における真理の概念対象モデル構造集合論集合論の逆理と基礎の危機超数学と論を進める ギリシャの論証法からルネッサンスから近世を経て非ユークリッド幾何学ヒルベルトの幾何学基礎論に到流れのなかで数学的真理が経験の即しつつ形式化されてゆく過程を示している数学構造論としては一番集合論が似合う ブルバキは論理の無矛盾性よりはより構造的な決定選択のほうに重点が置かれているブルバキはユークリッドの数学の特質を次のつに整理している 論理学の形式化を導いたのはいつも数学であった ギリシャ公理論は経験的起源を持つ ギリシャ数学の数学的存在の特質を作図可能性であると云う この見解に対して訳者の村田全氏はサボーの見解を引いてエレア学派の哲学が上位に立つと反論しているがここにはその詳細は議論できない ユウクリッドの原論以来自然数正の整数という段階的な対象に関する理論が論理と一番なじむが連続的数は対象として論理となじまないようである ブルバキは連続を避けているように思われる数学の真理性とは何だろう記号論ー形式論理なのだろうかそしてそれは純粋に思惟的自律的なものだろうか ブルバキはその形式的理論なるものをあくまで現実的実在に対する１個の理論モデルと考えその理論モデルを全体として理解し統一的な数学の存在を認めているようだ 訳者の村田全氏はこれを形式論的経験主義と呼んでいる数学の真理性が認識の原理の中にあるのかそれとも自然の中に存在するのかこれは永遠の問いである 引用終り
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 304 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.053s