元スレ:https://egg.5ch.net/test/read.cgi/scienceplus/1590737725/
1: しじみ ◆fbtBqopam767 しじみ ★ 2020/05/29(金) 16:35:25.63 ID:CAP_USER
京都大は4月、同大数理解析研究所(数理研)の望月新一(もちづき・しんいち)教授が、長らく未解決だった数学の超難問「ABC予想」を証明したと発表した。数理研が編集する国際専門誌「PRIMS」に掲載する。予想は今後新たな「定理」として生まれ変わるが、海外の研究者からは批判も出ており、論戦が活発化しつつある。望月氏の論文は独創的な理論を駆使しており、世界でも内容を理解できているのは10人程度とされる。

 ▽ABC予想とは

 ABC予想は、整数の足し算と掛け算の関係にまつわる予想で、1985年に欧州の2人の数学者が提唱した。内容はこうだ。共通の約数(公約数)を持たない自然数A、Bと、これを足した数Cが登場する。A、B、Cを素因数分解(素数の掛け算に分解)し、出てきた素数を1回ずつ掛けた数Dとする。DとCを比較した場合、Cのほうが大きいことはほとんどないという。

 例えばAが11、Bが25だった場合、Cは36になる。Aは素数なので素因数分解しても11、Bは5の2乗、Cは2の2乗掛ける3の2乗となる。2乗は「2回登場した」と考えるので、これらの素因数全てを1回ずつ掛けると(11×5×2×3)とDが計算できて、その値は330だ。これはCよりも大きい。

 一方、Aが1、Bが8、Cが9のような場合はCの方が大きくなるが、こういうケースはそう多くはないというのがABC予想だ。

 ▽別の宇宙

 当たり前のことを言っているようにも思えるが、証明するのは難しい。望月氏は、新たに構築した「宇宙際タイヒミューラー理論」に関する4編、約600ページに及ぶ論文で、結論の一つとしてABC予想が証明できるとした。「宇宙際」とは、国と国の関係を示す「国際」のように、異なる数学の宇宙の間の関係を扱う理論という意味。タイヒミューラーは扱う対象は違うが似たような考え方をしたドイツの数学者の名前から取った。

 ABC予想は不等式で表される。不等号の片方が三つの数の足し算に関係した量、もう一方は同じ三つの数の掛け算にまつわる量だ。両者の大小関係について述べるために、足し算と掛け算の関係に立ち入らざるを得なくなっている。

 足し算と掛け算の関係を明らかにすることは、両者が絡み合った既存の数学の枠組みだけでは難しく、望月氏の理論では、足し算と掛け算の関係を変形させたもう一つの枠組み、いわば“別の宇宙”を用意した。

それぞれの宇宙の中では問題なく計算が実行できるが、結果を比較しようとすると食い違いが出てしまう。それぞれの宇宙で「30センチの定規」とされているものの長さが違う、そんな状況だ。

 ただし異なる宇宙の間では、通信が可能だ。互いの姿を完全に知ることはできないが、相手がどの程度自分と違っているかという情報を得て、相手のイメージを描く。二つの異なる宇宙間でそれぞれ出した計算結果の大小関係を、この特殊な通信を通じて探る。ABC予想における不等式の証明に利用したのだ。

続きはソースで


https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040101000p/8.jpg
https://amd.c.yimg.jp/amd/20200525-00000001-yonnana-001-2-view.jpg


関連スレ
【数学】ABC予想「証明は本当か?」 欧米で『IUT宇宙際タイヒミュラー理論』論文に異議相次ぐ [しじみ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1588656131/

https://news.yahoo.co.jp/articles/a52146dc8fabd8a5dbf726dff041f71e23a24fd3

5: 名無しのひみつ 2020/05/29(金) 16:45:48.22 ID:MvczEzQh
Cのほうが大きいことはほとんどない

ほとんどってなんやねんw

6: 名無しのひみつ 2020/05/29(金) 16:49:20.43 ID:3X5iGpfn
何の役に立つんだ
コロナで苦しむ国民に希望を与えるようなものはないの

7: 名無しのひみつ 2020/05/29(金) 16:54:50.59 ID:n5scpUBK
イソ子は関係ありません

17: 名無しのひみつ 2020/05/29(金) 17:16:41.81 ID:RK6sp8zl
ちなみに、望月は朝鮮系の帰化人。

18: 名無しのひみつ 2020/05/29(金) 17:17:36.83 ID:7q0BkgxL
証明できたとすると、新たな暗号にでも利用できるのかね

31: 名無しのひみつ 2020/05/29(金) 18:02:42.48 ID:F5KqJzwg
なんだ俺以外に10人も理解できるのか。

32: 名無しのひみつ 2020/05/29(金) 18:05:30.17 ID:F6arCmvM
>Cのほうが大きいことはほとんどないという。

この時点でもうね…

34: 名無しのひみつ 2020/05/29(金) 18:07:57.79 ID:FghHJ6h5
おまえはどうせAまでもいってないだろ?
おれはBまでいったけどな!

35: 名無しのひみつ 2020/05/29(金) 18:23:06.63 ID:dp96VSN/
東洋に賢者が現れる。この人物の偉大な教えは大海と国境を越え世界に広がるが、
人々はこの真実の教えをウソと決め込み、あまり長い間信じることはない。

37: 名無しのひみつ 2020/05/29(金) 18:33:19.79 ID:dp96VSN/
虚数だって当時は役に立たないものと思われていたんでしょ

48: 名無しのひみつ 2020/05/29(金) 19:33:44.56 ID:do9K72ne
定期的にこのネタ上がってくるよなぁ
もうほとんど否定されてるけど

50: 名無しのひみつ 2020/05/29(金) 19:52:19.01 ID:N+jC2zz4
理解できないことと、間違っていることとは当然違う。
間違っていると思うなら数学で示すべきだ。それ以外の手段は無い。

59: 名無しのひみつ 2020/05/29(金) 21:08:27.63 ID:i9GftrJX
パンツピーラーなら知っとる。

63: 名無しのひみつ 2020/05/29(金) 21:26:48.22 ID:DixcbLKC
数学の巨頭同士が直接会って話し合っても
「ここ、間違ってる」
「いや、お前が勘違いしてるだけ」
と、らちが明かず、双方相手方を説得できなかったってんだから、
皆が納得して合意できるようになる日が本当に来るんだろうか。

77: 名無しのひみつ 2020/05/29(金) 23:17:14.71 ID:SpPbdJ91
c>d^1+eが無限に存在できる謎な仕組みの数学世界を
こちらの世界の数学で作った漉網ですくったら全部拾えるかどうか
って筋の証明だろ?
想定する対象読者をバカにしすぎてないか毎日

78: 名無しのひみつ 2020/05/29(金) 23:17:26.56 ID:GO87F5lf
1, 2, 3 のように簡単でした。また、ドレミのように簡潔でした。

81: 名無しのひみつ 2020/05/29(金) 23:34:06.85 ID:RWkY0mRi
ラングランスプログラム忘れた

87: 名無しのひみつ 2020/05/30(土) 00:18:09.33 ID:NLU1O6e6
「わかる奴だけわかれば良い」のスタンスじゃなくて、もっと万人にわかるように説明するのスタンスになって欲しいな

89: 名無しのひみつ 2020/05/30(土) 00:29:20.97 ID:USdBAFIP
あー完全に理解したわ、理解したけどおまえらに説明できる自信がないわ、すまんな!

100: 名無しのひみつ 2020/05/30(土) 04:31:28.47 ID:r/V31IwJ
望月さんって、クラーク・ケントに似てる

105: 名無しのひみつ 2020/05/30(土) 09:10:37.15 ID:+nk6Pfu3
モーツァルトの音楽を理解できたサリエリもすごい音楽家なんだよ

121: 名無しのひみつ 2020/05/30(土) 17:53:38.05 ID:XZeJo1Hh
新聞がいかに適当に記事書いてるかわかるな

123: 名無しのひみつ 2020/05/30(土) 18:16:14.15 ID:PJW/h073
数学はオナニーだよ。
最近の数学はまったく役に立たない。
「役立つ」と言ってる数学者がいるが、
立場上言ってるだけ。

126: 名無しのひみつ 2020/05/30(土) 21:14:47.60 ID:+GAgRogi
数学は役立つよ
直ぐに結びつかないだけ、K国みたいな目先の利益だけを考えるなら

147: 名無しのひみつ 2020/06/01(月) 11:14:50.99 ID:mecuqoYo
DFASH

163: 名無しのひみつ 2020/06/01(月) 14:58:00.28 ID:+Bfhu7lP
問題は理解できる第一人者が欧米の数学コミュニティに存在しない事だな
既存のコミュニティほっといてIUT使って独自の数学体系進めてリーマン予想証明しようず

175: 名無しのひみつ 2020/06/02(火) 19:58:29.21 ID:lsiXo++0
Universal って宇宙と訳すよりも、広汎のとか大域のとかが適当なんじゃないの?

全集合 = Universal Set

など

184: 名無しのひみつ 2020/06/03(水) 15:26:42.81 ID:F2Uy0tSt
cカップは至高

193: 名無しのひみつ 2020/06/04(木) 05:30:30.11 ID:sMsKrKXr
こんな命題に、こんな名前をつけてしまうセンスがすごい

スポンサーリンク