[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
45: 現代数学の系譜11 ガロア理論を読む 2016/12/31(土)08:24:45.48 ID:VK/jj9Lp(7/83) AAS
>>43 補足
>だから、ｎ→無限大を考えると、”「100列で確率99/100」が数学的に厳密に導けないだろ”というのが私のゴール
文系のために説明しておくと
時枝問題は、一様分布とは比べられないくらい、裾が重い分布なので>>42
ｎ→無限大を考えると、平均値も発散し、標準偏差も発散してしまう
そういう確率分布では、”「100列で確率99/100」が数学的に厳密に導けないだろ”ということ
まあ、文系では理解できないかも知れないがね
理系の連中は、分かって去って行ったと思う
そのためには、ｎ→無限大で十分で、ｎ＝∞でも同じだが
なお、裾の軽い分布例えば正規分布などでは、ｎ→無限大やｎ＝∞でも何も困らない ∵裾の軽い分布では、ｎ→無限大の辺りは無視できるから。（それは、数学として証明できるよ）
省1
213: 現代数学の系譜11 ガロア理論を読む 2017/01/01(日)23:41:17.48 ID:cqs+IUeE(32/34) AAS
つづき
数学基礎論
ブルバキは論理の形式化、数学における真理の概念、対象、モデル・構造、集合論、集合論の逆理と基礎の危機、超数学と論を進める。
ギリシャの論証法から、ルネッサンスから近世を経て、非ユークリッド幾何学、ヒルベルトの「幾何学基礎論」に到流れのなかで、数学的真理が経験の即しつつ形式化されてゆく過程を示している。数学構造論としては一番集合論が似合う。
ブルバキは論理の無矛盾性よりは、より構造的な決定（選択）のほうに重点が置かれている。ブルバキはユークリッドの数学の特質を次の3つに整理している。
①論理学の形式化を導いたのはいつも数学であった。
②ギリシャ公理論は経験的起源を持つ。
③ギリシャ数学の数学的存在の特質を作図可能性であると云う。
この見解に対して訳者の村田全氏はサボーの見解を引いて、エレア学派の哲学が上位に立つと反論しているが、ここにはその詳細は議論できない。
ユウクリッドの原論以来、自然数（正の整数）という段階的な対象に関する理論が論理と一番なじむが、連続的数は対象として論理となじまないようである。
省4
236(1): 現代数学の系譜11 ガロア理論を読む 2017/01/02(月)09:06:45.48 ID:MUXssChK(20/59) AAS
>>229 つづき
Villani has written extensive surveys and books
[48, 50, 49, 51], and, through these, as well as the insights of his work, he has inspired a generation of
young mathematicians with deep, rich, physically motivated mathematical questions.
361(1): 現代数学の系譜11 ガロア理論を読む 2017/01/07(土)13:12:51.48 ID:3+lYjsf1(34/55) AAS
>>356
>瀧雅人先生、>>83>>91 AGT対応で既出
>AGT対応と>>349は関連しているのだろうか？ まだ読んでないが・・
>>349のPDFの後ろに、筆者紹介があるね
瀧雅人
2004 年3 月東京大学理学部物理学科卒，
2009 年3 月同大大学院理学系研究科物理
学専攻修了，博士(理学)．同年4 月より
京都大学基礎物理学研究所研究員を経て，
2013 年4 月より理化学研究所理論科学連
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ ｱﾎﾞﾝOFF
ぬこの手 ぬこTOP 0.029s