X



【数学】人類史上最大の難問の一つ 「リーマン予想」 ついに解明か / 名乗り出たのはフィールズ賞受賞数学者マイケル・アティヤ氏[09/26]
■ このスレッドは過去ログ倉庫に格納されています
0001しじみ ★
垢版 |
2018/09/28(金) 14:06:40.85ID:CAP_USER
ときおり世間を騒がせる「○○が解明されたかも」系のニュース。例えば「ポアンカレ予想」や「フェルマーの最終定理」などは数学があまり好きではない人でも聞いたことがあると思う。

海外メディア「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/
0373ニュースソース検討中@自治議論スレ
垢版 |
2018/10/02(火) 20:51:02.32ID:1w73kHkv
232は「6桁」とかいうてるが、
>>1で導出された定数は、何桁?
0375293
垢版 |
2018/10/02(火) 21:44:49.26ID:Sr+RM98e
>>322
どうも。調べてみるわ。
0377ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 00:25:01.97ID:X7B+NqUh
クレカが使えなくなるんだっけ迷惑だから証明すんな
0378ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 00:29:02.51ID:IfZbqPLg
ここのみんなドンだけ賢いんだよ、数学科ですか、
0381ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 01:38:27.16ID:fuuDOzLJ
>>377
証明されて使えないなら、そもそも予想されてる時点で使えないんじゃないの?
0382ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 03:46:56.51ID:71p4IfWF
オイラー積から解く

xy座標のグラフ表現した時
対数が描く曲線とy=整数の階段図形との差は、整数とy=素数の描く階段図形との差に近似する(逆数が一致する)

つまりy軸整数、x軸素数の素数含有率を表すグラフの軸を対数表現すれば直線に近似する

近似する・・・x1〜無限大までの、y合計の対数が一致する

さらに近似の誤差は平均値がゼロに収束し、またy無限で誤差はゼロに収束する
0383ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 10:58:58.31ID:0uDn+ujF
>>1
これも人類史上最大の疑問である「神の存在が証明」されました。


【神・救済の存在証明】
2000年の少し前頃に発刊され、アメリカで異例のベストセラーになり、日本でもベストセラー、
いまや30数カ国語以上に翻訳されて読まれ続けているニール・ドナルド・ウォルシュ氏の『神との対話』シリーズ。

もし本当に「神の存在と恩寵」を確信したいなら、まず正しい「神の理解」が必要です。

そして、その「正しい理解・認識」によって「神の存在の確信」と「安心感ある人生」が可能になります。
事実、この知識の有る無しほど大きな幸福格差はないと思います。

すぐには信じがたい話だとは思いますが「運命は全て必然・完璧・(深い意味で)成功のみ」とのことです。

また「我々の魂は永遠に不死」です。

そして、世の多くの宗教は同じ一つの神からのメッセンジャーにより発生したものとのことです。

一見、少し怪しい題名の本ですが、誰にも身近な共通の一つの神様です。

これらの事を「知るだけ」でも人生の絶望が無くなり、最大の財産を手に入れたことになると思いますし、
知ると知らないでは人生の楽さに大きな差が出ます。
人生の価値観や優先順位も確実に大きく変わると思います。

そして「魂は不死であること」を「医学的な奇跡・検証」で証明した『喜びから人生を生きる!(臨死体験が教えてくれたこと)』という世界45か国でのベストセラー本も紹介しています。
もちろん無料です。

《10分ほどで読めて分かる『神との対話』》
https://conversationswithgod.wixsite.com/kamitonotaiwa-matome
0386ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 12:26:31.88ID:tH0MIeo4
伏線を張っても回収できないのが素数なのよ(笑)
0390よっちゃん
垢版 |
2018/10/03(水) 15:03:04.99ID:q48B+nNV
再生核研究所声明198(2015.1.14) 計算機と人間の違い、そしてそれらの愚かさについて
再生核研究所声明199(2015.1.15) 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える 
― ゼロ除算100/0=0,0/0=0
再生核研究所声明200(2015.1.16) ゼロ除算と複素解析の現状 ―佐藤超関数論との関係が鍵か?
0391ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 15:04:42.22ID:HRU9zixQ
>>388
ゼロ除算君とか、>>44みたいに解析接続すらわかってないのとか、糖質ホイホイだよね
0392よっちゃん
垢版 |
2018/10/03(水) 15:17:24.97ID:q48B+nNV
解析接続を知っているとは 素晴らしい。
ゼロ除算の証拠として 図で、直角三角形や2等辺三角を考えてみてください。
現代数学の盲点が出て居ますね:
0393ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 18:01:59.27ID:UI2vBjcs?2BP(1000)

イヴァン フェセンコ教授も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
0394ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 18:17:35.33ID:8eLdJTSi
1-(1/2+1/3-1/6+1/5-…)
0397ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 19:21:31.11ID:q9YBeZ7f
小山信也さんとかの本読むと、リーマン予想って
おおよそ理論的に説明のつく所まで行けるかどうか
さえ、まだ見込みが付いてないような事だったけどな。

小山さん涙目...
0398ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 20:39:45.57ID:T36uB5s1
>>397
別名「悪魔の証明」
解けないとされる悪魔の証明を解く方法を見つけるという事だからね

リーマンゼータ関数のゼロ点が成り立たない事を否定しないといけないのだが、ないものを証明するのが難しい

ゼータ関数の性質上、逆数の総和により無限大への発散を解決してるが、その対数となるとまた無限大問題がでてくる事
※ゼータ関数の解が逆数による総和の近似値(n=無限大で総和対象の要素解をゼロとみなしているため)のため
0403ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 22:58:31.44ID:pJvLXsmM
公比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
0404ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 23:03:50.70ID:pJvLXsmM
>>402
性質を例えただけだよ
自明でない零点が複素平面上の一直線上に無限大にあることが証明できるけども、それ以外の場所に自明でない零点がないことを証明するという問題の性質を
0405ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 23:05:00.75ID:hrbPFKGV
モッチーのIUT、やばい
0407ニュースソース検討中@自治議論スレ
垢版 |
2018/10/03(水) 23:23:05.33ID:VlvHgt8m
>>404
一事が万事と言ってね

その極論を妄想の域まで育てる性質は、数学を学ぶには非常に不利な性質だよ

そもそも数学の非存在証明に、法学の非存在証明の困難さを持ってきても意味がない
対角線論法ぐらい、知識としてならあるでしょうに

まず使いなさいよ、妄想ではなく知識の方を
0411ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 02:56:19.44ID:ki4xWss3
実軸上でテイラー級数で定義された三角関数sin(x)は複素平面上に解析接続できる。
このとき、sin(x)の零点は実数軸上以外には存在しないことを証明性せよ。
0413ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 06:54:14.36ID:+WJkd16G
>>21
> 
>マイケル(89)
>「解」「け」「た」「ど」「ー」

宿直!
0414ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 06:58:40.74ID:+WJkd16G
>>35
>>90になったってまだまだやれるところを見せてやんよ

>これ間違ってたら死ぬほど恥ずかしいな

間違いが証明された数年後には...
0415ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 07:06:49.26ID:AHVb1HOF
リーマン予想=一生底辺。人生かけてこれを証明してやるぜ。
0416ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 07:11:16.88ID:+WJkd16G
証明はチャレンジとして面白いが、どうして誰も正しいと仮定した暗号解読法なんかにチャレンジしないの?
0417ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 07:13:42.24ID:5xJeER6I
>>393
その冒頭の非テキスト行、やめてくれまいか。
タブレットの古い機種で、メモリの貧弱なせいか、
専用ブラウザーでそこの行を表示する際に毎回、
アプリがフリーズして落ちるので。

(Webブラウザーでカキコ終わり)>>393
その冒頭の非テキスト行、やめてくれまいか。
タブレットの古い機種で、メモリの貧弱なせいか、
専用ブラウザーでそこの行を表示する際に毎回、
アプリがフリーズして落ちるので。

(Webブラウザーでカキコ終わり) 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
0418ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 07:32:31.58ID:JRVfz/CG
アメリカの一般的な大学生って掛け算もできないんでしょ?
0428ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 11:08:59.54ID:f1Qhg4Mi
>>421
そうか?
結局発表初期から突っ込まれてたのがクリティカルになってると思うが
まあそれ以外にもイエスマンしか回りにおかないおかないとかそういった問題点もあるかもしれんが
0429ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 11:26:47.14ID:h9cxkgZk
>>428
そんな単純な問題じゃないよ
それだけ前例の無い新しい数学世界を創造したから理解がなかなか進まない
真に創造したことを物語ってるだけだ
例えばこういうことだしな
新しいから違和感が強烈に働くんだよ

逸脱というか特異なのは論法・計算法
原理的には確かに圏論や集合論と大差ない仕組みで書かれてはいる
何が問題なのかというと、宇宙際の圏論的な射とか関手について考える時に
ある意味でラベル付けとアルゴリズムという情報を「付加」してしまっているということだ
そうすることで上手く非自明な計算を実現するリンクが実現するわけだが
PS-JSはこのような付加的情報を認めるべきではないと主張していることになる
0430ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 11:28:33.19ID:h9cxkgZk
723 132人目の素数さん sage 2018/10/03(水) 00:06:39.55 ID:CuPHjm4L
望月側の自己弁護としては、そのようなアルゴリズムは絶対ガロア群のような、
別々の世界を往来できる基本構造と論理構造で書かれているわけだから問題ないとなる
圏の絶対遠アーベル幾何学的な現象を単に明示的にして再認識しているだけなので
恣意的ではない、ということ
今のところどっちに転んでもおかしくないという印象だけど、短期決着は無理かなと
0431ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 11:43:54.35ID:du/JuKdl
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は素数ではない
0432ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 11:58:21.08ID:du/JuKdl
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は素数ではない
0434ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 12:46:50.92ID:6chhytBO
>>144
ご存命なのですね
0438ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 18:35:16.20ID:EAA9H1aY
全ての暗号が無意味になったな
0439ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 18:58:01.04ID:N9CESUkm
数学や物理で就職なくて死んだりする人いるみたいだが、
人類の1%も理解してないことを理解してる、研究してるだけでスゴイ尊敬すべきことだから、死んだりするな。
まじ尊敬する。こういうわずかな人が文明を進化させているんだから
0443ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 20:41:14.67ID:EAA9H1aY
>>403
そんなことも分からないなら数学は無理
文系に進学しなさい
0446ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 22:23:25.94ID:Lpo9DaUB
>>403
勝手にかっこでくくるな
演算順序を勝手に変えて良いのならどんな値にも収束するのだ
0447ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 22:26:39.40ID:9Qq6icpw
ID:h9cxkgZk

モッチーのIUTって本物?
0448ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 22:46:43.97ID:JDH1Hu1w
いつも、うだつのあがらないリーマンが、競馬雑誌もってる姿が頭に浮かぶ。
話題にするの飽きたから、証明できた時に教えろや。
0451ニュースソース検討中@自治議論スレ
垢版 |
2018/10/04(木) 23:53:49.98ID:qc+jmNAG
>>438
だから法則が証明されたからって、現在使用してる技術にはなんも関係ないでしょw

たとえば、中学や高校で覚える物理や数学の法則の証明方法を知らなくても、計算式は解けるでしょw

法則を使用する分には、証明方法がわからなくても使えるってわけw

証明されて使えなくなるようなら、法則性がみつけられ予想が出た時点で使えなくなる
0452ニュースソース検討中@自治議論スレ
垢版 |
2018/10/05(金) 00:22:55.27ID:vPbwdEO+
素数の話をしているはずなのに、虚数がでてくる時点で胡散臭い。
つーか、1から無限まで足した和が-1/12ってなんだよwww
0459ニュースソース検討中@自治議論スレ
垢版 |
2018/10/05(金) 12:30:26.98ID:KxSMCqMY
宇宙を説明する最も有力で深い理論とされる弦理論において、宇宙の真理において素数が密接に関わっているとがわかった
だからこそリーマン予想の解を熱望されるようになった
0460ニュースソース検討中@自治議論スレ
垢版 |
2018/10/05(金) 12:32:51.72ID:KxSMCqMY
これまでリーマン予想など数学者の趣味と考えられ誰も見向きもしなかった。
しかし今は宇宙、この世とは何か?を解明する重要なキーになると考えられるようになった
0461ニュースソース検討中@自治議論スレ
垢版 |
2018/10/05(金) 12:46:22.49ID:4zcnWO/Y
これ公開したのが5ページで詳細は別で提出してなかった?
0464ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 02:30:35.15ID:jP6Do4lw
>>439
金もなくて録な仕事もらえないんだから評価されてないだろ現実に
サラリーマンになるほどバカにもなれず、残された道は自殺しかない

ただ食べて息をしてるくらいなら自殺した方がまし
0466ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 08:26:47.52ID:TIAB2V7R
>>465
ポアンカレ主義ってんですか、価値観変えられないでルサンチマン吐き出す人は数学板に掃いて捨てるほど居ますんで

学は残らずプライドの高さだけが残るとこうなる
0467ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 08:44:57.61ID:YJcPgOLL
解明できた事が正しいって判断できる人も貴重なんだろうね
0468ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 08:51:47.62ID:yUeBLu0S
>>458
原子さらには素粒子の振る舞いに関する
問題が解決するかもとかじゃなかったのかな?
0470ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 12:06:12.25ID:GZZp8/b9
現在われわれが見ているものすべてはスクリーンに映った映画みたいなもの
すべては幻影 時間も空間も重力も素粒子も幻影
幻影の世界から抜け出すカギがどこかにあるはずなんだ 
0472ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 13:58:12.78ID:NklH0YVm
そのアチャー氏の怪しい論文のPDFファイルはどこで手に入りますか?
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況