【数学】人類史上最大の難問の一つ 「リーマン予想」 ついに解明か / 名乗り出たのはフィールズ賞受賞数学者マイケル・アティヤ氏[09/26]
■ このスレッドは過去ログ倉庫に格納されています
ときおり世間を騒がせる「○○が解明されたかも」系のニュース。例えば「ポアンカレ予想」や「フェルマーの最終定理」などは数学があまり好きではない人でも聞いたことがあると思う。
海外メディア「NewScientist」によると、これらの有名な難問と同様にとにかくヤバすぎるくらい難しい「リーマン予想」が159年の時を経て証明されたかもしれないとのこと。しかも名乗りを上げたのは89歳のおじいちゃんというから驚きだ！ いったい彼は何者なのか……。
■数学界の神
実はこのおじいちゃん、ただのおじいちゃんではない。なんと「数学のノーベル賞」と呼ばれることもあるフィールズ賞と、これまた別の「数学のノーベル賞」と呼ばれるアーベル賞の両方を受賞しているマイケル・アティヤ氏。
1つ受賞しただけでも凄いのに、それを2つも受賞しているなんてヤバすぎる……。これはもう数学界の神といっても過言ではない。きっと筆者のようなおっさんとは見えてる世界も違うのだろう。
■証明はおまけ
今回の成り行きもただ者ではなく、アティヤ氏は別に「リーマン予想」の研究をしていて証明にたどり着いたわけではないという。難しすぎて詳細は理解不能だが、なんでも「微細構造定数」なる、物理学の分野で特に重要とされる数値を導く過程でおまけで証明したとのこと。
さらにスゴみを感じるのは「リーマン予想」の証明がたったの5ページというところ。普通この手の超難問の論文はめちゃくちゃ長く、確認どころか読むだけでも大仕事。例えば「ポアンカレ予想」は全3部構成で、参照込みの合計68ページだ。
■100万ドルの懸賞金
なお「リーマン予想」は、アメリカのクレイ数学研究所が100万ドル……日本円にして約1億1千万円の懸賞金をかけている7つの問題の内の一つ。1億円の価値があるほどに重要かつ難しい問題ということだが、当然挑戦者も多い。
誰かが証明したと名乗りを上げたのは今回が初めてではなく、これまでに出されたものは全て間違っていたというだけのこと。今回大々的にニュースになっているのは、やはり名乗りを上げたのがアティヤ氏だったからではないだろうか。
そりゃあ数学界のノーベル賞を2回もとっているんだし、注目度もうなぎのぼりというものだ。ただ、現時点ではまだ間違いなく証明されたのかどうかは不明。研究者たちによって、アティヤ氏の論文に間違いがないかどうか検証する作業が進められている。
アティヤ氏による証明の正誤はこれから明らかになるだろうし、結局間違っていたという結果になっても何ら不思議ではない。凄く高名な研究者の出す論文でも、正しくないというのはどの分野でも割とよくあることだ。
■圧倒的なバイタリティ
ところで「NewScientist」に掲載されているアティア氏の言葉にこういうものがある。
“People say ‘we know mathematicians do all their best work before they’re 40’”
（みんな数学者は40歳までが華だっていうけどさ。）
“I’m trying to show them that they’re wrong. That I can do something when I’m 90.”
（それは間違ってると証明したいね。90になったってまだまだやれるところを見せてやんよ。）
筆者的に見習いたいと思ったのは、この発言からも感じ取れる彼のバイタリティだ。89歳という年齢にしていまだに数学界の最先端を走り続けているし、きっとこういう姿勢が彼を数学界の神にしたんだろうなぁ……。
https://d1o50x50snmhul.cloudfront.net/wp-content/uploads/2018/09/21090024/aahxh591.jpg
参照元：NewScienteist、EveningStandard、リーマン予想の証明、ポアンカレ予想[1]、[2]、[3] （英語）
https://www.standard.co.uk/news/uk/has-the-riemann-hypothesis-been-solved-who-is-michael-atiyah-a3944486.html
https://www.newscientist.com/article/2180406-famed-mathematician-claims-proof-of-160-year-old-riemann-hypothesis/#.W6l4nF6LAG9.twitter
https://rocketnews24.com/2018/09/26/1119979/ 再生核研究所声明１９８（2015.1.14） 計算機と人間の違い、そしてそれらの愚かさについて
再生核研究所声明１９９（2015.1.15） 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える
― ゼロ除算100/0=0,0/0=0
再生核研究所声明２００（2015.1.16） ゼロ除算と複素解析の現状 ―佐藤超関数論との関係が鍵か？ >>388
ゼロ除算君とか、>>44みたいに解析接続すらわかってないのとか、糖質ホイホイだよね 解析接続を知っているとは 素晴らしい。
ゼロ除算の証拠として 図で、直角三角形や２等辺三角を考えてみてください。
現代数学の盲点が出て居ますね： 
イヴァン フェセンコ教授もIUTは21世紀で最も重要で予想外の数学的発展をもたらしたと言ってるしな
望月教授が打ち立てた新しい数学のことね
ABOUT CERTAIN ASPECTS OF THE STUDY AND DISSEMINATION OF SHINICHI MOCHIZUKI’S IUT THEORY
IVAN FESENKO
The aim if this text is to communicate in a compact form some factual information
related to the study of Shinichi Mochizuki’s IUT theory, first made public in 2012,
and its dissemination, as well as various aspects of the situation around IUT.
IUT is the most important and unexpected development in mathematics of the 21st century.
A more comprehensive presentation of various issues is contained in my papers1.
Without repeating the content of those papers,
here I include some smaller details and facts not included in them.
https://www.maths.nottingham.ac.uk/personal/ibf/rapg.pdf >>387
仏教に没頭して修行僧に転身したフランスの物理学者もいたよな
物理研究の壁にぶち当たって気が狂った 弦理論でおなじみの天才物理学者ジョエル・シャークだった 小山信也さんとかの本読むと、リーマン予想って
おおよそ理論的に説明のつく所まで行けるかどうか
さえ、まだ見込みが付いてないような事だったけどな。
小山さん涙目．．． >>397
別名「悪魔の証明」
解けないとされる悪魔の証明を解く方法を見つけるという事だからね
リーマンゼータ関数のゼロ点が成り立たない事を否定しないといけないのだが、ないものを証明するのが難しい
ゼータ関数の性質上、逆数の総和により無限大への発散を解決してるが、その対数となるとまた無限大問題がでてくる事
※ゼータ関数の解が逆数による総和の近似値(n＝無限大で総和対象の要素解をゼロとみなしているため)のため それで結局、否定的解決なの？肯定的解決なの？
それとも証明できないことを証明したの？ S−rS 法だと
a＝0.999・・・
10a＝9.999・・・
10a−a＝9.999・・・−0.999・・・
9a＝9
a＝1
0.9999・・・＝1 >>398
「悪魔の証明」は不在証明の困難さを指して言われてるだけ
極端な独自解釈はやめたほうが良い 公比1の交代等比級数
(1−1 + 1−1 + 1−1・・・∞)
＝1/2
が0でも1ではなく、1/2になるのを中学生に分かるように教えて下さい
次に数を∞の2倍にするとゼロになるのはなぜか教えて下さい
(1−1 + 1−1 + 1−1・・・2∞)
＝((1−1)+(1−1)+(1−1)・・・∞)
＝0 >>402
性質を例えただけだよ
自明でない零点が複素平面上の一直線上に無限大にあることが証明できるけども、それ以外の場所に自明でない零点がないことを証明するという問題の性質を >>404
痛々しいのでもう黙っていてくれませんかね？ >>404
一事が万事と言ってね
その極論を妄想の域まで育てる性質は、数学を学ぶには非常に不利な性質だよ
そもそも数学の非存在証明に、法学の非存在証明の困難さを持ってきても意味がない
対角線論法ぐらい、知識としてならあるでしょうに
まず使いなさいよ、妄想ではなく知識の方を >>403
こういう的外れなアホがおかしなことを言うのは自然 実軸上でテイラー級数で定義された三角関数sin(x)は複素平面上に解析接続できる。
このとき、sin(x)の零点は実数軸上以外には存在しないことを証明性せよ。 >>21
＞
＞マイケル（８９）
＞「解」「け」「た」「ど」「ー」
宿直！ >>35
＞＞90になったってまだまだやれるところを見せてやんよ
＞
＞これ間違ってたら死ぬほど恥ずかしいな
間違いが証明された数年後には... リーマン予想＝一生底辺。人生かけてこれを証明してやるぜ。 証明はチャレンジとして面白いが、どうして誰も正しいと仮定した暗号解読法なんかにチャレンジしないの？ >>393
その冒頭の非テキスト行、やめてくれまいか。
タブレットの古い機種で、メモリの貧弱なせいか、
専用ブラウザーでそこの行を表示する際に毎回、
アプリがフリーズして落ちるので。
（Webブラウザーでカキコ終わり）>>393
その冒頭の非テキスト行、やめてくれまいか。
タブレットの古い機種で、メモリの貧弱なせいか、
専用ブラウザーでそこの行を表示する際に毎回、
アプリがフリーズして落ちるので。
（Webブラウザーでカキコ終わり） 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b) アメリカの一般的な大学生って掛け算もできないんでしょ？ もっちーといいアティヤといい
交流もろくにしとらんのに基礎論に突っ込むと痛い目をみるというよい事例 135791113
2468101214
3579111317
246810121416
161412108642
1311753
246
357
6420
7531
2,3
3,2
0
素数なんて０と一緒 割れる個数が０個になるなら素数か
その数字と１以外に割れない数は、他に割れる数は０個か その数字と１以外に割れない数は、見つかるか
それはどうやって見つけたらいいだろう？ わり算できる数を有理数とするなら、その数字は、
その数字と１以外で割れるか わり算できる数を有理数と考えた時に
その数字と１以外でしか割れない数は有理数か 5÷1/2=10
その数字と１以外で割れる数は２倍した時に必ず偶数か >>421
そうか？
結局発表初期から突っ込まれてたのがクリティカルになってると思うが
まあそれ以外にもイエスマンしか回りにおかないおかないとかそういった問題点もあるかもしれんが >>428
そんな単純な問題じゃないよ
それだけ前例の無い新しい数学世界を創造したから理解がなかなか進まない
真に創造したことを物語ってるだけだ
例えばこういうことだしな
新しいから違和感が強烈に働くんだよ
↓
逸脱というか特異なのは論法・計算法
原理的には確かに圏論や集合論と大差ない仕組みで書かれてはいる
何が問題なのかというと、宇宙際の圏論的な射とか関手について考える時に
ある意味でラベル付けとアルゴリズムという情報を「付加」してしまっているということだ
そうすることで上手く非自明な計算を実現するリンクが実現するわけだが
PS-JSはこのような付加的情報を認めるべきではないと主張していることになる 723 １３２人目の素数さん sage 2018/10/03(水) 00:06:39.55 ID:CuPHjm4L
望月側の自己弁護としては、そのようなアルゴリズムは絶対ガロア群のような、
別々の世界を往来できる基本構造と論理構造で書かれているわけだから問題ないとなる
圏の絶対遠アーベル幾何学的な現象を単に明示的にして再認識しているだけなので
恣意的ではない、ということ
今のところどっちに転んでもおかしくないという印象だけど、短期決着は無理かなと 15324461*2=30648922
922÷2=461
461は素数
15324461は素数
123547*2=247094
94÷2=47
47は素数
123547は素数
413657*2=827314
14÷2=7
314÷2=157
413657は素数ではない
13697457*2=27394914
914÷2=457
14÷2=7
13697457は素数ではない 43687461*2=87374922
922÷2=461
22÷2=11
43687461は素数ではない
63539461*2=127078922
922÷2=461
22=11
63539461は素数
635239461*2=1270478922
922÷2=461
22÷2=11
635239461は素数ではない 42547*2=85094
42547*3=127641
94÷2=47
641は素数41は素数
42547は素数ではない 2の乗数と3の乗数で引き算すると素数が出てくるかも
2^11=2048 3^7=2187
2187-2048=139
139は素数 3^8-2^11
6561-2048=4513
4513は素数
必ずしも素数は出てこないが、素数は出てくる
法則性や規則性は不明 数を増やしたら素数が出てこないとか、素数は隠れたがる 数学や物理で就職なくて死んだりする人いるみたいだが、
人類の1％も理解してないことを理解してる、研究してるだけでスゴイ尊敬すべきことだから、死んだりするな。
まじ尊敬する。こういうわずかな人が文明を進化させているんだから 心配しなくとも分数も出来ない工業高校卒がエンジニアとして重宝されてるからマジで >>403
リーマンゼータ関数の基本も知らないアホ発見 >>403
そんなことも分からないなら数学は無理
文系に進学しなさい >>403
勝手にかっこでくくるな
演算順序を勝手に変えて良いのならどんな値にも収束するのだ ID:h9cxkgZk
モッチーのIUTって本物？ いつも、うだつのあがらないリーマンが、競馬雑誌もってる姿が頭に浮かぶ。
話題にするの飽きたから、証明できた時に教えろや。 142857 素数だが、面白い数字、不思議な数字と言われる。
英語ではサイクリックナンバーとか言われている >>403
大学一年で習う解析の基礎知識もない奴には難しいだろうなあ >>438
だから法則が証明されたからって、現在使用してる技術にはなんも関係ないでしょｗ
たとえば、中学や高校で覚える物理や数学の法則の証明方法を知らなくても、計算式は解けるでしょｗ
法則を使用する分には、証明方法がわからなくても使えるってわけｗ
証明されて使えなくなるようなら、法則性がみつけられ予想が出た時点で使えなくなる 素数の話をしているはずなのに、虚数がでてくる時点で胡散臭い。
つーか、1から無限まで足した和が-1/12ってなんだよwww >>456
平たい言葉でいうと「素数の並びに意味はあるか？」という問い。 宇宙を説明する最も有力で深い理論とされる弦理論において、宇宙の真理において素数が密接に関わっているとがわかった
だからこそリーマン予想の解を熱望されるようになった これまでリーマン予想など数学者の趣味と考えられ誰も見向きもしなかった。
しかし今は宇宙、この世とは何か？を解明する重要なキーになると考えられるようになった これ公開したのが5ページで詳細は別で提出してなかった? さすがの天才もボケちゃって証明とはなんぞやと言うレベルに >>439
金もなくて録な仕事もらえないんだから評価されてないだろ現実に
サラリーマンになるほどバカにもなれず、残された道は自殺しかない
ただ食べて息をしてるくらいなら自殺した方がまし >>465
ポアンカレ主義ってんですか、価値観変えられないでルサンチマン吐き出す人は数学板に掃いて捨てるほど居ますんで
学は残らずプライドの高さだけが残るとこうなる 解明できた事が正しいって判断できる人も貴重なんだろうね >>458
原子さらには素粒子の振る舞いに関する
問題が解決するかもとかじゃなかったのかな? >>468
素粒子の全貌がわかれば何でもわかる。
宇宙の始まりも終わりもわかる
重力の仕組みもわかる 現在われわれが見ているものすべてはスクリーンに映った映画みたいなもの
すべては幻影 時間も空間も重力も素粒子も幻影
幻影の世界から抜け出すカギがどこかにあるはずなんだ そのアチャー氏の怪しい論文のＰＤＦファイルはどこで手に入りますか？ >>470
＼ r'´￣￣￣ ￣￣￣｀､::. ＿＿＿
l} ､:: ＼ﾍ,___,＿ ＿＿＿＿＿＿/::.＿＿| .|＿＿＿＿＿＿＿＿＿_＿
|l ＼:: | | ｜､:.. |[], _ .|:[ニ]:::::
|l'-,､イ＼: | | ∧,,,∧ . ｜::.. ﾍ￣￣,/:::(_＿)::
|l ´ヽ,ノ: | | （´・ω・｀） ,l､::: ￣￣::::::::::::::::
|l | :| | |,r'",´￣￣￣￣￣｀ヽ､l:::::
|l.,＼＼| :| | ,' :::::... ..::ll:::: そうだ…現在われわれが見ているものすべては
|l | :| | | :::::::... . .:::|l:::: スクリーンに映った映画みたいなもの
|l＿＿,,| :| | | ::::.... ..:::|l:::: すべては幻影 時間も空間も重力も素粒子も幻影
|l￣｀~~| :| | | |l:::: 幻影の世界から抜け出すカギがどこかにあるはずなんだ
|l | :| | | |l:::: ぼくはまだ12歳
|l | :| | | ''"´ |l:::: 起きたらラジオ体操に行って、
|l ＼＼[]:| | | |l:::: 朝ご飯を食べて、涼しい午前中にスイカを食べながら宿題して、
|l ｨ'´~ヽ | | ｀`' |l:::: 午後から友達とプールにいっておもいっきり遊ぶんだ・・・
|l-''´ヽ,／:: | | ''"´ |l::::
|l ／:: | ＼,'´＿___..:::::::::::::::_`l__,ｲ:::: >>470
＼ r'´￣￣￣ ￣￣￣｀､::. ＿＿＿
l} ､:: ＼ﾍ,___,＿ ＿＿＿＿＿＿/::.＿＿| .|＿＿＿＿＿＿＿＿＿_＿
|l ＼:: | | ｜､:.. |[], _ .|:[ニ]:::::
|l'-,､イ＼: | | ∧,,,∧ . ｜::.. ﾍ￣￣,/:::(_＿)::
|l ´ヽ,ノ: | | （´・ω・｀） ,l､::: ￣￣::::::::::::::::
|l | :| | |,r'",´￣￣￣￣￣｀ヽ､l:::::
|l.,＼＼| :| | ,' :::::... ..::ll:::: そうだ… 現在われわれが見ているもの
|l | :| | | :::::::... . .:::|l:::: すべてはスクリーンに映った映画みたいなもの
|l＿＿,,| :| | | ::::.... ..:::|l:::: すべては幻影 時間も空間も重力も素粒子も幻影
|l￣｀~~| :| | | |l:::: 幻影の世界から抜け出すカギがどこかにあるはずなんだ
|l | :| | | |l::::
|l | :| | | ''"´ |l::::
|l ＼＼[]:| | | |l::::
|l ｨ'´~ヽ | | ｀`' |l::::
|l-''´ヽ,／:: | | ''"´ |l::::
|l ／:: | ＼,'´＿___..:::::::::::::::_`l__,ｲ:::: >>470
＼ r'´￣￣￣ ￣￣￣｀､::. ＿＿＿
l} ､:: ＼ﾍ,___,＿ ＿＿＿＿＿＿/::.＿＿| .|＿＿＿＿＿＿＿＿＿_＿
|l ＼:: | | ｜､:.. |[], _ .|:[ニ]:::::
|l'-,､イ＼: | | ∧,,,∧ . ｜::.. ﾍ￣￣,/:::(_＿)::
|l ´ヽ,ノ: | | （´・ω・｀） ,l､::: ￣￣::::::::::::::::
|l | :| | |,r'",´￣￣￣￣￣｀ヽ､l:::::
|l.,＼＼| :| | ,' :::::... ..::ll:::: そうだ… 現在われわれが見ているもの
|l | :| | | :::::::... . .:::|l:::: すべてはスクリーンに映った映画みたいなもの
|l＿＿,,| :| | | ::::.... ..:::|l:::: すべては幻影 時間も空間も重力も素粒子も幻影
|l￣｀~~| :| | | |l:::: 幻影の世界から抜け出すカギがどこかにあるはずなんだ
|l | :| | | |l::::
|l | :| | | ''"´ |l::::
|l ＼＼[]:| | | |l:::: ＿＿＿＿＿＿
|l ｨ'´~ヽ | | ｀`' |l:::: ｜ 月刊 ムー |
|l-''´ヽ,／:: | | ''"´ |l:::: ｜ 〜〜〜〜 ｜
|l ／:: | ＼,'´＿___..:::::::::::::::_`l__,ｲ:::: └─────┘ リーマン定理は、世界が安定して存在するために必要な
基本定理になると予想する 超難問「リーマン予想」証明？ 英数学者に懐疑的な声も
ttps://digital.asahi.com/articles/ASL9T42NNL9TULBJ004.html?rm=606
ただ、今回の「証明」について、専門家の見方は懐疑的だ。
米科学誌サイエンスは「取り囲む懐疑論」と題した記事を配信。
記事の中で、米カリフォルニア大のジョン・バエズ氏（数理物理学）は
「（アティヤ氏の）証明は、印象的な主張を別の主張の上に積み重ねただけで、
主張をつなぐ議論や具体化したものは全くない」と指摘した。
ＳＮＳ上でも、証明を好意的に捉える専門家の反応はほとんどない。
半世紀近くリーマン予想に挑戦している東京工業大の黒川信重・名誉教授（数論）は
「論文が５ページと短く、話がうますぎる気がする。
この説明では納得する人はいないだろう。
もっと詳細な説明が必要だ」と話す。
アティヤ氏によると、元々は物理学の「微細構造定数」の謎について研究中、
過去の論文から着想を経て、様々な問題に応用できる強力な新手法を導いたという。
「その手法をリーマン予想で試したところ、簡単に（証明の）ドアが開いた」のだという。
微細構造定数は、粒子の間に働く電磁気力の強さを示す根源的な値だが、
なぜその値なのかわかっていない。
アティヤ氏はこの値を数学的に導き出した、とも主張している。
この点について、黒川さんは
「導いたものは実験結果の数値とも合っているとのことだ。
こちらの論文は数学的に面白いことを含んでいるのではないか。
本当だったら物理学への影響力は大きいだろう」と指摘する。 >>469
何でもはわからない。わかることだけ。
例えば、素粒子100個についてシミュレートしたり理解したりするためには
素粒子100個ではできない。直接的な方法だと、宇宙の全体は
宇宙の全体を使っても理解できない。だから階層化（間接化）する必要がある。
階層化する方法は素粒子の全貌理解とは別のアプローチが必要 >>477
で、アティヤ氏が「数学的に導き出した」微細構造定数は、何桁？
>>232は、何か知らないけど「6桁」とか妄想で？言ってるのだが。 普通は「様々な問題に応用できる強力な新手法」についてはじめに語るもんじゃね
じーさん完全にボケとるんだろうな しかし
T(γ)/γ = T(π)/π
ぐらいはタダシイのか？ これも滑っているのならもはや何も言うことはないのだが ３０代でフィールズ賞、７０代でアーベル賞を受賞した天才アティヤ
８９歳にしてなお元気、たった５ページ分でリーマン予想を証明したと
宣言。
これが本当ならビックリだ。８９歳の爺さんに世紀の証明を完成されて
しまったら、世の数学者は立つ瀬がない。
どうせ、ぼけ老人のたわごとだろ。という安心感が今のところ数学界に広がってのか。 >>485
受賞した年齢は関係ない。
素晴らしい論文や発見をした年齢ってのは
数学者も物理学者も20代の時期がほとんど。
知能のピーク年齢ってのは体力と同じってことだな
サッカー選手とかスポーツと同じだ ■ このスレッドは過去ログ倉庫に格納されています
