1: 名無しさん 2020/04/03(金) 15:31:24.22 ID:vZD7bFvM0
【朗報】京大望月教授、ABC予想を解決

620 風吹けば名無し 2020/04/03(金) 14:51:44.55 ID:81dWlu7VM
これってA=B
B=CならA=Cかもしれないっていう予想?
単純やけど証明するのはすごいな

https://headlines.yahoo.co.jp/hl?a=20200403-00010000-kyt-sctch

現代数学で最も重要な難問とされる「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の論文が、同研究所の編集する専門誌「PRIMS」に掲載されることが3日までに決まった。
論文はインターネット上に2012年から公開されていたが、8年越しで専門誌に掲載されることとなる

引用元: https://swallow.5ch.net/test/read.cgi/livejupiter/1585895484/

2: 名無しさん 2020/04/03(金) 15:31:48.20 ID:zhbrf0/R0
ワイもわからん

3: 名無しさん 2020/04/03(金) 15:31:56.92 ID:7Acua1vE0

4: 名無しさん 2020/04/03(金) 15:32:16.89 ID:vVbYytn+0
証明できてるやん凄いな

5: 名無しさん 2020/04/03(金) 15:32:24.66 ID:lp8XzlGdp
名誉なんJ民

6: 名無しさん 2020/04/03(金) 15:32:34.38 ID:jboXWqb/0
なんでそんな単純な問題だと思った

8: 名無しさん 2020/04/03(金) 15:32:42.71 ID:kOo/mdV90
おはKREVA

9: 名無しさん 2020/04/03(金) 15:32:53.70 ID:2PamwwXa0
つまりどういうことや

10: 名無しさん 2020/04/03(金) 15:33:08.74 ID:gLvLJMBhd
A⊃CかつCかつAを示せればいいと思う

11: 名無しさん 2020/04/03(金) 15:33:13.02 ID:QuFRVjip0
こんなんじゃ世界は変わらない

14: 名無しさん 2020/04/03(金) 15:33:46.34 ID:7gFJx4nmp
三段論法やん
理解できててえらい

16: 名無しさん 2020/04/03(金) 15:34:46.42 ID:l+XFl4kJa
可愛い

22: 名無しさん 2020/04/03(金) 15:35:50.73 ID:jJc228U20
かわよ

23: 名無しさん 2020/04/03(金) 15:36:23.81 ID:1fvGCIgMd
定義だけで証明終わりそう

25: 名無しさん 2020/04/03(金) 15:36:31.52 ID:D4WG+vSPd
三段論法は無矛盾律と排中律が真であることを証明すれば証明できるけどこの二つが真であることは証明できないので矛盾許容論理とかがある

29: 名無しさん 2020/04/03(金) 15:37:36.30 ID:QYyE3yq1p
かしこい

30: 名無しさん 2020/04/03(金) 15:37:56.16 ID:CSM8edF30
他の学者はこれがわからなかったんやなぁ

32: 名無しさん 2020/04/03(金) 15:38:04.88 ID:oeYmgI3c0
イコールだから三段論法ですらない

34: 名無しさん 2020/04/03(金) 15:38:27.34 ID:nssq7EP00
こいつもここで証明しちゃったってこと?
なんjって高学歴多いもんな

36: 名無しさん 2020/04/03(金) 15:38:38.33 ID:YtAJ/Kzcr
5000年前くらいだったら天才だったかもしれない

37: 名無しさん 2020/04/03(金) 15:38:40.34 ID:tYNznJkr0
こんな根底すら予想だったら数学やばいな

41: 名無しさん 2020/04/03(金) 15:39:27.90 ID:psa4tRBJM
ちょっとWikipedia見てみたけど何言っとるか全くわからんな
学者ってすげえわほんとに

42: 名無しさん 2020/04/03(金) 15:39:43.32 ID:lToP7NoWd
リンゴは赤い、トマトは赤い、すなわちリンゴはトマトである

49: 名無しさん 2020/04/03(金) 15:41:52.75 ID:o+4NmEV00
>>42
🍏…

61: 名無しさん 2020/04/03(金) 15:44:17.41 ID:Hs14x+B60
>>42
前二つは必要条件を満たしていないんだ…😭
イコールと必要十分は等価なんだ…😭

47: 名無しさん 2020/04/03(金) 15:40:52.41 ID:tVSi4pIWM
でもコイツの考え方実際すごいやん
AとBが同じものってことを証明するの厳密にすればかなり難しいで
一年前の自分と今日の自分と一年後の自分が同じだと証明せよと言われても証明できるやつおらんやろ

52: 名無しさん 2020/04/03(金) 15:42:34.93 ID:oeYmgI3c0
>>47
そもそも同じじゃないやろ

51: 名無しさん 2020/04/03(金) 15:42:12.33 ID:/ajNnKS70
数学J民多そうやから質問ええか?
余弦定理使って図形の問題解くとき
長さを求めるとき正の数の解と負の数の解が出て前者を採用するんやけど負の数の解はどこに行くんや
その情報は失われるんか?

53: 名無しさん 2020/04/03(金) 15:42:38.62 ID:5pX7ttlw0
わからないということがわかったワイの方がすごい

55: 名無しさん 2020/04/03(金) 15:43:25.19 ID:yn8jEPZ60
素数をかけてなんたらかんたら

58: 名無しさん 2020/04/03(金) 15:43:58.11 ID:SCKguSKH0
これって宇宙と宇宙を繋ぐの人?

59: 名無しさん 2020/04/03(金) 15:44:00.96 ID:i4HHCbuQM
だよなンゴ!

62: 名無しさん 2020/04/03(金) 15:44:19.89 ID:mZAqAmwor
この望月の論文、理解できる人がほとんどいないってマジ😲⁉?

66: 名無しさん 2020/04/03(金) 15:45:14.51 ID:YAdUgB4Za
>>62
今とりあえず弟子が理解しましたよって段階
この理論が正しいとして数学界に認められるのはもう10年はかかるだろうな

71: 名無しさん 2020/04/03(金) 15:46:29.34 ID:Q8P6Rkvfa
>>62
まず望月の論文が1000ページあるという

67: 名無しさん 2020/04/03(金) 15:45:41.80 ID:CuUfw99m0
大谷=人間
ワイ=人間
大谷=ワイ

って事か

77: 名無しさん 2020/04/03(金) 15:47:30.63 ID:lLuB58C1p
>>67
大谷は人間である…十分条件
お前は人間である…十分条件
よって大谷≠お前

96: 名無しさん 2020/04/03(金) 15:50:51.04 ID:vyesxaGlH
>>77
大谷本人が書き込んでいる可能性を排除できてないからそれも誤りや

68: 名無しさん 2020/04/03(金) 15:45:46.67 ID:xNtOKqthM
でもこういう考え大事なんや

69: 名無しさん 2020/04/03(金) 15:46:00.50 ID:9vyDmFV00
天才やな

72: 名無しさん 2020/04/03(金) 15:46:33.77 ID:dPHNyTLw0
これノーベル賞とか貰える級のやつ?

84: 名無しさん 2020/04/03(金) 15:48:25.68 ID:jszmTmu+r
>>72
ガチならフィールズ賞余裕や
他に応用出来る証明方法やし

74: 名無しさん 2020/04/03(金) 15:46:58.41 ID:A6Y7PRNz0
関係ないけどクイズとかで
1=2
2=4
なら
3=?みたいな=の使い方好きじゃない

76: 名無しさん 2020/04/03(金) 15:47:27.65 ID:TKKeWXcUr
>>74
わかる

75: 名無しさん 2020/04/03(金) 15:47:13.67 ID:nSbLmugY0
天才哲学者のバートランド・ラッセルは1+1=2であることを証明するために数百ページの本を書いた
イッチはこの“高み”に達してるんや

80: 名無しさん 2020/04/03(金) 15:47:52.77 ID:mslTIali0
3000年前なら歴史に残ってたな

88: 名無しさん 2020/04/03(金) 15:49:11.53 ID:7gFJx4nmp
もし望月照明が正しかったら21世紀最大の数学者になるんかな

91: 名無しさん 2020/04/03(金) 15:49:53.10 ID:UBUt749qa
ソクラテス以来の天才現る

98: 名無しさん 2020/04/03(金) 15:51:00.27 ID:oeYmgI3c0
ABC予想が証明されると、スピロ予想やフライ予想、ボイタ予想などさまざまな数学の難問が一挙に解決するとされる。

証明に350年以上かかった「フェルマーの最終定理」も、ABC予想を発展させると、数ページで簡単に証明できてしまうほどなんやで。

103: 名無しさん 2020/04/03(金) 15:51:49.83 ID:7gFJx4nmp
>>98
素数の世界にも食い込むような証明らしいな
数学の新しい地平を一個丸ごと開くレベルなんかな

100: 名無しさん 2020/04/03(金) 15:51:25.62 ID:JDpMXtrg0
日本人は=も≒も→も←も↔も全部=やと思ってるからな

111: 名無しさん 2020/04/03(金) 15:52:51.94 ID:R/xcb03MM
>>100
それは日本に限らず万国共通や
プログラミングで代入に=使うやろ
クイズでも=よく見るで

107: 名無しさん 2020/04/03(金) 15:52:13.68 ID:Mj9S6DRUp
ノーベル賞に数学がないのが残念やな
あったらこんなん確実に受賞やんけ

112: 名無しさん 2020/04/03(金) 15:53:01.55 ID:lLuB58C1p
>>107
フィールズ賞が権威ありすぎて作る必要なかっただけだぞ

122: 名無しさん 2020/04/03(金) 15:54:39.61 ID:4Rnw2A0AM
>>112
30年以上後に作られるものの方が権威あったってマジ?

115: 名無しさん 2020/04/03(金) 15:53:44.11 ID:hcf0xdhx0
>>107
たしかノーベルの妻が数学者に寝取られたとかやなかったっけ

109: 名無しさん 2020/04/03(金) 15:52:38.37 ID:Sg5p9du60
P≠NPって
ある数式を自分で解く時間のほうが早いか答えを教えてもらってその答えを証明するほうが早いか
っていうやつなん?

110: 名無しさん 2020/04/03(金) 15:52:48.05 ID:MMxvSdIwa
でABC予想解いて何の意味があるん?
数学って学問は社会の役に立つんか?

116: 名無しさん 2020/04/03(金) 15:53:54.74 ID:MesVx2Xt0
>>110
素数に関係する定理はセキュリティにめっちゃ影響しうる

119: 名無しさん 2020/04/03(金) 15:54:18.31 ID:7gFJx4nmp
>>110
50年後100年後のテクノロジーの基礎やろ
今ワイらがパソコンとかスマホ使えてるのも整数論とかの分野で頑張った人の定理を応用してるんやろし

この記事へのコメント