【数学】〈続報〉「ＡＢＣ予想（オステルレ・マッサー予想）」望月教授による証明が数学界を二分

**名無しのひみつ** · 2017/12/25(月) 08:19:43.45

>>97
当時は数学は下に見られてたからねえ
数学はコミュニケーションが非常に大事な学問なんだよ

**名無しのひみつ** · 2017/12/25(月) 09:56:32.69

> 現在、この証明について討論できる能力のある人の数は２０人とみられている。
> しかし、より広い範囲の研究者らに説明できる人が一人もいない

> 一方、ヴォロシュ氏と違う意見を持っているのが、英ノッティンガム大学の数学者、イヴァン・フェセンコ氏だ。
> フェセンコ氏は、望月氏による証明を完全に理解し、証明に誤りを発見していない数少ない研究者の一人だ。

>>1の記事では
「説明できる人が一人もいない」と言いつつ　
フェセンコ氏が「理解し誤りを発見していない数少ない一人だ」と書いている。
これはどういう事なんだ？

**名無しのひみつ** · 2017/12/25(月) 10:18:03.13

>>98
アインシュタインの特殊相対論は
ローレンツポワンカレと全く別だな。
運動物体の電気力学は深い

**名無しのひみつ** · 2017/12/25(月) 10:19:08.86

物理には単位がある。

**名無しのひみつ** · 2017/12/25(月) 10:31:01.62

おねがい　でんじろう先生

**名無しのひみつ** · 2017/12/25(月) 10:35:35.48

>>95
それは　他では言わないほうがいいよ
どこに相対性理論と群論がかかわりあうんだよ

相対性理論は接続とかリーマン幾何
数学で言うと幾何　群論は代数　分野すら違う

**名無しのひみつ** · 2017/12/25(月) 11:25:19.55

>>95
特殊相対性で使われるローレンツ変換の式はアインシュタイン以前にほぼできていた
でも絶対空間と絶対時間の概念を捨てて時空の相対性という本質を見抜いたのはアインシュタインだけだった。
一般相対性に至っては重力と加速度が本質的に同じという等価原理を閃いたところからすべて始まった。
まさに天才の仕事。数式を考えるだけではダメ、物事の本質を見抜く力が必要。数学できる頭いいだけでは無理

**名無しのひみつ** · 2017/12/25(月) 13:16:33.90

アインシュタインたいしたことないとかいうバカどこから来てるんだろな
んでそういうやつに限ってノイマンとか持ち上げる……いやすごいけどねノイマンも
けどアインシュタインにたいしてみたらどーしても創造性欠けるというか、計算マンだよね、というか
量子力学の数学的基礎を纏めあげたのは素晴らしいけど
コンヌ等によって40年近く前にはもうほぼ研究され尽くされた分野にされてしまったし

**名無しのひみつ** · 2017/12/25(月) 14:02:43.41

>>87
いや、詐欺師は考える余地をカモに与えないんだよ
違うでしょ

**名無しのひみつ** · 2017/12/25(月) 14:04:20.75

>>101
数的能力は言語能力に比例しないってことかもね

**名無しのひみつ** · 2017/12/25(月) 14:33:16.78

専門家でも論文と5年間睨めっこしてもわからないって凄い世界なんだなぁ･･･(´・ω・`)

**名無しのひみつ** · 2017/12/25(月) 14:35:52.13

>>109

>>1 の文章が
矛盾だらけなんだよ。
スプートニクを訳したものなどを正確に解釈しようなどとは思わぬことだよ。

**名無しのひみつ** · 2017/12/25(月) 15:29:57.75

>>110
バカ？
数論の人とか、チラ見したんでしょ。
で、、価値があるのかじゃないの？
数学はタコツボだしね

**名無しのひみつ** · 2017/12/25(月) 15:30:07.55

>>110
数百ページあると知った段階で、別の短い訳を待つ体制に入った人がほとんどかと

**名無しのひみつ** · 2017/12/25(月) 15:37:18.75

>>113
価値だよ、
役に立つと思えば、ページ数が多い方が
ありがたいはず。
数学の連中は形式主義でタコツボが多い。
相対論を分かるはずがないんだよね。
数理的に自分の課題に役に立つかどうかだなあ

**名無しのひみつ** · 2017/12/25(月) 15:46:36.46

不等式を証明しても役に立たないな
役に立つのは200年後とみた

**名無しのひみつ** · 2017/12/25(月) 15:47:16.46

>>113
もう大分以前に、"Panoramic View・・・・”とかいう要約版を本人が書いてるけどね。

**名無しのひみつ** · 2017/12/25(月) 16:01:03.63

望月氏の進捗報告を読むと

この論文を査読する資格のある人は、
絶対遠アーベル幾何
エタール・テータ関数の剛性性質
Hodge-Alakelov理論

最低この3つをガッツリ研究しまくりで
深い理解がある人
って事らしい

その人ってのが望月氏の知りうる限りだと望月氏だけみたい

**名無しのひみつ** · 2017/12/25(月) 16:22:05.28

>>82
＞ABC予想が解けると世の中の何の役にたつの？

競馬で儲かる。たぶん。

**名無しのひみつ** · 2017/12/25(月) 16:27:38.77

>>82
この問題に悩まされる人がいなくなる

**名無しのひみつ** · 2017/12/25(月) 20:27:19.64

単なる証明ではなくて新しい数学の扉を開いた革新的研究なんだろ
となると広く理解されるまで(数学者レベルで)あと20年くらいかかる
新しい研究者が育ち、その第二世代でようやく広まる
そんな感じだな

**名無しのひみつ** · 2017/12/25(月) 20:51:27.88

>>120
評価は外部がするものだよ、

**名無しのひみつ** · 2017/12/25(月) 21:12:17.73

>>121
その外部が適正な評価を出せるようになるには時間がかかるということだよ
数学に限らず他より格段に進んでいる研究ほどね
隔絶した研究を理解できるだけの人材が育たねばならないし
またその研究に独特な概念や定義や証明方法が整理されてより多くの研究者に理解できるレベルまで
易しく書き改められ、また説明の仕方が改良されるなど当人以外の研究者たちによる多くの作業が必要だ

これは当初はAbstract Nonsenseと批判され極めて少数しか意義を理解できなかったGrothendieck流の代数幾何が
今では当たり前になったことと同様だよ

**名無しのひみつ** · 2017/12/25(月) 21:46:45.89

>>1
数学のど素人がこの理論を一から知りたいと思ったら
何から手を付けたら良いんだろう
遠アーベル幾何が重要な事は分かったが
遠アーベル幾何に至るには何から始めれば良いんだ？
数論の一般教科書から？

**名無しのひみつ** · 2017/12/25(月) 22:06:17.46

>>123
普通に一生かかっても無理

諦めきれないなら　松阪の集合・位相入門からでいいんでねー
普通の人なら、これすら半年かかっても理解出来ないから

工学部の人間でも、抽象数学の入門の線形代数ですらどれだけ理解されてるのか

**名無しのひみつ** · 2017/12/26(火) 01:19:06.28

>>122
嘘つけ
グロタンディークの仕事はイタリア代数幾何一派～ヴェイユらブルバキ、セールと連綿とした流れがあり
極めて大事だったぞ
凄まじい程の底上げをしたがセミナーをきちんと行って弟子も育てたし
ゲルファントやザリスキーとか、異種派閥ともいうべきかまあ旧ソの人らも理解してたよ

**名無しのひみつ** · 2017/12/26(火) 01:59:35.69

>>122
物理で理論の等価(予想)は普通にやっている。
ゲージ⇄重力で実験も含め議論している。
あ、数学は数学だから、厳格にねw

**名無しのひみつ** · 2017/12/26(火) 02:02:44.11

>>125
ブルバキ嫌いのアーノルドが生きていたら、
何と言ったんだろ？w

**名無しのひみつ** · 2017/12/26(火) 02:19:49.78

古代ギリシャの「旅人のパラドックス」と同じことかな
ある旅人は「私は苦心の末、誰も到達できなかった前人未到の
場所に行ってきた」と主張した。だがそれを誰にも証明できないので
彼は詐欺師とされてしまった。
これと同じ。
「数学の証明とは誰がこれを担保するのか」に全てがかかっている。

**名無しのひみつ** · 2017/12/26(火) 02:32:39.38

望月さんって、スーパーマンの衣装似合うと思うんだ・・・
なんでだろう、ハンサムだよね

**名無しのひみつ** · 2017/12/26(火) 03:39:36.57

歴史が証明する
数学の美意識は不幸を招く
証明は定理道具の保証書に過ぎない。

万物は数、のピタゴラス教団はピタゴラス
の定理を相似を使い証明した。
無理数を発見し証明が無効になり
アロゴン緘口令が無理数へ引かれた。
掟を破った者は破門され海に投げられた
と伝えられている。

アポロニウスは楕円の本を書いた。
ピタゴラス主義ケプラーの宇宙モデルは
正多面体に内接外接する球体モデルで
惑星軌道は対称性が美しい円軌道だった。
チコブラーへの火星観測データから
地球軌道火星軌道を求めたら、円と楕円を
行き来し、悪戦苦闘混乱の末アポロニウス
の楕円を再発見した。
現実の惑星軌道は馬糞のような楕円の
第1法則だった。

惑星軌道の周期長半径の第3法則を
調和法則と呼び音階をつくり宇宙の
ハーモニーを表した。

1965年ベル電話研究所のペンジアスと
ウィルソンは銀河観測用の電波アンテナで
波長 7.35cmの雑音に悩まされた。
鳩の糞を除いても雑音は等方からきた。

宇宙でビックバーンが起き約40万年後に
晴れ渡りが起きた。
その化石電波、3°kの宇宙マイクロ波 CMB
を観測した、と後に判明した。

宇宙の調和ハーモニー旋律は
3°kの電波雑音が正体だ。

**名無しのひみつ** · 2017/12/26(火) 04:25:32.57

数学者ルイ・ド・ブランジュは1916年いらいの
長年の難問として未解決であった複素関数論の
ビーベルバッハ予想を始めて1985年に証明した
ことで有名になった。
　彼はその後、リーマン予想に取り組んで、
これまで4度ほど証明できたと主張する論文を
提出したものの、そのどれも実際には解決には
なっていなかったという。

Wikipedia で「ルイ・ド・ブランジュ」を参照されたい。

**名無しのひみつ** · 2017/12/26(火) 05:31:36.45

英語のbang はバーンにはならない。何語だとなるんだ

**名無しのひみつ** · 2017/12/26(火) 08:21:17.53

↑
おはよう不幸さん

**名無しのひみつ** · 2017/12/26(火) 09:13:22.97

望月教授に検証のコストをこれ以上かけるよりも新しい理論を作ることに注力してもらった方が
いいんじゃないの？だって検証は時間をたっぷりかければ誰かがやれるだろうが新理論の構築は
望月教授にしかできないことなんだから。

**名無しのひみつ** · 2017/12/26(火) 11:52:59.47

>>127
彼はブルバキというかブルバキズムが嫌いだったんじゃない？
80年代 90年代のフランスの教育システムを批判してたわけだし

**名無しのひみつ** · 2017/12/26(火) 13:58:47.74

>>135
数学の立場だよ、

数学のアイデアは形式化された
公理的枠組みの中に化石化されるべきでなく
川が流れるように考えるべきである。

定型でない複素化、四元数化、シンプレック化
、接触化などは、点、関数、多様体、圏、
関手などといった細々としたものに働く
のではなく、数学全体に働くのである。
by アーノルド

**名無しのひみつ** · 2017/12/26(火) 15:09:07.71

街の本屋に並んでる数学系の雑誌は、妙に端整なグレーな感じで押しが弱い
そしてなぜか活字が小さい
化学系や物理系の明るさを見習ってほしい

**名無しのひみつ** · 2017/12/26(火) 21:17:08.87

この証明は、愚かな者や心の歪んだ
者にはその素晴らしさや正しさが
わからないものなのでございます。
如何でしょうか。

なるほど、素晴らしいできである。
それに付け加えて正しいことも
もちろんのこと理解したぞよ。

**名無しのひみつ** · 2017/12/26(火) 21:35:36.24

>>129
それは、御母堂がアメリカの白人で、彼が混血だからです。

**名無しのひみつ** · 2017/12/26(火) 23:34:22.21

>138
単に能力の問題なのに、話を無理やり捻じ曲げて
徳、善、など別の属性に結び付けようと躍起になるのはなぜなんだ

**名無しのひみつ** · 2017/12/26(火) 23:50:52.83

>>140
ネタにマジレス乙

**名無しのひみつ** · 2017/12/27(水) 00:00:00.55

証明の成否は知らんが、少なくとも自分が編集長を務める雑誌で受理すべきじゃなかったとは思う
先取権自体はrxivあたりで確保できてたんだろうし、説得の輪を広げてもっと受け入れられてから
満を持して受理すりゃよかったのに

**名無しのひみつ** · 2017/12/27(水) 02:48:07.96

>>141
ネタにだって滲み出るものだよ。あるいはネタにこそ滲み出るのかもな。

**名無しのひみつ** · 2017/12/27(水) 10:03:41.89

>>142
なんやろな。もう待てなかったんじゃね？
例えばIUTを使った論文を発表するのに前提の論文が出版されてる必要があるとか

**名無しのひみつ** · 2017/12/27(水) 10:46:08.77

>>144
5年待っても読まれない、理解されない状況に変化なかったから
今後も他所でアクセプトされる見込みがないと判断したんだろうね
第三者にアクセプトされる可能性が少しでもあればわざわざ自分とこの雑誌には載せない

**名無しのひみつ** · 2017/12/27(水) 11:44:41.20

>>21,30
すげーな
その状態からこの論文の査読に入れるようになるまでどれだけ時間かかるの？

**名無しのひみつ** · 2017/12/27(水) 12:58:35.04

望月教授
山中教授
天野教授

三大教授だ

**名無しのひみつ** · 2017/12/27(水) 15:44:25.39

お捨てるれマッサージ

**名無しのひみつ** · 2017/12/27(水) 15:54:54.46

一応旧帝卒の理系だけど全くわからない。
というか元々数学は苦手だ。

**名無しのひみつ** · 2017/12/27(水) 19:06:05.58

>>145
雑誌と呼ぶものであれば、編集長が歴史に残る記事を他誌に載せて売り上げを渡すとは考え難いのだが

**名無しのひみつ** · 2017/12/27(水) 19:09:01.02

>>150
売上変わりません

**名無しのひみつ** · 2017/12/27(水) 19:12:16.79

論文を掲載する「雑誌」は仕組みが違うのだね

**名無しのひみつ** · 2017/12/27(水) 19:21:40.16

>>150
何言ってんの？？
マンガの週刊誌じゃないんだから笑

**名無しのひみつ** · 2017/12/27(水) 19:21:54.46

定期購読が基本です
殆どは学会に加入する必要あり

**名無しのひみつ** · 2017/12/27(水) 19:28:03.89

自分とこの立ち位置を上げたくての競争心も無いのかね

**名無しのひみつ** · 2017/12/27(水) 19:33:26.43

そういう競争はノイズでしかない
金儲けが目的じゃない
査読者がいないのに載せられない
無理やり査読させたらむしろマイナス
今後査読を断られるだけ

**名無しのひみつ** · 2017/12/27(水) 19:50:59.71

ふむ。査読者が現れたなら条件は整ったと。強制ではないということですね。

**名無しのひみつ** · 2017/12/27(水) 20:06:13.85

理解できない無能が発狂ｗｗｗｗｗｗｗｗｗ

**名無しのひみつ** · 2017/12/27(水) 20:07:57.88

>>72
>自動証明なんてAIが始まった頃（つまり計算機が始まった頃）からやってるじゃん。

やってねえだろそんなもん

**名無しのひみつ** · 2017/12/27(水) 20:11:28.01

アナログコンピュータは微分方程式を解くのに用いられてたから、そのことを言ってるんじゃないかね

**名無しのひみつ** · 2017/12/27(水) 20:21:09.09

>>159
自動定理証明は1950年代には既に成果が上がってたんだが？

**名無しのひみつ** · 2017/12/27(水) 20:40:20.55

>>21
だったら宇宙際で
いろんな問題を解きまくって実績上げまくれば
良いんじゃないの。
一つの証明が難解だったら数積むしかない。
この場合はこう解けますよ。この場合はこうですよと。

**名無しのひみつ** · 2017/12/27(水) 20:43:46.11

【若年性】　放射能はダークマター　＜マイトＬーヤが緊急声明＞　大勢が無駄に死んでいる　【認知症】
https://rosie.5ch.net/test/read.cgi/liveplus/1514363710/l50

**名無しのひみつ** · 2017/12/27(水) 20:58:18.48

ＡＢＣ予想を多少なりとも理解するための
素人向け解説動画があるようだが
これでも何のことやら、さっぱりわからん。
https://youtu.be/jnoncCO1IQs

**名無しのひみつ** · 2017/12/27(水) 20:59:49.80

>>164
グロ

**名無しのひみつ** · 2017/12/27(水) 21:16:47.52

AはBとも言える。そしてBはCとも言える。よってCはAである。
それはなぜかという問題

**名無しのひみつ** · 2017/12/27(水) 21:24:27.48

>>160
そりゃ、電気回路からだな。
データをインプット
→ 回路の方程式
→アウトプット解
インパルス関数のδ関数だよ

**名無しのひみつ** · 2017/12/27(水) 21:28:57.28

宇宙際の名はやめて、
宇宙の窓際族みたい。
宇宙に失礼

**名無しのひみつ** · 2017/12/27(水) 21:55:55.12

奴らがわかんないです、で済ますわけないだろ。それが控えめな表現だって気付かないのがお公家さん。

**名無しのひみつ** · 2017/12/27(水) 21:57:24.94

>>1
手順としては正しいんだと思う
数学者が理解するのに予備知識から勉強をはじめて半年かかると言われる新概念
それを他の数学者が他人の業績の為に貴重な半年を捧げるなんて暇人は殆どあらわれない
だから5年たって20人しかいないし、放置しとけば勢いはもっと弱まると思う
他の数学者達の重い腰をあげさせて長時間新分野の勉強を1から学ばせるには雑誌の権威を利用するのも一つの手だと感じた

72 · 2017/12/27(水) 22:52:19.38

>>160
別にアナコンの話じゃないよ。
アナコンは学部で実験やらされたことあるけど。

**名無しのひみつ** · 2017/12/28(木) 00:31:05.59

おすてるまっさーは存命け

**名無しのひみつ** · 2017/12/28(木) 01:07:58.12

>>172
https://www.youtube.com/watch?v=ucjw-cyTF_E

**名無しのひみつ** · 2017/12/28(木) 01:15:52.88

フェセンコさん、ゼータ関数の研究集会で特大ふ菓子を買ってきた思い出しかない。
お菓子係だったので助かりました。

**名無しのひみつ** · 2017/12/28(木) 01:42:33.25

ABC予想自体がもう何やらわからんからな
せめて整数乗の範囲で抑えてくれればいいのに

**名無しのひみつ** · 2017/12/28(木) 01:43:15.45

世界の中心で愛を叫ぶ
宇宙の際で三浦を対比する

なんか理解できた気がする

**名無しのひみつ** · 2017/12/28(木) 12:07:11.56

STAP細胞みたいにならないことを祈る。

**名無しのひみつ** · 2017/12/28(木) 13:58:13.13

ナッシュとかの方が心配だけど
普通に学生に教えてるなら大丈夫なのかな

**名無しのひみつ** · 2017/12/28(木) 14:43:47.35

宇宙ならスターウォーズを上映しているよ。
選ばれし者ジェダイが暗黒面に落ち
戦争が始まる、、。
ジェダイは生き残れるか

**名無しのひみつ** · 2017/12/28(木) 15:23:17.20

雑誌に載せること傍が口挟むことじゃない
編集人のお仕事

あとで取り消すことはよくある話

**名無しのひみつ** · 2017/12/28(木) 16:24:28.32

>>41
>証明を理解した20人の中に含まれているならば、それは
>実験的研究で言えば追試が成功したことに相当する。
この部分は例えとしては理解出来るけど
可能性としては論文の論理に沿って誤理解しているケースも孕むでしょ

**名無しのひみつ** · 2017/12/28(木) 16:28:26.47

>>39
熱力学の事を説明し理解を共有していったはずだぞ

**名無しのひみつ** · 2017/12/28(木) 16:45:35.16

STAPの時も追試成功とか断続的にニュース流れたもんな

あのあやしげなドイツ人元気かな？

**名無しのひみつ** · 2017/12/28(木) 17:28:02.36

>>183
自然科学の追試と数学の厳密証明とは根本的に違う
数学の場合は論理が無矛盾であることの理解か
反証提示による誤謬証明かの厳密論証の世界
ただし、難しすぎてなかなかそれが出来ない状態

**名無しのひみつ** · 2017/12/28(木) 19:53:22.16

証明に誤りがあることを示すには反例や矛盾を1個でも見つけてくればいいけど
証明が無矛盾であることを示すのってよく考えると結構むずかしいことだよな

本当に論理的に無矛盾な証明なのか？
実際には反例や矛盾が存在しているのに誰も気がついてないだけってことはないのか？

複雑な証明になればなるほど確認しがたくなっていくような気がする

**名無しのひみつ** · 2017/12/28(木) 20:10:13.59

ABCの証明を理解させる前に、まずは宇宙際なんちゃらを理解させるための道具を開発する必要があるんじゃないか？

**名無しのひみつ** · 2017/12/28(木) 20:22:11.76

>>185
それは無矛盾じゃなくて誤謬
無矛盾というのは

ある体系Tに対してAは無矛盾　≡　Tで¬Aが証明不能

という概念

**名無しのひみつ** · 2017/12/28(木) 22:09:20.66

フェルマー　ABC解けたって

有馬記念はあたらねえ

**名無しのひみつ** · 2017/12/29(金) 00:39:35.32

>>187
普遍集合は？

**名無しのひみつ** · 2017/12/29(金) 01:12:24.40

>>181
何を言っているのかを理解したって事は、既存の数学との齟齬がないかの確認作業が終わったって事なので

**名無しのひみつ** · 2017/12/29(金) 01:28:22.20

>>184
集合論的に圏の位置付けは？
超弦理論の開弦に対応させる、とかね。
位相的弦理論は数学じゃん、、

**名無しのひみつ** · 2017/12/29(金) 10:09:39.71

数学板での一部のネガキャンは酷いね。

「俺が判らないのは論理がおかしいからだ！」とか、「外国の偉い人も判らん、と言ってる」。

**名無しのひみつ** · 2017/12/29(金) 10:28:51.44

だれかこのスレにこの情報貼っといて。規制で数学板にかきこめん
http://rio2016.2ch.net/test/read.cgi/math/1513707655/　

379 名前：名無しのひみつ[sage] 投稿日：2017/12/28(木) 08:07:20.20 ID:bPnj6Q7h [1/2]
望月新一教授の父望月輝一氏についての情報
http://www.us-japan.org/otr/bios/mochizuki.html
http://8919.teacup.com/itaru/bbs/333
http://8919.teacup.com/itaru/bbs/335
http://dl.ndl.go.jp/search/searchResult?searchWord=%E6%9C%9B%E6%9C%88%E8%BC%9D%E4%B8%80&;viewRestricted=1
http://www.murakami-s.jp/mas-rec/kikigaki100/kikigaki003.htm

**名無しのひみつ** · 2017/12/29(金) 10:30:57.51

数学内の内紛なんでしょ。
物理でヨカッたよ～

**名無しのひみつ** · 2017/12/29(金) 10:39:31.47

理論物理だと超弦理論が出てきた頃みたいな話だぞ

**名無しのひみつ** · 2017/12/29(金) 10:48:03.65

超弦理論はハドロンの散乱実験がルーツで
物理の話し。
素粒子統一理論としての超弦理論は
数の八元数が関係する。
八元数は例外群のE8に関係するが、
具体的には難しく殆どの数学者は
スルーしてきたわ！

**名無しのひみつ** · 2017/12/29(金) 10:50:08.39

証明できる可能性のある人が現時点で数えるほどしかいないってことは
人間社会として、これ以上の数学の発展が止まったってことでしょ

**名無しのひみつ** · 2017/12/29(金) 10:55:00.71

そんなことない。ラマヌジャンの公式だって死後何十年もかけて証明されてきた

**名無しのひみつ** · 2017/12/29(金) 10:57:07.79

>>196
理論物理屋が認める認めないで今回のように揉めてたじゃないか

**名無しのひみつ** · 2017/12/29(金) 11:04:54.81

>>199
数学の内紛と一緒にするな、

まず物理だから超弦理論の10次元時空から
現実の4次元時空を分離しろ、という要請だな。
行列模型により分離に成功した。

**名無しのひみつ** · 2017/12/29(金) 11:10:44.00

>>184
文脈読んでレスしましょう

**名無しのひみつ** · 2017/12/29(金) 11:21:29.55

説明は相手が同程度理解できて成立するからな
理解できるように説明ってのはなかなかできん

**名無しのひみつ** · 2017/12/29(金) 11:23:14.12

君子危うきに近寄らず

**名無しのひみつ** · 2017/12/29(金) 11:41:47.58

わかったふりが一番危険

**名無しのひみつ** · 2017/12/29(金) 11:50:56.42

>>192
ネガキャンされそうな行動とったからねｗ

**名無しのひみつ** · 2017/12/29(金) 11:51:42.87

>>192
言っとくが、ネガキャンの発生源は２ちゃんじゃ無くて外国の権威筋だからな。

**名無しのひみつ** · 2017/12/29(金) 12:24:05.45

>>6
マスゴミが悪貨はわかるとして
良貨はなんなんだ？まさかネッt・・・・

**名無しのひみつ** · 2017/12/29(金) 12:32:13.92

数学で地味でも良い仕事をしている人もいる

**名無しのひみつ** · 2017/12/29(金) 13:01:11.24

結局、結論は？

**名無しのひみつ** · 2017/12/29(金) 13:17:50.60

何の結論？

**名無しのひみつ** · 2017/12/29(金) 13:31:19.43

PRIMSに載るかどうかじゃね

**名無しのひみつ** · 2017/12/29(金) 13:41:36.43

掲載はPRIMSで判断するんだろ。
それだけじゃん

**名無しのひみつ** · 2017/12/29(金) 13:51:46.82

>>168
宇宙の際(きわ)
インタープラネット惑星間
インターステラ恒星間
インターユニバース宇宙間

きっとこんなイメージ
空間概念 <=(IUT理論)=> 空間概念
どこか別の空間に写像してそっちで証明したことをまた元の空間に戻すのかも知れない

**名無しのひみつ** · 2017/12/29(金) 14:08:00.26

＞米国文化を嫌っていること

なぜ朝日が望月氏をやたら取り上げるかが分かった
これが書きたかったんだろうな

**名無しのひみつ** · 2017/12/29(金) 14:13:05.66

>>213
「宇宙」は数学の集合なんだろ。
グロタンディク宇宙？
過去の数学は全て忘れろ、だから
違うんだろうが。

**名無しのひみつ** · 2017/12/29(金) 14:40:37.58

要するにアジア人の功績など認めないという
数学界の差別意識の表われだろと言わせたいのかもしれんが
まあ論文なんて論理的に正しければ問題無いはずで
理解できないということは論理的でないか論理の飛躍があるかであって
証明がなされたということにはならないということだけどな
俺様理論を論拠とするなら理解できないのも当然だし

**名無しのひみつ** · 2017/12/29(金) 15:30:30.03

ながながと何を書いてるの？
20人も理解したという人がいるのに。

**名無しのひみつ** · 2017/12/29(金) 16:01:33.75

>>217
宇宙際の宇宙はグロタンディク宇宙のこと？
グロタンディク宇宙とは無関係？

**名無しのひみつ** · 2017/12/29(金) 21:04:22.03

「理解できないから説明しろ」っていうのは、論文をちゃんと読み込んで自分が理解できない部分を
具体的に指摘して質問できる人間が言うべきセリフ。
自分が何を理解できていないのかも分かっていない人間は質問する資格すらない。
初学者がよく陥る「何が分からないのかも分からない」レベルの人間が論争に参加するべきではない。
「何が分からないのかも分からない」レベルの人間に説明しても時間の無駄。

**名無しのひみつ** · 2017/12/29(金) 21:12:52.04

まず遠アーベル幾何学というやつを勉強する必要があるらしいけど
Wikipediaで見たけど説明が全く分からなかった
宇宙際の難しさも推して知るべしか

**名無しのひみつ** · 2017/12/29(金) 22:29:50.02

>>219
俺はその「何が分からないのかも分からない」大勢のうちの1人だが、
何がどうなってるの？とは思うね。
分かってる人にはそのうち余裕が出てきたら説明よろ、とお願いしたい。
だって分かんないんだもん。

**名無しのひみつ** · 2017/12/29(金) 22:48:01.34

アインシュタインの相対性理論が出たころは、理解できるのは世界でも１０人とか
言われていた。しかし、その後の観測や実験で、ニュートン力学より精緻な物理
理論だと言う事が確立していった。

現在、相対性理論は、その分野の大学院生なら理解できている。
そして、年に１回は科学雑誌などで、一般向けな平易な説明が特集されている。

時間の問題って側面もあると思うよ。

**名無しのひみつ** · 2017/12/30(土) 08:10:00.89

>>222
物理は単位と実験がある。

物理の相対論や超弦理論と
数学内の内紛を一緒にするな。
数学と物理は全く別だ。

特殊相対論は当初ローレンツやポアンカレ
からのパクリと批判された。
アインシュタインは物理の熱力学の公理を
手本とした、他、。

一般相対論では重力場方程式の作用は
ヒルベルトが先に導いた。
アインシュタインの重力場方程式は
ニュートン力学ポアソン重力場方程式
の発展だ。

ローレンツ変換の式を導くことは中学生
で可能、
一般相対論の式なら物理学部生も可能。
だが、物理の位置づけは物理をキチンと
学ばないと不可能だ。

今でも、相対論は間違っている、
と騒ぐ輩が物理以外の研究者レベルでも
いるくらい相対論は深い。
数学から物理の相対論が導ける、とは
間違ってすらいない。

**名無しのひみつ** · 2017/12/30(土) 10:51:56.20

物理は実験との整合性を考える解釈論があるから
コペルニクスの時代から揉めまくってるじゃないか
中世は宗教の影響強いから外して考えても
ボーア以降いつも揉めてる

数学は物理学レベルの揉め事はカントールとブラウアー以降はない

**名無しのひみつ** · 2017/12/30(土) 11:28:44.02

証明も難しいが、証明の証明も劣らず難しいと言うことか。
でも理論であるから、時間がかかるが証明の証明はなされるだろう。
アインシュタインの相対性理論が出た時も似た状況があったが、
観測手段があったから正しさが証明された。数学の場合は自己完結
の理論だから他に手段が無い。

**名無しのひみつ** · 2017/12/30(土) 12:04:55.73

球だったか立方体だったかを、分割して二倍の体積にできるとかいうパラドックス
は、どう解決されるのですか？　いくら読んでもわからない。

**名無しのひみつ** · 2017/12/30(土) 12:26:47.26

>>226
非可算の選択公理を認めるかどうかという問題だったはず。
つまり、数学の基本ルール（公理）に何を設定するかという話なんで
どうしようもないといえばどうしようもない。

可算の選択公理までしか認めなくても大体の数学は成立するんじゃなかったかな。

**名無しのひみつ** · 2017/12/30(土) 12:51:12.73

>>224 >>225
やり直し、

朝永先生の「物理とはなんだろう」の本は
ケプラーから始まる。
相対論は単位がある世界。

>>226
いい疑問だね。

測度論は物理手法を捉えらていない。

ブラウン運動は至る所微分不可能だが、
数学のウィナー測度と確率微分方程式に
なった。
しかし量子化の経路積分法は測度が崩壊する。
数学の研究対象、

物理は実験があるから経路積分を普通に
使う。
量子場を解析接続してウィナー測度にする、
とか物理手法が使われる。

**名無しのひみつ** · 2017/12/30(土) 12:58:23.85

バナッハタルスキーの逆理、
現代数学は意味のある難問は
避けているだけ。
数の八元数しかり、、

**名無しのひみつ** · 2017/12/30(土) 14:50:40.73

>>226
パラドクスと言っても
数学的には直感が間違ってるだけの話で
パラドクスでも何でもない

ラッセルのパラドクスのような枠組みの変更も要請されなかった
>>227の区別が必要なだけ

**名無しのひみつ** · 2017/12/30(土) 14:54:59.85

グロタンディク宇宙は？

**名無しのひみつ** · 2017/12/30(土) 15:24:58.08

>>230
普遍集合は証明に使っているの？
グロタンディク宇宙は証明に無関係だよね。
グロタンディク宇宙は既存の数学だから。

**名無しのひみつ** · 2017/12/30(土) 15:32:17.53

>>232
選択公理はZFとは独立
選択公理と矛盾するような定理や基数があること
これらは別に矛盾でもパラドクスでもない

**名無しのひみつ** · 2017/12/30(土) 16:25:29.82

これって
数を入れると正解が出る数式とはちがうん？

数値→（望月理論）＝答え

みたいに。

**名無しのひみつ** · 2017/12/30(土) 19:30:12.23

>>233
だから、
今回の証明では普遍集合を含めた公理なの？
グロタンディク宇宙とは無関係だよね。
グロタンディク宇宙は既存の数学だから。

**名無しのひみつ** · 2017/12/30(土) 22:09:24.80

宇宙際タイヒって、宇宙が複数あることが前提なんだろうけど、それって証明されてないじゃん

**名無しのひみつ** · 2017/12/30(土) 22:14:13.02

>>162
宇宙際ではないけど例証挙げてみんなで解いてきましょうってやるのは谷山・志村予想であったっしょ

**名無しのひみつ** · 2017/12/30(土) 22:22:24.76

>>118
階差機関のパトロンやったエイダかよ

**名無しのひみつ** · 2017/12/30(土) 22:34:46.69

>>205
>>206
数学素人なのに望月教授にストーキングしてんだって？
ご苦労なこったなjinとやら

**名無しのひみつ** · 2017/12/30(土) 22:37:45.90

>>223
誰も言ってないことに反論してるような文章だな

**名無しのひみつ** · 2017/12/30(土) 22:53:55.01

>>240
アホにはわからんから

**名無しのひみつ** · 2017/12/30(土) 23:25:05.35

>>236
本物の宇宙の話をしてるんじゃなくて
スキームを宇宙と例えてるだけだから

**名無しのひみつ** · 2017/12/30(土) 23:50:49.36

宇宙と関わりが多少ともあるのなら、なぜ物理学者は望月の論文を無視
してるのか。

**名無しのひみつ** · 2017/12/31(日) 00:11:42.95

宇宙論の宇宙ではない
おそらく空間の意味

**名無しのひみつ** · 2017/12/31(日) 00:18:47.70

スプートニクってだけで怪しさ爆裂…。
ロシアのプロパガンダ機関だよね？しかもオカルト大好きという。

**名無しのひみつ** · 2017/12/31(日) 00:19:27.47

それなら、宇宙と言う用語を使うのは不誠実だと思う。

**名無しのひみつ** · 2017/12/31(日) 00:49:36.07

>>242
例えより
俺様定義のヨタ噺しだな、

**名無しのひみつ** · 2017/12/31(日) 01:12:41.25

>>2
好きな食べ物をそれを食べたことのない人に説明できるかい？

**名無しのひみつ** · 2017/12/31(日) 01:17:41.92

泰平ヨンだ！なんか聞いたことあるフレーズだったのよ

**名無しのひみつ** · 2017/12/31(日) 01:32:34.59

スキーム、
抽象バカじゃんw

**名無しのひみつ** · 2017/12/31(日) 02:46:27.64

>>247
違うよ

数学のグループはいわゆるグループじゃないしフィールドはフィールドじゃないしリングはいわゆるリングじゃないしマグマはいわゆるマグマじゃない

シロートすぎるだろそのレス

**名無しのひみつ** · 2017/12/31(日) 03:00:31.43

>>251
アタマ腐っているよ

**名無しのひみつ** · 2017/12/31(日) 03:20:51.89

冬厨大量発生？

**名無しのひみつ** · 2017/12/31(日) 03:22:46.79

>>56
買い被りすぎワロタwww
あいつ地頭そんなに良くないから

**名無しのひみつ** · 2017/12/31(日) 03:23:48.99

>>207
あたまわるっ

**名無しのひみつ** · 2017/12/31(日) 03:26:34.08

>>216
幸せそうでいいな
お前がまさに俺様理論を論拠にしてるってことに一生気付かず生きていけそうだな

**名無しのひみつ** · 2017/12/31(日) 03:34:07.80

>>252
シロートさんはこれだから

**名無しのひみつ** · 2017/12/31(日) 06:57:04.95

500ページじゃ少なすぎる
五千ページにすべき

**名無しのひみつ** · 2017/12/31(日) 08:01:01.72

>>257
抽象バカ、
取り憑かれている

**名無しのひみつ** · 2017/12/31(日) 11:43:37.30

>>35
小保方は頭が悪い
こいつはめちゃめちゃ頭が良い

**名無しのひみつ** · 2017/12/31(日) 16:42:08.41

>>258
500ページの前に500ページが依存している自著論文数千ページがあるそうだよ。
5000は行かないらしいが。
でも結構な専門家じゃないとその数千ページもチンプンカンプンらしいっぽい。

**名無しのひみつ** · 2017/12/31(日) 17:43:50.55

人バカにするのは、自分がちゃんとできてからな。
今のところ居ないがな。

**名無しのひみつ** · 2017/12/31(日) 18:02:30.48

>>259
中傷バカはこれだから

**名無しのひみつ** · 2017/12/31(日) 18:22:32.31

過去スレこれか　スレの１と２もあるようだ

【ABC予想】望月教授による証明が数学界を二分★3
https://asahi.5ch.net/test/read.cgi/newsplus/1514258188/

**名無しのひみつ** · 2017/12/31(日) 18:25:50.20

>>264 まだ進行中のスレでした　すまぬ

**名無しのひみつ** · 2017/12/31(日) 20:16:51.04

>>265
もう落ちてるね

**名無しのひみつ** · 2017/12/31(日) 20:19:04.87

>>261
まあ、科学論文てどの分野であれ部外者にはチンプンカンプン

**名無しのひみつ** · 2017/12/31(日) 20:35:18.15

文系馬鹿がいくら口先で論じても事実は曲げられないよ

**名無しのひみつ** · 2017/12/31(日) 21:04:08.82

http://www.brh.co.jp/seimeishi/journal/091/talk/
森
そうです。まだこれは確立してないですけど、所長をしていた数理解析研究所の望月新一さん[註2]が、
ＡＢＣ予想[註3]というのを解いたと証明を発表して、今世界中でそれをチェックしています。
それは概型よりも多分もっと新しい概念を使っているだろうと考えられます。
概型が出てきたのが１９６０年ぐらいで、その数十年以前は、いわゆる普通の数、複素数くらいまでしか見ていませんでした。
それを置き換えるように概型という概念が出てきたように、それをさらに置き換えるようなものかもしれません。
中村
６０年代から今までの間の研究を踏まえて世界を膨らませる新しい概念をお考えになったのですね。
森
そうですね。
中村
素晴らしい。
森
世界中で議論になっています。非常に誇らしいですね。

**名無しのひみつ** · 2017/12/31(日) 23:10:00.81

→矢印の種類が３つあってわけわからん

**名無しのひみつ** · 2017/12/31(日) 23:26:56.14

>>268
文系ガーが理解してないのは、
その蔑むところの文系の人々は、理系の学問を罵倒したりはしないってところだよ

**名無しのひみつ** · 2018/01/01(月) 03:52:41.41

>>271
記事に何の関係もないことを書き込む煩悩系おつ

**名無しのひみつ** · 2018/01/01(月) 05:11:23.72

後の分厚さは納得の権威だわ

**名無しのひみつ** · 2018/01/01(月) 06:42:51.61

理解できない
理解できるが説明できない
こんなこともあるんだ
スゲーとしか言えんな

**名無しのひみつ** · 2018/01/01(月) 12:33:24.86

12月まで修正しているのに？
世界で理解できる人は20人、とか。

俺は完全に分かった、理解できる
と言っている人は
論文修正の預言者か？

**名無しのひみつ** · 2018/01/01(月) 14:15:29.02

>>269
フィールズ賞の森教授の極小モデルなんて現実とまったく関係ないと思われていたのに
物理の超弦理論で出てきたりしているらしいからな。望月理論もいつか応用されるんかな

**名無しのひみつ** · 2018/01/01(月) 15:27:50.20

>>276
物理の超弦理論特にミラー対称性とか
共形場理論とか、数学物理が交差している。
超弦理論に対応する数学の位相的弦理論で
数学証明に成果があるし、数論も関係して
いる。
望月理論は数学の検証後に応用されるかもね。

数はノルムまで考えて実数複素数
4元数、8元数まで拡張できる。
(8元数は難解な数だから8元数を除き)
数学も物理も4元数までの拡張はよく行われる。
だが、超弦理論例外群E8×E8は 8元数が
関係する。
E8の具体的な表現による超弦理論と繋がり
の研究が不十分では、、？

超弦理論は11次元でM理論により統一予想
があるから、10次元のⅡB型行列模型が
代表していると前向きに？みなす。
kekらの ⅡB型行列模型数値実験より
現実の4次元時空の分離に成功した。
E8 8元数の研究も必要と思うが、、

**名無しのひみつ** · 2018/01/01(月) 15:33:12.51

>>269
>数十年以前は、いわゆる普通の数、
複素数くらいまでしか見ていませんでした。

数の拡張の大切さはアーノルドも言ってた
じゃん。
森先生が見ていなかったのでは？

**名無しのひみつ** · 2018/01/01(月) 15:46:17.49

望月先生的には、今年の紅白は胸アツだっただろうな。

**名無しのひみつ** · 2018/01/01(月) 21:14:23.74

８元数の乗算は結合的ではない、つまり（ｘｙ）ｚ＝ｘ（ｙｚ）が成り立たないので、
行列の積による表現を持たない点が実数、複素数、四元数までの場合とは異なる。

**名無しのひみつ** · 2018/01/02(火) 08:05:58.56

そこで終わりならつまらんだろ

**名無しのひみつ** · 2018/01/02(火) 09:43:50.53

magic square

**名無しのひみつ** · 2018/01/02(火) 10:05:47.82

理解できて否定してる学者は居ないのか？

**名無しのひみつ** · 2018/01/02(火) 10:56:42.57

理解した数学者は正しいと判るからw

**名無しのひみつ** · 2018/01/02(火) 12:38:26.89

>>280
コンウェイによれば、
1843年 Gravesが 8元数 8元代数
を発見した、と表明した。
1844年 Hamiltonが 8元数は
結合律が成立しないと指摘した。

**名無しのひみつ** · 2018/01/03(水) 03:26:47.68

>>117
すまん、３つとも何言ってるのか分からん
こういう世界があるんだな……

**名無しのひみつ** · 2018/01/03(水) 04:28:44.61

ハミルトンは4元数カルトと呼ばれた

**名無しのひみつ** · 2018/01/03(水) 05:21:55.79

そのうちAIが人間には理解できない証明や論文を書いたるする時代が来るんだろうけど、
この件はその先駆け的なものだな。

**名無しのひみつ** · 2018/01/03(水) 10:19:02.30

ヒッキーが誠化
雪乃がヒッキーの首チョンパ
雪乃が由比ヶ浜を殺す
雪乃のクルーザーで首ヒッキーと海へ

これでハッピーエンドかな

**名無しのひみつ** · 2018/01/03(水) 10:19:20.98

誤爆したわ

**名無しのひみつ** · 2018/01/04(木) 03:32:53.48

>>278
概型と言ってるから複素数体上の代数幾何という意味でしょう
森先生自身、正標数（普通でない数）の代数幾何を用いてフィールズ賞をとった方

**名無しのひみつ** · 2018/01/04(木) 15:45:57.01

>>291
だろうね。
アーノルドは、数の拡張は数学全般に及ぶ、
と言っている。

**名無しのひみつ** · 2018/01/04(木) 16:49:54.16

https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/
Dick Gross says:
December 21, 2017 at 2:13 pm

(前文略) Instead of producing 300+ pages of manuscript, Mochizuki needs to give one or
two lectures (in Bonn, or Paris, or Boston, or..) clearly explaining the new ideas in his
argument and showing how they lead to a proof of ABC. This shouldn’t be difficult —
I have no idea why he refuses to do so.

傲慢な外人が如何にクソであるかが良く分かる

**名無しのひみつ** · 2018/01/04(木) 16:53:02.55

なんでそんな不便なところに行ってバカを相手にしなきゃならないんだ?

慰安婦の真実を説明するために、アマゾンの奥地の幼稚園児に説明しろ
というようなもんだろこれ。

**名無しのひみつ** · 2018/01/04(木) 17:37:33.53

このレベルでも有るのか
「分かるように説明できない奴が悪い」
って

**名無しのひみつ** · 2018/01/04(木) 19:56:11.15

傲慢で酷いですね
お前がこっちに来て説明しろって何様なんでしょうかｗ
論文を読んでみましたが、わからない点があるので
質問したいのですがよろしいですか？
が普通でしょう

**名無しのひみつ** · 2018/01/04(木) 20:11:24.95

普通ではないね。学会を成しているのは他の人たちで、
巨人の肩に乗るってことだから

**名無しのひみつ** · 2018/01/05(金) 00:55:49.71

アメリカの学会には、イスラエルにシンパシー示さないと入れてくれないとかあるっていうし、
俺が昔、研究者の端くれだったとき、まったく理解できない人種差別されて閉口したな。

もういくら金貰っても、アメリカやヨーロッパには行かないと決めたわ。

**名無しのひみつ** · 2018/01/05(金) 01:35:57.59

｜Mochizuki needs to give one or two lectures (in Bonn, or Paris, or Boston, or..)
この田舎もんのバカは Oxford を知らんのか