【数学】ABC予想「証明は本当か？」 欧米で『IUT宇宙際タイヒミュラー理論』論文に異議相次ぐ [しじみ★]
■ このスレッドは過去ログ倉庫に格納されています
数学の超難問「ABC予想」を証明したと京都大数理解析研究所の望月新一教授（51）が発表した宇宙際タイヒミュラー（IUT）理論の論文をめぐり、「本当に証明できているのか？」と欧米を中心に議論になっている。論文は、国際的な専門誌が7年半かけて検証し、正しいと認めたものの、一部の数学者は納得していない。
「不可解な数学の証明が出版される」
英科学誌ニューサイエンティストは4月6日、そんなタイトルの記事を掲載した。フィールズ賞を30歳で受賞した若き天才、独ボン大のピーター・ショルツ教授が「論文には深刻で修正不能な飛躍がある」と批判したのを紹介。英国のある数学者は「証明には欠陥があるという見方に変わってきている。あるグループでだけ認められ、他では認められていないのは悪い状況だ」と指摘した。
ABC予想は、足し算とかけ算という数学の根本についての問いで、証明されれば数々の未解決問題の解決につながるとされる。証明は数学のノーベル賞とされるフィールズ賞級の成果とも言われる。
https://www.asahicom.jp/articles/images/hw414_AS20200501004176_comm.jpg
朝日新聞デジタル
https://www.asahi.com/articles/ASN516HDQN4QULBJ01G.html >>683
複雑なカラクリでボールが転がってくヤツ？ >>669
>>687
一早くこの論文を記事にしたのも朝日新聞だけどなw
最初に快挙かと取り上げ異議百出で現状を正直に伝える。何か問題でも？ >>684 名前：名無しのひみつ[] 投稿日：2020/06/11(木) 20:14:23.03 ID:esIQyss4
>>学校でこれからは三平方の定理も教えられなくなるんだってね。
随分歪曲した切り取り方だな
>>686
の記事から引用すると
>>来春の都立高校の入試で出題範囲から除外する内容を公表した。
>>除外されるのは、中3の教科書で学習する漢字（国語）▽三平方の定理（数学）▽関係代名詞（英語）など。
>>休校の影響に配慮し、中3の出題範囲を7カ月程度で学習できる分量に絞るための措置だという。除外された内容についても、卒業までに学習するよう求める。
だから今年度の入試の出題範囲から除外するだけで卒業までに教えるし、来年度の入試が通年通り行われるなら出題範囲になるので当然来年度からも教える 高々濃度可算でしかない記号の列で表された命題とその論理によって、
それよりも濃度の高い数学対象をなんでも扱える、などと考えるのは
おこがましいとはおもわんかね？ >>698
それ言えるのは任意の濃度の任意の計算規則を構築した奴だけだろ 実数全体の濃度は可算よりも大きい。
だから、個々の実数を特定するために、その定義を有限長の記号の列で記述
していったとしても、そのように定義できる実数の全体は可算の濃度しかなく、
捉え切れていない実数がほとんどすべてだということになる。定義がきちんと
できる実数は例外的な存在なのだ。つまり実数は有限長の記号の列では表せない
ものだらけなのだ。 数学ってそれぞれ証明されたパーツを繋いで理論構築していくから、既存の数学パーツを使わずに新定義ばかりを使ってしまっている時点で数学的じゃないんだろうね。
飛躍を埋めきらない限りは宇宙際タイヒミュラーも望月予想でしかないって事なんじゃないのかな。 ペレルマンやワイルズの時はもっと酷かったな
今回はそもそも誰も口を出せない
Scholzみたいな馬鹿やタオみたいな二流のいっちょかみ以外は >>698
数学の命題なんか高々可算無限しかないから、その真偽をいちいち問題にしてるだけだ、タコ 数学についての記述は、増え続けるにしてもいつの時点でも常に高々可算の
長さしか無いのに、可算ではない対象（たとえば実数）についてどれだけ
迫って扱えるのだろうか。有限長の記号で記述することで定義された実数ですら、
それで定義ができたとしても、一般にはその値を任意の精度で求めたり、
他の実数との大小比較をするための手順（アルゴリズム）が存在しなかったり
するというのに。 >>623
査読は論文の正誤を決める場だよウソつきの猿 >>703
散々口出されてて誰も口だせないキリとか猿も大変だよね色々とｗ 日本人に証明されたくないんだろ
山中のIPSも最初は散々海外で叩かれたからな
特に韓国では毒を入れるとか、基地乙wwwくらい叩かれてたな
どの分野でもそう 再生核研究所声明566(2020.6.23) ゼロ除算は何故、新しい世界を拓くか、新世界か、
数学は何故、不完全であるか
https://www.wantedly.com/users/60525428/post_articles/249719 東工大の加藤先生によれば，新しい事物に対する反応は，数学者であろうと他の分野の人であろうと同じだという。
つまり，若い人ほど新しい事に適応しやすい。順応性があるのだ。
若くて優秀な数学者にこの証明を分かりやすく噛み砕いてもらうしかないだろう。
話はそれるが，半導体の父たる西澤潤一さんの新規性がなかなか認められなかったのも，新しかったから。
年を取ると新しい物は受け入れられなくなるものなのだ。
我々も，年を取ってもなるべく頭を柔らかく保ちたいね。 望月先生の頭脳に世界が追いつくにはこの先少なくとも100年はかかりそう。 >>717
正しいけど価値が認められないのと
間違いだと批判されるのとは全然違うことなんだよ猿ｗ 【動画】 マイト┗ーヤの星
2020/07/17
7,167回視聴
://youtu.be/UyPmMfp0_-k?t=711
不可能なはずの角の三等分
実際紙とはさみではうまくいかないが
頭の中ではうまくいっている
これと似たような感じなのか？
だったら間違ってる証明しろよ
それでも数学者か？ｗ 数学って誰が見ても正しいから価値があるんじゃねぇの？
一部が納得してないってそれ数学者ちゃいますやん IUT宇宙論の解説本が出ただろ
俺でもなんとなく分かったぞ 角を三倍にする作画をビデオにとって、逆回しすれば、角の三等分はできる。
つまり、非可逆過程である。 >>717
西澤潤一は半導体の父じゃないよ
日本半導体の父なあまだわかるけど 他人が理解できない証明に価値は無いよ。このまま歴史に埋もれるだけ。そんなの山ほどあるよ。そう考えると物理的に説明した方が物質の動きで説明可能だから他人には分かりやすいんだろうな。 >>717
偉大な学問的業績の多くは若いころに達成されているというからね。
その天才がのちにもっと偉大なことを成し遂げるかというとそうじゃない。
年齢を重ねるほど経験や知識は豊富になっていくだろうが、そのぶん自由な発想は枯れていく。 証明を機械で行うコンピュータソフトを
開発して、それにやらせれば良い。
その開発に何年かかるか、そもそも可能化？
なこと知らんが．．ｗｗ 数学の世界では天才的な若手研究者の論文を世界的権威の老数学者が理解できず成果が認められないという話は稀によくある話 >>731
これに懐疑的な数学者によると「証明に矛盾がある」（コード化したらエラーが出る）ということでなく
そもそも「コード化出来ない」（プログラミング言語化出来ない）だろって批判してる
AIにやらせるならこれ用のプログラミング言語を独自で新たに開発発明できるAIじゃないと無理だな
ちなみに望月教授以下同士達もコード化は出来ると言ってるがしてはいない >>18
Aは未経験。Bは今回のコロナパンデミック、Cはオウム地下鉄サリンテロで経験済み。 ■ このスレッドは過去ログ倉庫に格納されています
