[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
236(3): １３２人目の素数さん [sage] 2019/12/01(日) 16:37:54.88 ID:YYmtD/6d(1/3) AAS
>>206
おっちゃんです。
>数学では部分的に、同じように、ヒトを機械が上回ることが起きて来ていた
>・πの計算
>・表計算（含む関数計算、例エクセル）
>・有限群の計算
>・数式処理ソフト
この中でコンピュータを用いることで意味が生じたのは表計算や有限群の分類、数式処理ソフト。
数学な意味に限れば、有限群の分類だけ。
πの小数点以下の数字の分布は実解析で出来る。
実解析は、1次元ルベーグ測度が+∞で濃度が card(R)＝ℵ な非可算構造を持つ実数直線Rにも応用出来る。
実解析は、非線形PDE や確率論とか、何かと応用が利く。
>>212
>４色問題とかケプラー予想もあったかな（＾＾；
まあ、4色問題の方はかなり前に考えて見たことがあるが、
コンピュータを使わずに単なる直観で幾何的に証明するのはかなり難しいことはいえる。
237: １３２人目の素数さん [sage] 2019/12/01(日) 17:00:01.09 ID:YYmtD/6d(2/3) AAS
>>236の訂正：
数学な意味に限れば、 → 数学的な意味に限れば、
238: １３２人目の素数さん [sage] 2019/12/01(日) 17:02:26.94 ID:YYmtD/6d(3/3) AAS
それじゃ、おっちゃんもう寝る。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s