[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
387(7): 2022/04/11(月)18:20 ID:6qXzFM0T(1/2) AAS
ショルツ氏が実例を示したように、数学の証明は原理的にコンピュータで証明できるものであるというのが事実で、
10年前ならまだしも今ではショルツ氏やタオ氏など数学者たちの共通認識だろう
Cor 3.12の証明のFigure 3.8以降にギャップがあるのだから、証明を理解できたと主張する京大側は、この部分をコンピュータで証明できるように書けば良いだけ(もちろんコンピュータはかつとまたはを混同したりもしない)
ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という「間違い」を明確に書いてしまっている
とどのつまり、京大や東工大の関係する数学者たちは、証明とは何なのかを理解してないから、証明できたと勘違いしてるのだろうと予想できる
395(1): 2022/04/11(月)21:34 ID:TT6jLpw7(1/2) AAS
>>387
量子を使ったコンピューティングならできるんじゃね？
「量子コンピューター」ってことじゃないよ。
あれは量子をつかってこれまでの計算やってるだけだから。
398: 2022/04/11(月)22:11 ID:rHmrbBff(1) AAS
.>>387
>ところが望月氏は、ブログで「これは計算機で確認できる性質の問題ではない」という
「間違い」を明確に書いてしまっている
望月サンそんなこといってんの？
もうこれは完全な駄々っ子の開き直りだねｗ
ＮＨＫのいう「認識論」の違い何てものではない
そういやブンゲンが、望月の証明にはギャップはない「と思う」とかいっていたが、
「思う」ってなんだよｗ
ギャップがないなら機械で検証できるはずで、それができない=ギャップがあるってこと。
400: 2022/04/11(月)22:21 ID:dfLs5v3w(11/15) AAS
>>387
君の話は50年前とか30年前の楽観的な未来像を数十年遅れで主張しているだけで
その主張には根拠もなければ、ギャップを埋める作業を君自身全くやらない事も判明済みだからお話にならない
君が14年前に嘘だ詐欺だニセ科学だと喚いた
有名な未科学現象の統計力学的トリックの解明くらい10年もあれば君でも出来るだろうと10年間様子見をしてみたが
結局君は10年間何も成し遂げず、ただ目先のネタを否定するだけの反知性主義的な生活しかしていない
402(1): 2022/04/11(月)22:24 ID:yXc8LPa6(1/3) AAS
ギャップを埋める作業をやる責任があるのは>>387ではなく望月や支持者だろう
420: 2022/04/11(月)22:52 ID:TKY3tNzR(15/17) AAS
>>402
それは詭弁
簡単にできるのにやらないのがおかしいと主張しているのは>>387だから
>>387は自身の発言の正しさを証明するために
その簡単にできる筈のIUTの定理証明系へのポーティングを自身で実証する義務がある
誰も実証していない事を、真実だと言い張るのは
単なる予想や推測に過ぎず
実証的学問として完結していない
421: 2022/04/11(月)22:56 ID:TKY3tNzR(16/17) AAS
>>387はもし人間に羽根がついていたら空を飛び回る事ができるのに、今すぐ人間に羽根を付けないのはおかしいと主張しているだけ
発言内容には何の根拠も実証も無いので、ただ空想上の話を力説しているだけの夢想家に過ぎない
422: 2022/04/11(月)23:00 ID:TKY3tNzR(17/17) AAS
簡単にできる事なのに東大京大東工大がやらないのはおかしいと主張するなら
他大学に先駆けて山形大学で実行して結果を出して
他大学を出し抜けばいい話だよね
>>387によれば簡単にできる事なのだから
山形大学でもできる事になる
山形大学のランクを一挙にトップレベルに上げる絶好のチャンスなのに
今すぐ実行しない山形大学職員は頭がおかしい
って事だね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.220s*