[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
567(2): 2020/04/13(月)17:16 ID:Lx5viamn(1/10) AAS
もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて
登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、
置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が
起こっているのか？
細部に小さいミスがあったとしても発想の方向が新しかったとしたら偉大な業績として
已然歴史に残るのではないか？
小さいミスの指摘が仮に「妥当」だったとしてもそれで望月博士の偉業を否定することは
省10
583(2): 2020/04/13(月)17:39 ID:Lx5viamn(2/10) AAS
望月博士とショルツ博士の議論は、
ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
議論なんですか？
結局どっちも正しくて、一つの真理を別々の理論で同時に書き表せるのに、互いに
違う理論の言葉を使おうとするからコミュニケーションミスが起こってる
あるいは、望月博士の理論はカロリックやエーテルを仮定するような大局観から疑われ
ているんでしょうか？
省3
591: 2020/04/13(月)17:48 ID:Lx5viamn(3/10) AAS
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは？ それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
592(2): 2020/04/13(月)17:48 ID:Lx5viamn(4/10) AAS
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは？ それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
595(2): 2020/04/13(月)17:51 ID:Lx5viamn(5/10) AAS
>>593
漫画と芸能ゴシップ誌と競馬予想誌読み過ぎだと想像しますｗ
よくわかんないけど
602: 2020/04/13(月)17:59 ID:Lx5viamn(6/10) AAS
>>596
モデリングに使う構成方程式や境界条件式を計測から求めた実測値をはめ込んで
方程式系をcloseさせるってこと普通にやりますけど、
それならいよいよ純粋数学理論の正しさとは筋違いの話ですよね
611(2): 2020/04/13(月)18:10 ID:Lx5viamn(7/10) AAS
>>603
そうでしたかそれは失礼しました
モデリングの正しさは経験則（実験との整合性）ですが、数学理論の正しさとは
いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい
数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、
間接測定した実測値があってたら、しかも何度追実験してもあってたら、
もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
省2
618(1): 2020/04/13(月)18:21 ID:Lx5viamn(8/10) AAS
数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、
有名なゲーデルの不完全性定理で証明されているんですよね
だとしたら、ある数学理論が無矛盾であることの調査は、
コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の
再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか）
理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を
発見できなさそうなほどの無矛盾な数学理論って主張できるって方針
省3
626: 2020/04/13(月)18:44 ID:Lx5viamn(9/10) AAS
コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ
でも、モンテカルロ法で「でたらめな」数学オブジェクト？を文字どうり「テキトー」に
組合せてみた記号列（文字列の文字の代わりに数学記号の組み合わせ）を乱暴にも公理と
見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな
記号列は最初の一回の検証でNG判定になるので次の記号列を試す。
まったくの「テキトー」だと時間がかかりすぎて無駄なので、既存の数学理論に数学者の
直感で当たりをつけて初期条件に多少の作為を入れる。
省13
628(1): 2020/04/13(月)18:58 ID:Lx5viamn(10/10) AAS
>>623
>個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
>ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
「基本的な問題意識」の定義がわかりません。
もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか？
「強い理論」の定義がわかりません。
現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見つからなさそうと数学者たちから考えられてる理論ですよね？
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s