20/04/03(金)14:07:03 未解... のスレッド詳細
削除依頼やバグ報告は メールフォーム にお願いします。個人情報、名誉毀損、侵害等については積極的に削除しますので、 メールフォーム より該当URLをご連絡いただけると助かります。
画像ファイル名:1585890423930.jpg 20/04/03(金)14:07:03 No.676468183
未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授(51)の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読(論文の内容チェック)に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」(1995年解決)や「ポアンカレ予想」(2006年解決)の証明などと並ぶ快挙となる。
1 20/04/03(金)14:11:39 No.676468907
宇宙際タイヒミューラー論通ったのか
2 20/04/03(金)14:13:25 No.676469212
あまりにも難解すぎて理解できる人がほとんどいなくてほぼ無視されてきたんだけどどうなんでしょう
3 20/04/03(金)14:14:29 No.676469384
今これ読んでた https://books.j-cast.com/2020/03/18011145.html かけ算の伸縮とかひずみの定量的評価とか数学にしては面白そうな話なんだなIUT
4 20/04/03(金)14:15:24 No.676469534
快挙なことはわかった
5 20/04/03(金)14:16:56 No.676469785
不等式みたいな不定性を駆使して証明するのか…しんどそう
6 20/04/03(金)14:17:47 No.676469924
査読にかかった時間やべえ ずっと査読に専念してたわけじゃないだろうけど
7 20/04/03(金)14:19:07 No.676470133
査読してる方も天才集団だろうに8年かぁ…
8 20/04/03(金)14:19:58 No.676470261
rimsの専門が近い人は割と正しいって意見だよね
9 20/04/03(金)14:20:44 No.676470385
数学五大難問はそれの証明に至るプロセスとして使えそうじゃない?って説の論文を出すだけで 数学界最高の賞であるフィールズ賞をもらえることがあるぐらいの難問揃い (ノーベル氏が数学者に恋人寝取られたからノーベル数学賞ないしね)
10 20/04/03(金)14:21:38 No.676470528
数学学者って頭おかしくなったりしないのかな
11 20/04/03(金)14:21:40 No.676470532
数学の新しい一分野になり得るレベルの体系を発想して発展させてまとめた上での証明だからなあ もうちょい小出しにしろよ…と思ったが元々小出しで論文出してた気がする
12 20/04/03(金)14:22:42 No.676470713
>数学学者って頭おかしくなったりしないのかな なってる時点でおかしい
13 20/04/03(金)14:23:41 No.676470866
>数学学者って頭おかしくなったりしないのかな する 四色問題の亡くなったナッシュ博士とか ポアンカレ予想に挑んで統合失調症患ったよ 証明論文の講義中に頭おかしくなってぶっ倒れた
14 20/04/03(金)14:24:39 No.676471019
望月教授はABC予想を証明したこともそうだけどそもそも育ちのスペックも大概おかしい フィクションなら盛りすぎて駄目出しされるレベル
15 20/04/03(金)14:24:58 No.676471066
うどんの妖精みたいなのがいるんだな
16 20/04/03(金)14:25:15 No.676471107
ガリレオ
17 20/04/03(金)14:25:24 No.676471134
>望月教授はABC予想を証明したこともそうだけどそもそも育ちのスペックも大概おかしい >フィクションなら盛りすぎて駄目出しされるレベル 名前の時点でフィクション度が高い
18 20/04/03(金)14:25:38 No.676471178
ナッシュ均衡の人そんなことになってたのか…
19 20/04/03(金)14:26:17 No.676471284
やっぱ隠居してキノコ狩りしないと精神の安定は保てないよな
20 20/04/03(金)14:26:34 No.676471325
https://this.kiji.is/618675747755459681?c=39550187727945729 もう証明されたってことでいいの?
21 20/04/03(金)14:27:52 No.676471534
狂った人も自殺した人もいっぱいいる
22 20/04/03(金)14:29:00 No.676471710
>ナッシュ均衡の人そんなことになってたのか… ごめんナッシュ博士が挑んで1958年頃に頭パーンなったのはポアンカレ予想じゃないリーマン予想だ ポアンカレ予想はロシアが産んだド変人こときのこ狩りの男が証明したやつ
23 20/04/03(金)14:31:14 No.676472051
査読通ったってことはあってるってことなのかなそれすら俺にはわからん…
24 20/04/03(金)14:31:57 No.676472178
本当にリーク通りprimsから出すんだ…編集長が本人だから通常の慣例ではかなりよろしくないという人も多い まあこの後ちゃんとIUT応用した成果がでればそれでいいんだけど
25 20/04/03(金)14:32:11 No.676472228
書き込みをした人によって削除されました
26 20/04/03(金)14:32:21 No.676472252
同じサイズの卵をもっとも効率よく詰め込む方法を 計算で証明するのも100年未解明とかあったな
27 20/04/03(金)14:32:53 No.676472352
>もう証明されたってことでいいの? 本人と京大は証明できたと言ってるけど 世界的に言えば論文理解できるひとが少なすぎてまだ半信半疑もしくはスルー 少なくとも万人が証明できたと認めてる段階ではないね
28 20/04/03(金)14:33:48 No.676472516
http://taro-nishino.blogspot.com/2019/03/blog-post063.html なんかあれだな、内容うんぬんもそうだけど単純に人間関係とか権力とかその辺りまで絡んでくるんだな
29 20/04/03(金)14:34:12 No.676472576
本人のブログのコメントに統失っぽいコメントが並んでて怖い
30 20/04/03(金)14:35:01 No.676472709
凄いこと以外なにもわからない
31 20/04/03(金)14:35:33 No.676472785
Ph.D.持ってる時点で相当ヤバいからな…
32 20/04/03(金)14:35:38 No.676472800
望月教授って後継者居ないのかな… 同じレベルの理解者が存在しない孤独感って凄いんだろうなぁ…
33 20/04/03(金)14:36:24 No.676472941
>>もう証明されたってことでいいの? >本人と京大は証明できたと言ってるけど >世界的に言えば論文理解できるひとが少なすぎてまだ半信半疑もしくはスルー >少なくとも万人が証明できたと認めてる段階ではないね それ2012年で今回はようやく認められたってニュースじゃない? この論文が出たのって8年前だし
34 20/04/03(金)14:36:47 No.676473002
ポアンカレ予想も 「証明論文がネットに転がってるけど何言ってるのかさっぱり分からんこと書いてある」 「どうせまた耳目を集めるためのホラだろ …何書いてあるのかさっぱり分からん」 「お前プロの数学者だろ冗談言ってないで一応査読しようぜ …何書いてあるのかさっぱり分からん」 って声が世界中に溢れて仕方がないから 正しさを証明する立場の人達に何が書いてあるのか検証するため 頭の中の数学道具の使い方を教えてくださいってお手紙を出すハメになった
35 20/04/03(金)14:37:07 No.676473047
>望月教授って後継者居ないのかな… >同じレベルの理解者が存在しない孤独感って凄いんだろうなぁ… 研究室には内容しっかり理解した上で海外の研究者向けに知名度と理解度を挙げるためのワークショップとかやってる人ぐらいはいた気がする あとこんだけ注目されれば京大はもちろん東大東工大からもガンガン数学者が来る
36 20/04/03(金)14:37:36 No.676473123
ABC予想を証明するために既存の数学とは全く異なった独自の理論体系を作っちゃった人だから 査読しようとするとまずこれまで培った数学知識を全て捨てて この独自理論をもう一度一から学び直して数学知識を再構築する必要があるから査読できる人がほとんど居ない
37 20/04/03(金)14:37:43 No.676473140
BUNGENさんには一般書や宣伝の前にこれを応用した論文を書いて欲しいんですけお… そしたらショルツ達も納得するだろうに
38 20/04/03(金)14:38:05 No.676473203
数学者って頭いいけどご飯食えんのか心配だわ…
39 20/04/03(金)14:38:43 No.676473297
>数学者って頭いいけどご飯食えんのか心配だわ… 昔っから数学者は実家が相当金持ちかパトロン捕まえないと赤貧の中で死んでいってるからな…
40 20/04/03(金)14:38:43 No.676473300
>BUNGENさんには一般書や宣伝の前にこれを応用した論文を書いて欲しいんですけお… >そしたらショルツ達も納得するだろうに 理論の基礎が理解できてないのに応用例を見せられたところで納得できないだろ
41 20/04/03(金)14:38:47 No.676473313
>ABC予想を証明するために既存の数学とは全く異なった独自の理論体系を作っちゃった人だから 天才だということだけはわかった
42 20/04/03(金)14:39:14 No.676473396
もうすでに数学の常識ブッコワシテル人なの!?
43 20/04/03(金)14:39:23 No.676473417
>ABC予想を証明するために既存の数学とは全く異なった独自の理論体系を作っちゃった人だから >査読しようとするとまずこれまで培った数学知識を全て捨てて >この独自理論をもう一度一から学び直して数学知識を再構築する必要があるから査読できる人がほとんど居ない もし本当にその理論体系でしか理解説明ができないとしたらむしろすごく画期的なことなのでは?
44 20/04/03(金)14:39:26 No.676473430
>望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー(IUT)理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み(宇宙)を複数考えるという構想はあまりに斬新で、「未来から来た論文」とも称された。加えて、1000ページを超える望月教授の過去の論文に精通しないとIUT論文を読み解くことは難しく、理解できた数学者は世界で十数人しかいないと言われている。 普通に考えたら何言ってんだお前案件すぎる…
45 20/04/03(金)14:39:46 No.676473476
数学者は天才なのがスタートラインと言われるレベルだからな…
46 20/04/03(金)14:40:39 No.676473619
天動説信じてた人に地動説を説いてもなかなか納得してもらえんよ
47 20/04/03(金)14:41:17 No.676473725
>もし本当にその理論体系でしか理解説明ができないとしたらむしろすごく画期的なことなのでは? うんこの理論つかえばこれまで出来なかった証明が出来るから本当に事実なら超画期的なんだけど 未知の独自理論すぎて着いてこれる人がいない
48 20/04/03(金)14:41:54 No.676473813
>http://taro-nishino.blogspot.com/2019/03/blog-post063.html >なんかあれだな、内容うんぬんもそうだけど単純に人間関係とか権力とかその辺りまで絡んでくるんだな 追記多すぎでなかなか本文にたどり着けない
49 20/04/03(金)14:42:13 No.676473873
何が何でも交通事故とかコロナとかで死なないで欲しい 本人が存命な限りいくらでも理論の証明とか反論に対する反論が可能なはずだから…
50 20/04/03(金)14:42:33 No.676473930
やってる事自体理解が難しいのにさらに独自の文法で構成された言語を使ってるから まずそれを覚えないと読めないって事か…
51 20/04/03(金)14:42:37 No.676473941
解読を解読するだけで10年近くかかるほど難解なのに本当に応用して科学に役立つのか?
52 20/04/03(金)14:42:48 No.676473969
>数学者って頭いいけどご飯食えんのか心配だわ… フェルマーの最終定理を証明した人だったっけ? 生活力なさすぎて実家で母親の年金で生活してた人
53 20/04/03(金)14:42:51 No.676473981
宇宙が複数……何?
54 20/04/03(金)14:43:21 No.676474063
宇宙が複数ってフィクションの多次元観測者みたいになれと…?
55 20/04/03(金)14:43:34 No.676474095
スレ画は解読すると何か世界変わったりするの?
56 20/04/03(金)14:43:45 No.676474127
もうこれ人間の生物的な限界なんじゃないの これ以上のこととなるとAIの手助けとかバイオチップとかで人間の脳の処理能力上げる必要があるんじゃないの
57 20/04/03(金)14:43:56 No.676474168
>解読を解読するだけで10年近くかかるほど難解なのに本当に応用して科学に役立つのか? 数学ってものは基本的にかなり役に立つよ 特に暗号化の分野で 普通の人には実感されにくいけど情報セキュリティとか取り扱う方面の人だと少しは実感出来る 所謂基礎研究の部類
58 20/04/03(金)14:44:03 No.676474192
>フェルマーの最終定理を証明した人だったっけ? >生活力なさすぎて実家で母親の年金で生活してた人 カッコいいんだかカッコ悪いんだかもう分からんな…
59 20/04/03(金)14:44:25 No.676474247
>解読を解読するだけで10年近くかかるほど難解なのに本当に応用して科学に役立つのか? 仮にこの理論を理解できなくてもABC予想が100%事実だと証明されれば ABC理論が事実であることを仮定して書かれた論文が既に大量に存在するので それら仮定理論が全部実用OKになるから一気に進歩する
60 20/04/03(金)14:44:27 No.676474254
すげえ 「」が何喋ってるかぜんぜんわかんない
61 20/04/03(金)14:44:28 No.676474256
独自すぎるから 自分の人生をこれに付き合うか?って考えると 他の数学者としてはそれはやっぱり厳しいし 色々難しいやね
62 20/04/03(金)14:44:34 No.676474276
なろう小説の主人公か何かですか?
63 20/04/03(金)14:44:35 No.676474277
ABC予想って次はDって答えじゃないの?
64 20/04/03(金)14:45:14 No.676474369
結局自分の所の雑誌に載せることになったから外国の数学界からはあんまよく思われてないとかなんとか
65 20/04/03(金)14:45:18 No.676474378
かつてはもっとも実社会に役に立たないと言われ続けた数論だけど 今ではこれ無しではインターネットも動かないほど実社会に役立つ大切な理論
66 20/04/03(金)14:45:25 No.676474395
バカの疑問だから聞き流してもらっていいんだけどこういう偉業レベルの難問って昔の頭いい人が未解明な分野をとりあえず綺麗に問題にした物なの?それともやべぇ奴が「解明はされてないけどこれはこういう答えなはず!」って問題にしちゃった物なの?
67 20/04/03(金)14:45:36 No.676474426
>ABC予想って次はDって答えじゃないの? CBCB AAB ABCDB
68 20/04/03(金)14:45:40 No.676474433
どんなに素晴らしいものつくってもプレゼンがうまくいかないと難しい
69 20/04/03(金)14:45:49 No.676474456
>ABC予想って次はDって答えじゃないの? 「」月教授こんな所にいたのか
70 20/04/03(金)14:45:55 No.676474470
なんだD=-170か
71 20/04/03(金)14:46:09 No.676474504
書き込みをした人によって削除されました
72 20/04/03(金)14:46:56 No.676474629
この教授のブログが面白い アイドルソングが物理分野の複雑な概念を簡潔に伝えているとか
73 20/04/03(金)14:46:59 No.676474637
足し算しかない数集団ってありえるのかな
74 20/04/03(金)14:47:04 No.676474650
>バカの疑問だから聞き流してもらっていいんだけどこういう偉業レベルの難問って昔の頭いい人が未解明な分野をとりあえず綺麗に問題にした物なの?それともやべぇ奴が「解明はされてないけどこれはこういう答えなはず!」って問題にしちゃった物なの? 後者 なんかこんな法則見つけたけど証明出来ないわーってのが所謂数学界の難問 物理の世界でも似たようなものがあって、そっちはもうそういう経験則だからってことで無理やり運用してる状態
75 20/04/03(金)14:47:08 No.676474658
ABC理論が証明されたとして今までABC理論を証明しようとしてた他の学者は無気力にならんのかな…
76 20/04/03(金)14:47:55 No.676474795
こういう証明とかってなんか懸賞金みたいなのかかってなかったっけ
77 20/04/03(金)14:47:57 No.676474804
足し算だけの宇宙と掛け算だけの宇宙があるのか 宇宙は広いな
78 20/04/03(金)14:48:02 No.676474816
>これ以上のこととなるとAIの手助けとかバイオチップとかで人間の脳の処理能力上げる必要があるんじゃないの そろそろ遺伝子いじっちゃえば?という気はする
79 20/04/03(金)14:48:05 No.676474823
>この教授のブログが面白い >アイドルソングが物理分野の複雑な概念を簡潔に伝えているとか とんかつDJアゲ太郎かよ
80 20/04/03(金)14:48:36 No.676474902
物理は金かけて設備整えれば観測できるし 数学もスパコンぶん回せば全総当たりゴリ押しも可能 ただ99.999999%正しいことが100%にはならない
81 20/04/03(金)14:49:08 No.676474977
>うんこの理論
82 20/04/03(金)14:49:27 No.676475025
ところで宇宙際ってどう読むの さい?きわ?
83 20/04/03(金)14:49:29 No.676475030
数学ないとスパコン作れなくね?
84 20/04/03(金)14:50:00 No.676475111
>ところで宇宙際ってどう読むの >さい?きわ? さいかな 宇宙際幾何をうちゅうさいきかって読むし
85 20/04/03(金)14:50:04 No.676475123
>数学もスパコンぶん回せば全総当たりゴリ押しも可能 >ただ99.999999%正しいことが100%にはならない そうは言うが四色問題はゴリ押しで証明したんじゃなかったっけ
86 20/04/03(金)14:50:14 No.676475151
荒俣宏タイプなのかな
87 20/04/03(金)14:50:27 No.676475183
4色で地図塗れるだろー問題も証明されたらしいけど複雑な証明すぎて納得できない
88 20/04/03(金)14:50:30 No.676475194
ちなみに電波も発見当時はこんな何の役にも立たない物を研究して金の無駄だと言ってる人が沢山いた だから今もいろんな基礎研究にこんなもの役に立たない言って回る人いるけど そういう連中は人類の未来を殺してるも同然なんだ
89 20/04/03(金)14:50:30 No.676475195
こういうやたら難しい証明って誰かがややこしい方法で証明した後に もっと簡単に証明できるわこれ…ってなったりすることはあるの?
90 20/04/03(金)14:50:34 No.676475202
この教授16で大学入って19ででとる…
91 20/04/03(金)14:50:55 No.676475240
>後者 >なんかこんな法則見つけたけど証明出来ないわーってのが所謂数学界の難問 >物理の世界でも似たようなものがあって、そっちはもうそういう経験則だからってことで無理やり運用してる状態 なるほどありがとう つまり問題作った人も解いた人も両方やべぇのか
92 20/04/03(金)14:50:55 No.676475242
>数学ないとスパコン作れなくね? まあノイマン型程度なら現代物理と数学でどうにかできてるし アルゴリズムの研究は数学というより情報科学の分野になるから…
93 20/04/03(金)14:51:28 No.676475328
今解かれてない問題って何があるの
94 20/04/03(金)14:51:32 No.676475338
>こういうやたら難しい証明って誰かがややこしい方法で証明した後に >もっと簡単に証明できるわこれ…ってなったりすることはあるの? たくさんある
95 20/04/03(金)14:51:34 No.676475342
>物理は金かけて設備整えれば観測できるし >数学もスパコンぶん回せば全総当たりゴリ押しも可能 >ただ99.999999%正しいことが100%にはならない 観測できてもきちんとした理論式を証明できないと今まで観測できなかった帯域が観測できた時に違った振る舞いしてたら困るのよね… 有名な例で言えば気体の状態方程式は理想気体と実際の気体とでは絶対零度付近での関連性が違ってたりとか 量子力学なんかもその部類になる あのアインシュタインですら量子力学を認められなくて神はサイコロを振らないんですけお!!11!!ってけおってたし
96 20/04/03(金)14:51:36 No.676475354
>この教授16で大学入って19ででとる… しかもアイビー・リーグのプリンストン大学だからな…
97 20/04/03(金)14:51:47 No.676475380
>>解読を解読するだけで10年近くかかるほど難解なのに本当に応用して科学に役立つのか? >仮にこの理論を理解できなくてもABC予想が100%事実だと証明されれば >ABC理論が事実であることを仮定して書かれた論文が既に大量に存在するので >それら仮定理論が全部実用OKになるから一気に進歩する あーなるほど できると仮定して作られた理論が既にあるのね
98 20/04/03(金)14:51:57 No.676475396
>今解かれてない問題って何があるの https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E4%B8%8A%E3%81%AE%E6%9C%AA%E8%A7%A3%E6%B1%BA%E5%95%8F%E9%A1%8C
99 20/04/03(金)14:52:21 No.676475451
当時は一般に証明されてたと考えられてたのが数十年後にやっぱ間違ってるわこれってなったりしないのかな
100 20/04/03(金)14:52:34 No.676475480
>ABC理論が証明されたとして今までABC理論を証明しようとしてた他の学者は無気力にならんのかな… 普通に学者の間で難問証明競争は存在するから無気力になる人がいる可能性はある ただ今回の証明はあまりにも既存の数学からかけ離れすぎてるから そうじゃなくて既存の数学の理論を使って証明しようとしてる人達は特に気にしてないと思う
101 20/04/03(金)14:52:51 No.676475531
32歳で京大教授はおかしいよ
102 20/04/03(金)14:53:01 No.676475562
>この教授16で大学入って19ででとる… その後もすごいスピード出世してる…
103 20/04/03(金)14:53:02 No.676475568
>>後者 >>なんかこんな法則見つけたけど証明出来ないわーってのが所謂数学界の難問 >>物理の世界でも似たようなものがあって、そっちはもうそういう経験則だからってことで無理やり運用してる状態 >なるほどありがとう >つまり問題作った人も解いた人も両方やべぇのか 作った人っていうか発見した人かな 法則性見つけ出すだけでも相当すごいから
104 20/04/03(金)14:53:13 No.676475604
>>この教授16で大学入って19ででとる… >しかもアイビー・リーグのプリンストン大学だからな… 16さいでアメリカ数学界の最高の大学に入学できるってどんな気分だろう…
105 20/04/03(金)14:53:21 No.676475628
インターユニバースタイヒミュラーセオリー!
106 20/04/03(金)14:53:23 No.676475630
フェルマーの最終定理ってABC予想が証明できればそこから証明できるみたいで もしかして大発見なのでは?
107 20/04/03(金)14:53:36 No.676475661
スレ画見て0.5秒で思考停止した
108 20/04/03(金)14:53:50 No.676475692
>当時は一般に証明されてたと考えられてたのが数十年後にやっぱ間違ってるわこれってなったりしないのかな 物理学だとより高等な理論が出てきて部分的には正しかったとかになるのはあるけど数学もそうなのかね?
109 20/04/03(金)14:53:52 No.676475700
>ABC理論が証明されたとして今までABC理論を証明しようとしてた他の学者は無気力にならんのかな… 将棋アルゴリズムとかめっちゃ研究してた人がディープラーニングで全部持ってかれてかなり凹んでたな 人生かけてたものが別分野から侵略されるんだもんどうしようもない
110 20/04/03(金)14:53:52 No.676475702
>当時は一般に証明されてたと考えられてたのが数十年後にやっぱ間違ってるわこれってなったりしないのかな 数論に限って言えば100%無い
111 20/04/03(金)14:53:53 No.676475705
>かつてはもっとも実社会に役に立たないと言われ続けた数論だけど >今ではこれ無しではインターネットも動かないほど実社会に役立つ大切な理論 マジかよどこに使ってるんだろう
112 20/04/03(金)14:54:19 No.676475775
>うんこの理論つかえばこれまで出来なかった証明が出来るから本当に事実なら超画期的なんだけど >未知の独自理論すぎて着いてこれる人がいない うんこの理論!!!!!!!
113 20/04/03(金)14:54:44 No.676475833
Wikipediaに「専門は遠アーベル幾何学」って書いてるけど何の何の何!? って感じが強い
114 20/04/03(金)14:54:44 No.676475834
それでどうなるの
115 20/04/03(金)14:54:44 No.676475835
https://honsuki.jp/review/24193.html 命題自体はとても簡単だけどεが1のときK(ε)は1になるかどうかはまだ良く判らないということとか そもそもεが出てきてそれをめぐって500ページの照明があるのは検証するのもなんか嫌なかんじがする!んじゃないかな…
116 20/04/03(金)14:54:53 No.676475862
加算と乗算からめた問題ってどうにも考えにくいよね
117 20/04/03(金)14:54:57 No.676475875
なんだこのグレッグイーガンみたいな展開は
118 20/04/03(金)14:55:13 No.676475925
今日の「」はIQが高いな…
119 20/04/03(金)14:55:17 No.676475934
数論の世界で言えば限られた範囲の中の証明なら コンピュータ使って全パターン計算してはい証明というやり方もある
120 20/04/03(金)14:55:31 No.676475974
>マジかよどこに使ってるんだろう 主に暗号通信
121 20/04/03(金)14:55:34 No.676475980
数学とは違うけどP=NP問題とか解決する日は来るのだろうか
122 20/04/03(金)14:55:49 No.676476016
日本って整数論強いよね
123 20/04/03(金)14:55:58 No.676476040
>それでどうなるの 世界崩壊のトリガーとなりうる!
124 20/04/03(金)14:56:05 No.676476061
数学者だろうがみんな自分の人生を生きてるんだし こんなわけわからん理論に人生ぶっこむ気で取り組める人はそうそういないだろうな…
125 20/04/03(金)14:56:10 No.676476071
>ポアンカレ予想も >「証明論文がネットに転がってるけど何言ってるのかさっぱり分からんこと書いてある」 >「どうせまた耳目を集めるためのホラだろ > …何書いてあるのかさっぱり分からん」 >「お前プロの数学者だろ冗談言ってないで一応査読しようぜ > …何書いてあるのかさっぱり分からん」 >って声が世界中に溢れて仕方がないから >正しさを証明する立場の人達に何が書いてあるのか検証するため >頭の中の数学道具の使い方を教えてくださいってお手紙を出すハメになった 廃れた時代遅れと言われた知識がないと理解できないんだっけ
126 20/04/03(金)14:56:14 No.676476083
>それ2012年で今回はようやく認められたってニュースじゃない? ・論文にミスがあるって指摘した大御所(フィールズ賞受賞者)と議論したけど最終的に決裂した ・査読が通った雑誌は投稿者が編集長で、この論文の担当編集も同じ建物の人(勿論超優秀な人だけど…) って経緯があるから外部が理論の成否を判断するには既存の予想の解決を主張するだけでなく この理論からしか出ない非自明な主張がだせるか(≒数学として価値があるか)を確認しないと安心できない
127 20/04/03(金)14:56:42 No.676476162
こんなにIQ高いスレいもげで初めて見た…
128 20/04/03(金)14:56:44 No.676476166
すごい!何一つ理解できない!
129 20/04/03(金)14:57:27 No.676476285
数学の歴史を紐解けば天才しかいないからな…
130 20/04/03(金)14:57:38 No.676476317
パスワードに素数入れたら解析遅くなるの?
131 20/04/03(金)14:57:50 No.676476349
>あーなるほど >できると仮定して作られた理論が既にあるのね 数論の世界だと難問すぎる難問の証明はあきらめて その難問が解決されたことを前提にして先の理論を作ってる人がいっぱい居る 難問は多分いつか未来の天才がきっと解いてくれるだろう的なノリで
132 20/04/03(金)14:57:55 No.676476359
何年もかけて論文が正しいか検証したようだけど その検証が正しいかは誰が検証するの?
133 20/04/03(金)14:58:00 No.676476372
趣味で難解な物理学や数学の難題を素人にわかりやすく動画で解説してる人(あくまで趣味レベル)が居るんだが 宇宙際タイヒミューラー理論に関しては1ページ目から全く何もわからんて匙投げてたな
134 20/04/03(金)14:58:03 No.676476378
もう人間の手に余るよ 次元の高いところに住んでる上位存在か未来人かAIに頼もう
135 20/04/03(金)14:58:10 No.676476395
数学の天才が判定するにあたって初心にかえってゼロから学び直して ようやく読解のスタートラインに立てるってマジでなんなの
136 20/04/03(金)14:58:13 No.676476403
「まず、ポアンカレ予想を解かれたことに落胆し、それがトポロジーではなく(トポロジーの研究者にとっては古い数学と思われていた)微分幾何学を使って解かれたことに落胆し、そして、その解説がまったく理解できないことに落胆した」
137 20/04/03(金)14:58:23 No.676476429
どこかの子供をとっ捕まえてその新体系ってのを叩き込んで育てれば自由に扱えるようになるのだろうか
138 20/04/03(金)14:58:23 No.676476432
似たような定理を根こそぎ証明するようなパワーがある
139 20/04/03(金)14:58:31 No.676476455
どんな数学の天才でも決闘で死ぬからな
140 画像ファイル名:1585893526338.png 20/04/03(金)14:58:46 No.676476496
キタ━━━━━━(゚∀゚)━━━━━━ !!!!!
141 20/04/03(金)14:59:03 No.676476551
話は聞かせてもらった!人類は滅亡する!
142 20/04/03(金)14:59:21 No.676476594
コロナに効く?
143 20/04/03(金)14:59:23 No.676476600
MMR予想来たな…
144 20/04/03(金)14:59:23 No.676476603
>難問は多分いつか未来の天才がきっと解いてくれるだろう的なノリで 少なくとも手とかコンピュータでざっーと例になる値を突っ込んで矛盾でないなら 仮に間違ってるか証明できなくてもなんらかの条件つければ使えるのが普通だからね
145 20/04/03(金)14:59:41 No.676476653
数学者はちょくちょく動きが止まるって話が面白かった事くらいしかわからん…
146 20/04/03(金)14:59:57 No.676476691
>どこかの子供をとっ捕まえてその新体系ってのを叩き込んで育てれば自由に扱えるようになるのだろうか 実際これを理解できる子は新しく育てなきゃダメだって一から優秀な子育ててた覚えがある 随分前だから今は助手にでもなっているんだろうか
147 20/04/03(金)15:00:21 No.676476750
>どこかの子供をとっ捕まえてその新体系ってのを叩き込んで育てれば自由に扱えるようになるのだろうか それはあり得るけど教えられる人がほとんど居ないのと 子供の方にそれを理解できるだけの素養があるかもわからない
148 20/04/03(金)15:00:21 No.676476751
でも証明ってA=BかつB≠CゆえにA≠Cである ってやってるだけなんでしょ?余裕余裕!
149 20/04/03(金)15:00:26 No.676476767
解けたけどなんで解けたかわからん…ってなる人も絶対多いよね数学者
150 20/04/03(金)15:00:41 No.676476827
数学の世界はスタートラインが天才に生まれてる事みたいな やべーのしか居ない
151 20/04/03(金)15:01:21 No.676476943
数学や物理に強い「」があつまるスレでずっと前聞いたけど アインシュタインとか偉人が居た時代とくらべて今は 平和なあいだにもの凄い勢いで研究が進化して発展具合がヤバいみたいな事話し合ってたの見たけど その土壌から更に抜きん出た才を持つ人ってことでいいのかしら
152 20/04/03(金)15:01:35 No.676476995
そもそも理論や仕組みなど何も理解できなくても一般人はその恩恵には与れるので問題ないのだ パソコンもスマホも何がどうなってこうなってるのか1ミリもわからんのだ
153 20/04/03(金)15:01:46 No.676477025
su3772709.jpg やっぱり数学者は笑えるのだろうか
154 20/04/03(金)15:03:05 No.676477249
仮に必死に勉強してこの証明を精査できるようになったとして この証明が合ってたらいいけど間違ってたりしたら人生を無駄に棒に振っただけになるしやってられないよな…
155 20/04/03(金)15:03:38 No.676477329
割と歳とっても数学なんとかなるんだな 若さが必須じゃないんだ
156 20/04/03(金)15:03:46 No.676477357
フェルマーの最終定理の動画は面白かった 分かりやすくまとめられてたし数学者の凄さも理解出来た
157 20/04/03(金)15:03:53 No.676477378
>su3772709.jpg >やっぱり数学者は笑えるのだろうか ??????????
158 20/04/03(金)15:04:00 No.676477400
でもねわかってる人がいるのにわからないのが一番悔しい世界なんですよ
159 20/04/03(金)15:04:00 No.676477402
>パソコンもスマホも何がどうなってこうなってるのか1ミリもわからんのだ なんなら情報科学情報工学のプロでも一から十まで分かってる人は一人もいない
160 20/04/03(金)15:04:05 No.676477418
証明することがどれほど重要かって言うと 1、2、a、…って数列で3番目のaの数字はなにかって問題で a=nなら3だし、a=2^(n-1)だと4になるし、a=1+{ 1 + (-1)^n }/2だと1になる 1番目と2番目までしか観測できない時代ならどの数式でもよかったけど3番目以降を観測できるようになった時にちゃんと証明できないと迂闊に使えないんだ
161 20/04/03(金)15:04:26 No.676477493
怪文書にしか見えない…
162 20/04/03(金)15:04:37 No.676477525
俺も子供できるメカニズムは知ってるけど恩恵に預かってないわ
163 20/04/03(金)15:04:40 No.676477541
こういうのって提唱者は証明できてるの? それともこうなるはず!みたいな感じなの?
164 20/04/03(金)15:05:07 No.676477638
>証明することがどれほど重要かって言うと 数列の序盤だけ見て次に出てくる数字の予想ってこと?
165 20/04/03(金)15:05:08 No.676477641
>何年もかけて論文が正しいか検証したようだけど >その検証が正しいかは誰が検証するの? そういう論文というか理論の穴探しを専門にしてる人もいるよ
166 20/04/03(金)15:05:28 No.676477689
例えは分かるんだけどその例えてる物がどうしてそうなんですかみたいなのがさっぱり分からん
167 20/04/03(金)15:06:19 No.676477867
宇宙を入れ子にするってLispっぽいというか群論っぽいというかよくわからんがそういうイメージ
168 20/04/03(金)15:06:24 No.676477885
数学は天才と言われる連中が本当にもうどうしたって脳の構造が違うとしか思えないレベルで違って理解を絶してる 大学とかで天才扱いされてる人でそれだから 場所や年代選ばなかったらどんな怪物が跳梁跋扈してるのか俺にはもう分からん…
169 20/04/03(金)15:06:28 No.676477896
新しい定規がちゃんと使えるってわかったってこと?
170 20/04/03(金)15:06:31 No.676477909
少女の大きな目はΘのような形をしてるように見えなくもない(笑)
171 20/04/03(金)15:06:56 No.676477981
知るって大事なんだなあ
172 20/04/03(金)15:06:57 No.676477984
数学者ってどうやって食ってんの? 親の金?
173 20/04/03(金)15:07:49 No.676478163
煽りとかじゃないんだけど これが証明されるとなにかのテクノロジーに応用できて人類が発展する可能性はあるの?
174 20/04/03(金)15:07:53 No.676478179
>フェルマーの最終定理ってABC予想が証明できればそこから証明できるみたいで フェルマーの最終定理はもう20年近く前に証明されてるよ
175 20/04/03(金)15:08:27 No.676478263
>煽りとかじゃないんだけど >これが証明されるとなにかのテクノロジーに応用できて人類が発展する可能性はあるの? そんな難しい事を「」に聞くな
176 20/04/03(金)15:08:34 No.676478286
>>証明することがどれほど重要かって言うと >数列の序盤だけ見て次に出てくる数字の予想ってこと? 数列に限った話じゃないけどね ようは今観測できる範囲よりも広い範囲の演算をコンピュータができるようになった時に、今まで問題なく使ってきた数式が実は間違ってましたーってなったら困るってこと 古典力学では量子力学を説明できないのとおなじ
177 20/04/03(金)15:08:36 No.676478289
ナンバーズ(ドラマ)が見たくなってきた
178 20/04/03(金)15:08:38 No.676478295
>これが証明されるとなにかのテクノロジーに応用できて人類が発展する可能性はあるの? せめて上くらい見ろやれ
179 20/04/03(金)15:09:06 No.676478376
昔の偉大な数学者が現在に顕在したら証明された新しい定理や予想使って射精しつつ新しいもの探すのだろうか
180 20/04/03(金)15:09:07 No.676478381
俺には何もわからないことがわかった
181 20/04/03(金)15:09:29 No.676478458
ABC予想解決すると他の問題が解けるってQEDで読んだ
182 20/04/03(金)15:09:49 No.676478519
2000年問題みたいなのがまた起きる可能性があるってことか
183 20/04/03(金)15:09:59 No.676478544
数学の法則の発見が宇宙の法則の成り立ちを解き明かすことにつながる可能性があるらしいことは知ってる
184 20/04/03(金)15:09:59 No.676478547
>新しい定規がちゃんと使えるってわかったってこと? 普段使ってる定規が正しい定規だと分かった
185 20/04/03(金)15:10:22 No.676478600
>ABC予想解決すると他の問題が解けるってQEDで読んだ 他の問題が解けると文明が発達するの?
186 20/04/03(金)15:10:39 No.676478654
全然数学わからないんだけど 江戸時代に「江戸から大坂に一日で行けるか」って問題が出されたとして 今までの科学レベル無視して「自動車という乗り物を作れば行けますよ」って答えたのが望月教授で その自動車という乗り物が本当に実現可能かを検証しているみたいな段階ってこと?
187 20/04/03(金)15:10:53 No.676478704
>古典力学では量子力学を説明できないのとおなじ 宇宙を取り替えたり同時に使ったりすることで今までの数学の基礎理論の範疇を超えたところで既存の理論にひずみが生じるってことかな… 駄目だもう俺は限界だ
188 20/04/03(金)15:11:21 No.676478780
フェルマーの最終定理は名前がかっいいからズルい
189 20/04/03(金)15:11:32 No.676478808
物理の理論もモデル化と近似計算だらけの世界だから新たな定規ができるのは歓迎なんだよね
190 20/04/03(金)15:11:36 No.676478825
学者さんたちそもそも文明の発展なんて知ったこっちゃないんじゃないの 彼らはもう自分が知りたいし解きたいからやってるんじゃね?
191 20/04/03(金)15:11:42 No.676478843
過去の数学者を墓から引っ張り出して議論するしかないな
192 20/04/03(金)15:11:55 No.676478886
>>新しい定規がちゃんと使えるってわかったってこと? >普段使ってる定規が正しい定規だと分かった じゃあこれからは安心して長さ測ったり線引いたりやりたい放題できるってことじゃん!
193 20/04/03(金)15:12:04 No.676478911
こういうのを考え込もうとするとものすごい深さの渦に飲み込まれる気がしてやーめたってなるんだが そこで渦に入っていく様な人が研究者なんだろうな
194 20/04/03(金)15:12:56 No.676479052
数学って世界の真理に辿り着くための学問みたいで怖いな…
195 20/04/03(金)15:13:01 No.676479061
普通に考えて足したもんより掛けたもんのが大きくなるの当たり前やんて思うんだけど
196 20/04/03(金)15:13:03 No.676479069
>全然数学わからないんだけど >江戸時代に「江戸から大坂に一日で行けるか」って問題が出されたとして >今までの科学レベル無視して「自動車という乗り物を作れば行けますよ」って答えたのが望月教授で >その自動車という乗り物が本当に実現可能かを検証しているみたいな段階ってこと? 時代遅れとされるもの使って証明したらしいからどこでもドアを唐突に作り上げて「錬金術の応用です」って言ってる感じ?
197 20/04/03(金)15:13:14 No.676479101
>じゃあこれからは安心して長さ測ったり線引いたりやりたい放題できるってことじゃん! 既に測ったり引かれてたりしてるしそれによる図形もできてるので証明が完了するとともにそれらも動き出す
198 <a href="mailto:ゲーデル">20/04/03(金)15:13:30</a> [ゲーデル] No.676479136
>数学って世界の真理に辿り着くための学問みたいで怖いな… それは数学では無理です!
199 20/04/03(金)15:13:45 No.676479173
○大難問って解かれて減るだけじゃなくて新しい難問が増えたりもするの?
200 20/04/03(金)15:14:44 No.676479340
>こういうのを考え込もうとするとものすごい深さの渦に飲み込まれる気がしてやーめたってなるんだが 認知負荷
201 20/04/03(金)15:14:48 No.676479360
数学でこの世のすべては証明できる!ってノリで今までやってきたけど 数学自体がこの世の諸法則の根源を表すのに不適切だったってなったらめっちゃ立て直すのに時間かかりそうだなと思うけどどうなの
202 20/04/03(金)15:15:10 No.676479412
>普通に考えて足したもんより掛けたもんのが大きくなるの当たり前やんて思うんだけど 1+2+3って順番に無限に足していくとマイナスの答えになるのもある意味正しいのが数学の世界だから油断できない
203 20/04/03(金)15:16:07 No.676479549
>数学自体がこの世の諸法則の根源を表すのに不適切だったってなったらめっちゃ立て直すのに時間かかりそうだなと思うけどどうなの どうもこうもまたやり直すと思うよ
204 20/04/03(金)15:16:10 No.676479561
平面幾何学やってたところにユークリッド幾何学で考えようぜ!みたいな感じなのかね 難しさのレベルもぜんぜん違う話だとは思うが
205 20/04/03(金)15:16:10 No.676479564
量子コンピュータも数論がないと開発できないしこの分野はわりと重要
206 20/04/03(金)15:16:30 No.676479618
>遠アーベル幾何学 なんかつよそう
207 20/04/03(金)15:16:48 No.676479661
>数学でこの世のすべては証明できる!ってノリで今までやってきたけど やってないし1930年に哲学界巻き込んで人間にはこの世のすべての証明は無理だってなってるよ