宇宙際タイヒミュラー理論、もう何年もこの不毛な「理解できない」「説明が足りない」の押し問答を繰り返してるな
お察しください
加藤先生は望月先生の最大の理解者であり、IUT理論を世界で一番わかりやすく説明できる人だと思うのだけれど、それでもなお論理の不明瞭さが残る点についてははっきりと指摘するの、さすが数学者だなぁと思う
王様は裸だ❣️
前にNHKスペシャルで、なんとか一般人にも理解できる形でCG駆使してやってたが「んー、、、さっぱりわからん」と思ったもんなあこれ
わかってるはずの人がわかるように説明することができないのおもろいよな(´･_･`)要は誰も説明できないんでしょ
これで最後の一手を加藤氏が解いたらABC予想は加藤の定理になっちゃうのかな
加藤さんの書いたIUT理論の解説本読んだけどめちゃくちゃ面白かったのでオススメ
数学ABC予想の証明に「ギャップ」？ 続く検証、コード化道半ば https://digital.asahi.com/articles/ASV7K2HSCV7KUTFL014M.html 時間をかければ、IUT理論でもコード化はできるとの見解を示した。
Leanとかで形式化することの利点がこういうとこだよね。形式的証明が書ければ文句なく証明が完了するし、書けない部分があればそこが証明として怪しいと浮き彫りになる。
加藤先生理解してないIUTをあんだけヨイショしてたのん？？？？？？？？数学界隈ってそんな感じなの？？？？？？？あと加藤先生のIUTヨイショ本内容薄くて面白くなかった！！！！！！！！数学史の本は面白かった！！！
「我々の言葉で明示的な問いの形で表現できるようになっただけでも重要な進展だ」すごい世界だな…
うん、僕もあれはちょっと変だなと思ってたんですよね。
加藤文元教授は他の報道によると「比較するためには、それらを測るものさしを同じにする必要があり、望月氏は同じだと説明しているが、われわれはその説明を理解しきれていない」と述べています。
証明の解釈が進んで分析が進んだのは素晴らしいこと、こういう枝葉で新規カテゴリーが生まれる印象／https://www.nikkei.com/article/DGXZQOSG1743L0X10C26A7000000/ プログラムで証明検証しているのも魅力的
数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告
宇宙際タイヒミュラー理論、もう何年もこの不毛な「理解できない」「説明が足りない」の押し問答を繰り返してるな
お察しください
加藤先生は望月先生の最大の理解者であり、IUT理論を世界で一番わかりやすく説明できる人だと思うのだけれど、それでもなお論理の不明瞭さが残る点についてははっきりと指摘するの、さすが数学者だなぁと思う
王様は裸だ❣️
前にNHKスペシャルで、なんとか一般人にも理解できる形でCG駆使してやってたが「んー、、、さっぱりわからん」と思ったもんなあこれ
わかってるはずの人がわかるように説明することができないのおもろいよな(´･_･`)要は誰も説明できないんでしょ
これで最後の一手を加藤氏が解いたらABC予想は加藤の定理になっちゃうのかな
加藤さんの書いたIUT理論の解説本読んだけどめちゃくちゃ面白かったのでオススメ
数学ABC予想の証明に「ギャップ」？ 続く検証、コード化道半ば https://digital.asahi.com/articles/ASV7K2HSCV7KUTFL014M.html 時間をかければ、IUT理論でもコード化はできるとの見解を示した。
Leanとかで形式化することの利点がこういうとこだよね。形式的証明が書ければ文句なく証明が完了するし、書けない部分があればそこが証明として怪しいと浮き彫りになる。
加藤先生理解してないIUTをあんだけヨイショしてたのん？？？？？？？？数学界隈ってそんな感じなの？？？？？？？あと加藤先生のIUTヨイショ本内容薄くて面白くなかった！！！！！！！！数学史の本は面白かった！！！
「我々の言葉で明示的な問いの形で表現できるようになっただけでも重要な進展だ」すごい世界だな…
うん、僕もあれはちょっと変だなと思ってたんですよね。
加藤文元教授は他の報道によると「比較するためには、それらを測るものさしを同じにする必要があり、望月氏は同じだと説明しているが、われわれはその説明を理解しきれていない」と述べています。
証明の解釈が進んで分析が進んだのは素晴らしいこと、こういう枝葉で新規カテゴリーが生まれる印象／https://www.nikkei.com/article/DGXZQOSG1743L0X10C26A7000000/ プログラムで証明検証しているのも魅力的