【数学】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 >>625 >>633
ここに面白い記述がある
タイヒミュラー 天才数学者 狂信的ナチ amazonで検索 数って不思議だよな
PCでよく使う2の倍数、512とか2048とか
2の倍数なのに5で割って10をかけると次の倍数になったりね
なんとなくそんなものをよく見つけるけど
証明はたぶん簡単なんだけども 連投になるけど十進数で5が二分の一だから当然だけど
この実在する宇宙で最小の1が存在するとして、それは自然数なのだろうかね
それがずっと子供の頃からの最大の疑問なのだけど
つまりこの世界の実在するエネルギーなり空間なりを二で割り続けたら限界はあるのかという >>637
> 2の倍数なのに5で割って10をかけると次の倍数になったりね
÷5×10=×2 だからそりゃね 人類が将来進化したら、全体的に知力が下がってしまい、
昔の学者が証明を書いてそれを理解し正しさを確認できていたのが
将来の人類にはもはや証明を追うこともできないレベルに知能が
低下してしまったとすると、過去の学問の蓄積や積み上げは廃墟も
同然となろう。そうしてこういうしかなくなる、昔は良かったと。 逆じゃないかな
昔の人類はなんであんな初歩的な事が理解出来なかったのか不思議、となると思う
アインシュタインの相対性理論だって今では当たり前になってきているでしょ? >>1
正直、難しすぎて
正しいのか正しくないのか
わからない
それだけ望月教授が凄いってことよ 数学は「正しいか否かだけ」を問うはずが、現代数学では「誰が言ったか、誰が支持したか」がますます重視されつつあるようで怖い。SNSで数学者自身が気軽にお気持ちを発するようになったからだろう。 とりあえず、望月氏はこのタイヒミュラーとかいう理論で別の難問を証明して見て欲しい
その結果が別の簡単な証明と一致するかで本当に正しいかがわかるんではないかな? 反論以前に理解できないという反応だよなあ それなりに多くの人に理解できるように説明できないと ヨーロッパ人の嫉妬ですね
くやしいのぉ悔しいのぉ
ですよこれはハイ! >>10
最初から最後まで捏造なのと、論理的に問題があるかも知れないってのを混同するなよ。
文系の俺にもわかるわ。 >>645
難しいよ。そもそもIUTがタイヒミュラー理論にヒントを得て、積と和を別々に考えるために
考えられたものだから。ものすごく特殊。
こんな考え方が必要なものってなかなかない。
誰かがなにかの難問にたどり着いて、それが
この構造に起因する難問だったときIUTは応用されるだろうね。 論理的な批判はいいことだ
互いに理解を深めることができるだろう
ただの賑やかしならクソだが 次のモノリスが見つかるまで多くの地球人が理解するのは難しいのかも知れん。
ただ、現代の人類はモノリスよりスマホっていう四角い薄っぺらい板に取り憑かれて
スターチャイルド化してるから無理かもだ。 これを記念して宇宙堆肥祭ってのを村興ししないのかな?
正しくても正しくなくても妖怪ロードみたなもんと思えば良いし。 >>591
数千項の記号は逆に頭悪そう、
A4用紙1枚にさらっと書いてる感じだろ 難しいという感覚より、生涯かけてプライドをかけて信じていたものが
役に立たないと否定される感覚を味わう感じかな
むかし、数学が闇の宗教だったころすべての数字は分数で表せると信じられていた
√2が分数で表せないことを発見した信者がいて、それを説明したら
宗教団体から処刑された
というのをフェルマーの定理という本で読んだ記憶があるんだが
そのくらい信じていたものが否定されることに対して拒否反応がある
変なプライドがあれば特にね
なんて思った 数学って厨二病さそうなあー。数学もの読んでみようかな。 宇宙際タイヒミュラー理論の「宇宙際」って、なんなの? 宇宙際の際は国際の際と同じ
国際的って言葉の意味は当然分かると思うけど
じゃあ宇宙際的って言われたらどういう意味になりそうか考えてみるといいかと >>654
宇宙人の能力がその情報を一瞬で処理できる方に進化しているとは考えんのか?
カピバラが文字や数学について論評するようなものかもよ。 >>655
信じていただけならまだしも、側から見てとるに足らんようなものでも
体制崩壊につながるような考えは排除される。
薔薇の名前とかもそういう話だった。
現代社会でも似たようなものが多くあるけどな。 カントールの集合論を読んで、クロネッカーはこんな数学は頭がおかしいといって
批判し迫害した。その結果カントールは精神を病んだとか。 数学を研究すると精神を病んでしまうことがあるみたいだが望月先生は大丈夫? >>658
構造主義とカテゴリー主義という2つの考え方(宇宙:Universe)の間を行き来する(際:Inter)理論
ここでお願いがあります。 誰か上記の文章を日本語に訳してくれませんか? 俺は日頃から統合失調症者と親いのであるが
思考の宇宙際タイヒミューラー理論に発展させて
彼らの宇宙と存分に語れたらと思う。 ソースが朝日新聞デジタルって
また日本人に先越されたなんて悔しくてしょうがないよな ww 先越されたと言うか斜め上と言うか予想外と言うか規格外と言うか人類外と言うか 論文読んでるけど、歪みの量の計測のところ理解がむつかしい、、
誰か解説してー 読むあたっての前提知識が数学科卒じゃない人たちには高すぎ 数学者にも高すぎるらしいけど
群論とか圏論辺りからすでにそんな感じだけど、群論くらいまでなら趣味で手を出してる人居る?
まあABC予想自体が楕円関数の本質的な部分じゃないかって説があるから、成立する前提で研究進むのは数学とは無関係な人にも直接的に恩恵がありそうだから楽しみ >>74
5/29
【数学】数学の超難問「ABC予想」は証明されたか 京大・望月教授の論文掲載へ、理解できるのは世界で10人? [しじみ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1590737725/ 証明されてることを証明せよ、
というのが 世紀の難問というか 笑 >>544
当時の庶民は理論の存在すら知らんのが大多数だろ 昔、ゴルダンという学者が、ある群(SL2だったかな?)の不変式の
基底が有限になることを示すために長年に渡って具体的に構成する
手段で証明をしていた。
ところが、ヒルベルトがある条件の下で基底が有限になることを
まったく一般的に、構成的ではない手段で証明してしまったのだという。
その結果をしってゴルダンは、これはもはや神学だと叫んだといわれている。 学校でこれからは三平方の定理も教えられなくなるんだってね。 >>683
複雑なカラクリでボールが転がってくヤツ? >>669
>>687
一早くこの論文を記事にしたのも朝日新聞だけどなw
最初に快挙かと取り上げ異議百出で現状を正直に伝える。何か問題でも? >>684 名前:名無しのひみつ[] 投稿日:2020/06/11(木) 20:14:23.03 ID:esIQyss4
>>学校でこれからは三平方の定理も教えられなくなるんだってね。
随分歪曲した切り取り方だな
>>686
の記事から引用すると
>>来春の都立高校の入試で出題範囲から除外する内容を公表した。
>>除外されるのは、中3の教科書で学習する漢字(国語)▽三平方の定理(数学)▽関係代名詞(英語)など。
>>休校の影響に配慮し、中3の出題範囲を7カ月程度で学習できる分量に絞るための措置だという。除外された内容についても、卒業までに学習するよう求める。
だから今年度の入試の出題範囲から除外するだけで卒業までに教えるし、来年度の入試が通年通り行われるなら出題範囲になるので当然来年度からも教える 高々濃度可算でしかない記号の列で表された命題とその論理によって、
それよりも濃度の高い数学対象をなんでも扱える、などと考えるのは
おこがましいとはおもわんかね? >>698
それ言えるのは任意の濃度の任意の計算規則を構築した奴だけだろ 実数全体の濃度は可算よりも大きい。
だから、個々の実数を特定するために、その定義を有限長の記号の列で記述
していったとしても、そのように定義できる実数の全体は可算の濃度しかなく、
捉え切れていない実数がほとんどすべてだということになる。定義がきちんと
できる実数は例外的な存在なのだ。つまり実数は有限長の記号の列では表せない
ものだらけなのだ。 数学ってそれぞれ証明されたパーツを繋いで理論構築していくから、既存の数学パーツを使わずに新定義ばかりを使ってしまっている時点で数学的じゃないんだろうね。
飛躍を埋めきらない限りは宇宙際タイヒミュラーも望月予想でしかないって事なんじゃないのかな。 ペレルマンやワイルズの時はもっと酷かったな
今回はそもそも誰も口を出せない
Scholzみたいな馬鹿やタオみたいな二流のいっちょかみ以外は >>698
数学の命題なんか高々可算無限しかないから、その真偽をいちいち問題にしてるだけだ、タコ 数学についての記述は、増え続けるにしてもいつの時点でも常に高々可算の
長さしか無いのに、可算ではない対象(たとえば実数)についてどれだけ
迫って扱えるのだろうか。有限長の記号で記述することで定義された実数ですら、
それで定義ができたとしても、一般にはその値を任意の精度で求めたり、
他の実数との大小比較をするための手順(アルゴリズム)が存在しなかったり
するというのに。 >>623
査読は論文の正誤を決める場だよウソつきの猿 >>703
散々口出されてて誰も口だせないキリとか猿も大変だよね色々とw 日本人に証明されたくないんだろ
山中のIPSも最初は散々海外で叩かれたからな
特に韓国では毒を入れるとか、基地乙wwwくらい叩かれてたな
どの分野でもそう 再生核研究所声明566(2020.6.23) ゼロ除算は何故、新しい世界を拓くか、新世界か、
数学は何故、不完全であるか
https://www.wantedly.com/users/60525428/post_articles/249719 東工大の加藤先生によれば,新しい事物に対する反応は,数学者であろうと他の分野の人であろうと同じだという。
つまり,若い人ほど新しい事に適応しやすい。順応性があるのだ。
若くて優秀な数学者にこの証明を分かりやすく噛み砕いてもらうしかないだろう。
話はそれるが,半導体の父たる西澤潤一さんの新規性がなかなか認められなかったのも,新しかったから。
年を取ると新しい物は受け入れられなくなるものなのだ。
我々も,年を取ってもなるべく頭を柔らかく保ちたいね。 望月先生の頭脳に世界が追いつくにはこの先少なくとも100年はかかりそう。 >>717
正しいけど価値が認められないのと
間違いだと批判されるのとは全然違うことなんだよ猿w 【動画】 マイト┗ーヤの星
2020/07/17
7,167回視聴
://youtu.be/UyPmMfp0_-k?t=711
不可能なはずの角の三等分
実際紙とはさみではうまくいかないが
頭の中ではうまくいっている
これと似たような感じなのか?
だったら間違ってる証明しろよ
それでも数学者か?w 数学って誰が見ても正しいから価値があるんじゃねぇの?
一部が納得してないってそれ数学者ちゃいますやん IUT宇宙論の解説本が出ただろ
俺でもなんとなく分かったぞ 角を三倍にする作画をビデオにとって、逆回しすれば、角の三等分はできる。
つまり、非可逆過程である。 >>717
西澤潤一は半導体の父じゃないよ
日本半導体の父なあまだわかるけど 他人が理解できない証明に価値は無いよ。このまま歴史に埋もれるだけ。そんなの山ほどあるよ。そう考えると物理的に説明した方が物質の動きで説明可能だから他人には分かりやすいんだろうな。 >>717
偉大な学問的業績の多くは若いころに達成されているというからね。
その天才がのちにもっと偉大なことを成し遂げるかというとそうじゃない。
年齢を重ねるほど経験や知識は豊富になっていくだろうが、そのぶん自由な発想は枯れていく。 証明を機械で行うコンピュータソフトを
開発して、それにやらせれば良い。
その開発に何年かかるか、そもそも可能化?
なこと知らんが..ww 数学の世界では天才的な若手研究者の論文を世界的権威の老数学者が理解できず成果が認められないという話は稀によくある話 >>731
これに懐疑的な数学者によると「証明に矛盾がある」(コード化したらエラーが出る)ということでなく
そもそも「コード化出来ない」(プログラミング言語化出来ない)だろって批判してる
AIにやらせるならこれ用のプログラミング言語を独自で新たに開発発明できるAIじゃないと無理だな
ちなみに望月教授以下同士達もコード化は出来ると言ってるがしてはいない ■ このスレッドは過去ログ倉庫に格納されています