【数学】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 >>584
認めているのは数人で、望月よりも数学力がないやつだけ。
望月より数学力が上で認めている奴は世界で一人もいない。
これが現実。 >>585
納得できないならウェブでもなんでも表明すればいいんじゃね?
>>586
人を簡単に上だの下だの「単一の尺度」で測れない
そういうものを「さまざまな尺度」で測り直し、
ある問題について回答を得る。
これってなんかIUT的かもw >>568
理論そのものをネタの中心に据えるのは数学でも物理学でも難しくて、何より面白くないな >>561
コトバンクでもIUTがITUになってるのはここだけの秘密だ ある日、空に円盤が現れて中から、宇宙人が現れて、
あなた方の学術のレベルは低いですねと自動翻訳機を通じて会話が成立したとする。
そちらの星では我々の「リーマン予想」という命題はどのようになっているので
しょうかと尋ねると、数秒して、それはもう今からあなた方の星の時間で言えば
3千20万年ほど前に解決されていますと回答されたとする。ではその証明を
是非示して下さいと頼むと、しばらくして画面数千頁分の記号が並んだ証明なる
ものを見せられた。それを幾ら観ても何が何だかわからないので頭を抱えていると、
やはりあなた方の知力程度ではこれを理解するのは無理でしょうと言われてしまう。
そういう時代が来るのかな? 最初の仮定が成立する世界なら何でもアリなんじゃないかな。 チンパンジーに、平面初等幾何学を理解させようとしても、
まず無理であるように。人類にもその知力で理解できることに
ついての限界が存在するはずだ。
メモリが256ワードしかない8ビットのマイコンで処理できる内容は
メモリを65Kワード使える16ビットのマイコンで処理出来る内容には
及ばず、さらにメモリを4GBワードまで使える32ビットのマイコンで
処理出来る内容がその上にあり、さらに数テラバイトのメモリを積んだ
CPUで処理できる内容が上をいくように。たしかに無限の長さのテープを
備えていれば、チューリング等価ではあるけれども、仮に片方では
1秒で処理が終わる計算を、もう片方では100年かけても終わらないのなら
現実には人生を使い尽くして負けるだろう。
もっとも、1人の頭で理解せずに、大人数で分散して理解する方法を編み出したり、
先祖代々、何百年何千年と渡って証明をチェック・理解することを家業として
引き継いで、ついにとうとう最後の代の人間が、ああやっと理解が完成した、
というような具合に学問が深まっていく可能性もまったく無いとは限らない。
証明を「理解する」とはどういうことなんだろう?という
根源的な疑問にもブチあたる気がする。
教科書に書かれた定理の証明を丸暗記していつでもそれを
諳んじて口に出せたり、紙に書き出せればその証明を
自らの頭脳の中に持って居ることは確かだが、それが理解
だと言えるかどうか。証明の正しさを一度納得できたと
感じたらあとは綺麗さっぱり主張と結論以外を忘れても良いのか?など。
きっと数学者も、自分が一度やった証明であっても、1年とか何年か
たったら、証明を読んでももう直ちにはすらすらと理解できないことが
あるのでは無いかという気がする。別に認知症にならなくても。 そりゃあ証明を完了すればその後は忘れてしまうさ
いくら自分で示したと言っても後で読めないこともあるし
たとえノートを作ってもそのノートが読めないということもある
って老師がぼやいてた
年齢には勝てん
40過ぎたくらいからこの苦しみが来るんだろう 論文掲載されたんだよね?
さっさと反論したれよショルツ。
専門的なことはマジわからんがいじわる
してるようにしか見えん。将棋の三浦が不正働いたとかエイズウイルス発見のギャロスキャンダルとかと同じじゃないか? この理論を理解するのに10年はかかるらしいな
理論を理解できる外部の人間がいないから証明できないというw >>596
望月先生は真面目にやれば半年って言ってる。
素人的には加藤先生れへの説明が自然と腑に落ちる。
ガロア理論から遠アーベル幾何学、タイヒミュラー理論、対称性通信あたりの話は証明はできずとも、突飛な話はひとつもないと思う。
カッパ関数ってのが何か知らないけど。 再生核研究所声明 561(2020.5.21): T シャツ基本構想:
ゼロ除算の普及と理解を求めながら日本の文化を高め、学生などにアルバイトの
機会を創出するために
http://blog.livedoor.jp/saiseikaku/archives/9514026.html 『IUT宇宙際タイヒミュラー理論』
名前が悪い。嘘くさい。 >>1
ABCは知ってても
それだけ~じゃ困ります 論理的な批判はいいことだ
互いに理解を深めることができるだろう
ただの賑やかしならクソだが >>606
でももう望月先生にしてみればやることやったって感じでしょ。ブログとか読んで気の毒になってきた。
結局数学もお仲間遊びなんだなと思った。 >>607
超頭の良い人達のな
将棋のAリーグでの振り飛車党と居飛車党みたいなものでは やっぱ、テータリリンクがどうにも理解できん
イメージすらできん
なにかきっかけがほしい 7年半も査読してるのに問題があることを証明できてないなら、もはやイチャモンレベルだろ スレに沸いてる再生核なんちゃらのことね↓
足立恒雄 @q_n_adachi 2018年9月19日
昨日「和算とゼロ除算」と題する講演を聴いた。1÷0を0と定義すると
実に素晴らしい結果がたくさん得られるという。どこかの大学の先生と
仲間の二人なので精神に異常があるというわけではないらしい。
全ての数字者は間違っているとか。何を言っても聞きそうにない。宗教的な講演だった。
足立恒雄 @q_n_adachi 2018年9月24日
ゼロ除算のことだが、講演者本人から連絡をいただいた。執筆中の著書の
原稿も拝見したが、私には1/0も含めた体系の定義と演算が厳密に定義で
きているとは思えない。かりにうまく定義できたとしても「その体は複
素数体と同型になる」そうである。すると0で割るということが、(続く)
別のことで言い換えられているということを意味する。つまり元々の
0除算ではないということだ。(同型とは、そっくりそのまま同じと
みなせるということである。)出来上がったのが複素数体なら何も事々しく
言う必要はなくなる。というわけで、私としては終わりにしたいと申し上げた。
https://mobile.twitter.com/search?q=%20from%3Aq_n_adachi%20until%3A2018-09-25&src=typed_query
https://twitter.com/5chan_nel (5ch newer account) 素朴に考えると別宇宙の演算体系に従う集合と直積空間作って同時に演算すれば良さそうなもんだが 東工大の加藤氏は普通に話ができる人っぽいから、この人の研究室の学生にIUTを伝授してもらいたいな
もしそれができれば、すそ野はかなり広がると思うが 批判も肯定もできる頭はないけど
どこに批判できる余地があるのかっていう意見が気になる >>613
加藤先生も全部は理解していないと
>>263の動画の最後の方で言っている >>615
>>263の動画で1:16:16あたりから流れる動画が
それまでの説明から一気に飛躍してるんだよね・・
というかマジで何言ってるかワケ分からんって感じw ◇◆◇ 創価学会と韓国 ◇◆◇
創価学会には在日韓国人の信者が多い。近年、創価学会は海外布教に力を入れているが、
日本以外で最も多くの信者がいる国も韓国である。そのため、韓国には気を遣ってきた。
創価学会の福岡研修道場にある「韓日友好の碑」には、日本を「小国」とし韓国を「師
恩の国」と述べる池田大作名誉会長の詩が刻まれている。また、日本と韓国の創価学会
の代表者が出席した「韓日友好代表者会議」で、池田は以下のようなスピーチを行った。
> 韓国は、日本にとって「文化大恩」の「兄の国」である。「師匠の国」なのであ
> る。その大恩を踏みにじり、貴国を侵略したのが日本であった。ゆえに私は、永遠
> に貴国に罪滅ぼしをしていく決心である。最大限の礼をもって、永遠に貴国と友情
> を結び、貴国の発展に尽くしていく決心である。(『聖教新聞』2000年5月22日付)
創価学会は言葉で韓国に媚びへつらうだけでなく、公明党を通じて在日参政権の実現を
目指しており、日本人信者に対しても、韓国を「兄の国」として敬うよう洗脳している。 HA理論を土台にしていることはぎりぎり理解できた
でもひずみの計測の量感の理論がぜんぜんわからん、、 他の数学者にとって、望月理論が母国語以外の言語を一から学びなおすようなことなら、
まずはその手間を考えて、今不自由なく使えている自国語で賄えないかと思うだろうな。
望月氏にしてみれば、この言語をきちんと学びもしない人が批判しても、意味なしということだろう。
平行線と言えば平行線だと思う。望月理論が結局正しくても、今の数学者にとって普通語の
世界でabc予想が解決できればそちらの方がいいわけだ。
要は望月理論以外はabc予想を解決できないのか?というところだろう。
望月氏はおそらく自分理論以外の既存の数学言語ではabc予想解決は非常に困難であるということなのだろうね。 異議でなく(笑)俺様が理解できない論文は認めたくない〜
でも、間違ってるところを指摘できてな〜い
じたばた >>619
ABC予想の証明しかすることないなら別だけど、そうじゃないから面倒なことはしたくないってのが人情だろ。数学者だって人間。 >>615
理解してないとは言ってないでしょ。理解しているつもりだけど、
誰かから突っ込まれたら、果たして全部こたえられるかどうか
みたいなニュアンスだよ。自分では理解しているつもりでも
どこかでヌケがあったら怖いからそこを自嘲気味に言っているだけ。
>>616
無限個の素点を違う舞台で同時に同期しながら
ゆがみを評価していくなんて難しいことしてるから
正直もう一般人には比喩では説明できても実際の
数式(遠アーベル幾何学的ななにかの群の復元操作)
とか説明はあの時間では無理でしょ。
果たして思うんだけど、この状況って無理ゲーなのかな、と思った。
なぜか。
・数学者にとっても専門的な内容を少なくとも遠アーベル幾何学
IUT的思考、楕円曲線のホッジ・アラケロフ理論などを理解したうえで
ABC予想の命題を証明するという難しさ
・上記を500ページからなるまとまった論文を読んでりかいしなければならない
・IUTによるABC予想の証明が正しい声を上げても利益がない >>622
上記のようにあまりに無理ゲーなので
スモールステップの法則じゃないけど、
段階を追っていくしかないかなという。
・1章から4章までを別々の論文と考え、
順番に正しいか正しくないか詰めていく
いっぺんに全部は無理かもしれないけど、
1章ずつ、
「1章はOKだよね」「2章はOKだよね」
「3章もOK」「4章もOK」
あれ、IUTもABC予想も解けた、みたいなこと
やるしかない。
それでもハードルは高いだろうから、
それをきちんと証明というか正しいと誰もが
納得する形でOK出してくれた人には
京大が1章証明で1000万とかお金出すとか。
そんなことするぐらいしか状況動かないん
じゃないかと思う。
もしくはIUTとABC予想をの正しさを担保した
うえでさらに面白い研究論文を発表した
人に賞金を出すとか。 アビガン潰しと共通してる
ジャップは低級民族 ジャップはいいもの作れない >>24
単なる証明の問題じゃないんだ。
証明をするために新しい理論(IUT)を構築し、
その内容を理解をしないと証明がわからないと
いう建付けになっている。
普通は理論は複数の数学者で構築していて
それは数学者間で共有されているから
証明の白黒はまだわかりやすいんだけど、
理解するにはまず理論(望月教かもしれない現時点では)
の勉強から始めなければならない。
エスタブリッシュした数学者はあえてその
膨大な理論を勉強する必要がないし、
初学者は海のものとも山のものともわからない
理論と心中して人生を台無しにしたくない。
だから誰も近寄らないので解決を遅くしている。 >>1
数学なんだから論文の何行目がこうおかしいって指摘するだけでいいんじゃないの?
論争とかじゃなくて >>627
まさにそれだよね。
そして実用面がまったく応用が現時点できいてない
わけで、この理論を積極的に理解したいと思う人が
出てこない。
なにか実用面で面白いことがおきるとブレイクスルー
するかもしれんよね。
たとえばよくわかんないけど、数学の高度な
理論が量子力学で証明されるとか。
ゼータ関数を解析接続してn=-3のばあいの値が
量子力学のカシミール効果を示す式にで出てくる、
みたいな。よく知らないけどゼータ関数とカシミール効果
なんて最初はまったく関係なかったんでしょ?
>>628
それ指摘してどーすんの?軽微な間違いで望月先生が直したら望月先生の功績
それが本当に間違いで証明成り立たなかったら、指摘した人の功績にもならない。
間違ったこと指摘しただけだから。
こういう難しい理論、大予想ってどういう過程で認知されて
いくんだろうね。 >>611
同じ講演を聞かれた、長年尊敬する 著名な名誉教授先生からは
ゼロ除算は 数学界の盲点であった、ゼロ除算は大分進歩しましたね
との温かい励ましを頂いた。
講演に基づく、論文は既に公刊されて、どんどん発展されている。
数学の真相を、独断や偏見に寄らず、人類の名誉を掛けて 真相を明らかにして欲しい。
人の生きるは、真智への愛、神の意思を推し量ることである:
bibitem{os1811}
H. Okumura and S. Saitoh,
Wasan Geometry and Division by Zero Calculus,
Sangaku Journal of Mathematics, {\bf 2 }(2018), 57--73.
再生核研究所声明539 (2020.2.2) ゼロ除算誕生 6周年を迎えて 査読通ったってことは、著者は当然として少なくとも査読者は内容を理解してるんだよな? >>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だったかな?)の不変式の
基底が有限になることを示すために長年に渡って具体的に構成する
手段で証明をしていた。
ところが、ヒルベルトがある条件の下で基底が有限になることを
まったく一般的に、構成的ではない手段で証明してしまったのだという。
その結果をしってゴルダンは、これはもはや神学だと叫んだといわれている。 学校でこれからは三平方の定理も教えられなくなるんだってね。 ■ このスレッドは過去ログ倉庫に格納されています