【数学】人類史上最大の難問の一つ 「リーマン予想」 ついに解明か / 名乗り出たのはフィールズ賞受賞数学者マイケル・アティヤ氏[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/ >>491
フィールズ賞は40歳までが受賞できる
それ以降の手柄はアーベル賞
これが現実 アメリカのMITに留学した人が、学生の印象聞かれてアメリカ人はバカと思った
数物理学のレベルは日本が明らかに上
で何がアメリカ人は優れているかと聞かれて口先と物事を膨らませるはったり
1のことを十倍にも百倍にも膨らませる
で教授たちが評価するのは膨らませた方
日本人は業績に対して顕著すぎる、中村のように下品な奴と思われるが
もっと自慢していい、アメリカより先にジェット機作った国日本だ
日本人は欧米人より賢い知能が高いのを恐れたアメリカが戦争するように虐めて
先に手を出したと戦争はじめ原爆落とす潰す愚行を行なったのが真実
アメリカこそ日本の最大の敵 >>493
それじゃダメなんだよ。未だに理解してないやつなんだな。困ったやつだ
アメリカは敵に回しちゃいけない国だ。必ず味方にしておかなければならない
戦前の日本人の轍を踏むんじゃないよ
日本の敵は中国と韓国である
ここを間違えてるやつが多いから日本は衰退した
国内にいる敵がアジア主義者だ
実際は日本人のなかにいるアジア主義者こそが最も日本を衰退させた主敵である しかもそれが靖国神社を崇拝している日本会議
日本経団連であるという意味不明な構図になっている
この行動の源流はピンハネ経営陣の取り分を増やすためのエンジニアの中韓移植
それを愛国愛国という言葉にしている >>495
日本語がわかるのでどうか逃げないで説明してください。
ホーキングは筋ジストロフィーで動けませんでしたが
車椅子でヨダレ垂らしながら偉業を晩年まで続けました。
筋肉の衰えとニューラルネットワークの発達とを
一緒くたに考えるのは、脳筋の愚行だと言えるでしょう。 1.14159267
39.0335913÷π=12.424778
12.424778÷3=4.14159267
4.14159267-3=1.14159267
13.0111971
39.0335913÷3=13.0111971
4.14159267*π=13.0111971 4.14159267という数字にπをかけ算していくと素数が幾つも出てくる 1.14159267という数字にπをかけ算していくと素数が幾つも出てくる
しかもπをかけ算した数字が素数でなくても素数に近い数字が出てくる 2192489459
*π
6887908777
x*π=
2192489459*π=6887908777 1÷(4π^2)=0.0253303
0.0253303にπをかけ算していくと、やっぱりどこかで素数が出てくる 4π^2*(4π^2)=1558.54546
1558.54546÷(ππππ)=16 16*(4π^2)=631.654682
631.654682÷(ππ)=64 628.623452*π*π*π*π*π*π*π*π=5964713.14
5964713.14 なまじ物理との関連性が取りざたされるようになってオカルトめいた感じになってしまったな
物理学が数学でモデル記述される以上相応の関係があるのは自明なはずなのに なんというか 4(π-1)4(π-1)4(π-1)=628.623452 ゼータ関数がもう理解できないのだが、一応ゼータ関数の証明をしたんだよな?
そこと全く関係のない方法で証明してたらびっくりだよ >物理学が数学でモデル記述される以上
あのな、正確には物理現象を説明するための数理モデルを
ある数学体系を用いて記述してると云うことな。
宇宙の森羅万象の法則が、数学体系のように整然かつ美しい構造か
どうかは分からん。 極論するなら、細かい点は取象して、数学と
いう言葉で人が理解できるようにしただけ。 真理は、物理現象の
中にこそある。 > 例えば「ポアンカレ予想」は全3部構成で、参照込みの合計68ページだ。
68ページなんて少ないもんだろう。
昨今は数百ページなんてのはざら。
ABC予想(500ページ超)や四色問題(700ページ超)なんての。
「史上最大の答え。数学の証明問題、解が200TBに達する」
https://www.gizmodo.jp/2016/06/200tb.html
なんて、果たしてこれを証明と言っていいのかどうかわからない、
コンピューターを使って力技で組み合わせが命題を満たすかをどんどん
検証していっただけというようなものもある。 >>518
しらみつぶしに当たってできても、
証明したことには変わりないんだし、いいじゃん。
スマートな証明ではないけど。
ただし、素数は無限にあるから大変だよね。 物理学や自然科学の定理で、正しいものは
シンプルかつ美しい
アインシュタインの言葉だけど >>519
でも素数の法則性についてもしらみつぶしで調べたよ。
「リーマンゼータ関数のすべての非自明な零点の実部は 1/2 である。」
という説の否定が出来ませんでした。だから法則性は「ある」事の証明はされてるんだろう。 >>522
でも、素数は無限にあるから調べ切ることは出来ない。
四色問題は全てのパターンが決まっているから、しらみつぶしでも、証明としては成り立っている。 四色問題は正解が出てるわけよ。素人でも塗りわけが出来てる事は見れば分かるから。
それとはちょっと違うな >>523
無限にある素数でも何パターンかに素数を分類してそれをしらみ潰しに調べるのはできるんじゃね?
どのくらいの数のパターンになるかしらんが 小学校以上で、最も知られている基本的な数学の結果は何でしょうか・・・
ゼロ除算(100/0=0、1/0=0)かピタゴラスの定理(a2 + b2 = c2 )
ではないでしょうか。
1+0=1 1−0=1 1×0=0 では、1/0・・・・・・・・・幾つでしょうか。
0??? 本当に大丈夫ですか・・・・・
0×0=1で矛盾になりませんか・・・・
multiplication・・・・・増える 掛け算(×) 1より小さい数を掛けたら小さくなる。 大きくなるとは限らない。
0×0=0・・・・・・・・・だから0で割れないと考えた。
唯根拠もなしに、出鱈目に言っている人は世に多い。
加(+)・減(-)・乗(×)・除(÷)
除法(じょほう、英: division)とは、乗法の逆演算・・・・間違いの元
乗(×)は、加(+)
除(÷)は、減(-)
何とゼロ除算は、可能になるだろうと April 12, 2011 に 公に
予想されていたことを 発見した。
多くの数学で できないが、できるようになってきた経緯から述べられたものである。
0を引いても引いたことにならないから:
君に0円の月給を永遠に払いますから心配しないでください: >>527
素数は倍数で分類した残りカスなんですが、どうやって分類し切るんですかね? 微細構造定数がわからん。ぜんぜん分からん!
本当に証明したのかよ >>532
ちなみに何が間違ってるか説明のレスはもう出てるぞ
わかってないから煽るしか出来ない(笑) >>534
ID:kPYwDYTQ
@煽る
A「煽る暇あったら教科書買ってきたら」と自分に言い聞かせる
クソワロタ >>537
煽るしか能が無いからヒントがあってもわからない(笑) >>538
いやだからまた自分に言い聞かせてるのか? 素数は無限にあるかもしれんが、現実の宇宙は無限では無い。これが数学の限界というやつだな。 >>518
読んでないけど無限の対象を有限の組み合わせに還元したならその過程はれっきとした数学じゃね?
弘中の電話帳くらいしか知らんけど >>518
これは証明のためにプログラムが出したデータが200TBということで、
プログラム自身はまあ人間が書いて読める程度の長さなわけだよね。
プログラム自身の正しさの検証を人間が出来るのなら、証明と呼んでいいと思う。 >>534
その説明もいろいろ間違ってて(整数の和の順序をどう変えても1/2に収束はせんだろ)、そもそも問題が
まともに書けてない、つまり問題が間違ってるんだよ
>>03
>公比1の交代等比級数
>(1−1 + 1−1 + 1−1・・・∞)
じゃなくて
公比-1の形式的等比級数
(1−1 + 1−1 + 1−1・・・)
だろ、何で無限大が入ってるんだよ
なお「交代等比級数」でググったら、その気違いのページがみつかった
https://xseek-qm.net/Euler.htm
どうみても糖質 モッチーのABC予想証明の論文、海外で査読して証明できたやんって言うやつおらへんの? >>545
海外は査読チームのことは知らないよ
メンバーは極秘だし漏らしちゃいけないしね
来月にアクセプトされるらしいという話はあるけどもどうなるか 結局だめなの?
5ページでは説明不足というか、そこで引用してる論理を理解又は証明出来ないといかんので
私ではわからん。 TODD関数の概要がないとなんもいえねーからな
なんで証明論文が非公開なのかは分かる話
微細構造定数までそれで解けるってことは、その考え方を適用して
量子力学的な万物の理論が導かれることになる
物次第ではタイムマシンからなにからなんでもござれ
公開するのは危険すぎる アティヤですら微細構造定数の方が重要って言い切ってるからね
微細構造定数が解けるなら、観測に基づく物理定数の仕組みも解ける
それを用いて多次元宇宙論を数学的に説明できるようになるだろう
余りにもシンプルすぎる論理的思考の帰結 微細構造定数は式を計算して一致を見ればいいから、正否はすぐわかるはずだけどなあ 232はスルーされて、
見なかったことにされててワロタ。 >>554
いや、微細構造定数は測定値だから誤差があって、数学的に出した式と
完全に合ってるかどうかは分からない。大体合ってる数値を既存の
eとかπとかの定数の組み合わせから出すっていうのは他の人も
やってるが、普通はそういうのは導出と言わず、単なる数合わせ
ゲームと見られている。 結局のところ物理学者は
【時空間のバスガイドさん】程度の存在でしかなくて
宇宙を解き明かしてるのは数学者だけなんだよね 「うちの会社やばいのか・・・」
「んあぁ・・・もう三ヶ月も振込がない・・・」 >>557
数学はツールだ
だから数学者はツール屋さん
ツール屋さんは宇宙の謎を解き明かしたりはしない >>556
微細構造定数なら、一応もっともらしい理論があって結果が合ってればいいのに、なんでそんなに難しく
考えるの?馬鹿なの? >>560
数学はツールでは無い。宇宙の成り立ちをミクロからマクロまで緻密に構築させているのが数学である
哲学の無い日本人はよく勘違いしてるよな
根本的に間が抜けてるやつが多いのも道理だ 数学は、道具だ、言語だ、なんていうけど、
他にどういわれているんだっけか? >>562
それは的外れだろう
排除出来ないのは既存の全ての理論も同じ >>565
数学の公理論と物理の定説を一緒くたにせんでくれ >>566
どこまで馬鹿なんだ?
数学だって、たとえばπに収束する級数があったとして、それが収束する証明が理解できなくても、
計算してみて実際にπに近づいていくなら収束するんだろうなと納得できるんだよ >>567
例えば19世紀の定積分で何十年もゼロだとされてたのが、実はそうではないと分かってるな
ソ連時代の工科学生あたりが発見したんだったかな
数値実験みたいのんは見積もりであって証明に代わり得ない
そんな基礎のとこで今回、爺さんも生暖かい視線で見られてんだよ >>568
>数値実験みたいのんは見積もりであって証明に代わり得ない
正しいと思ってた証明が実は間違っていた、なんて可能性は考えないとか、もーね >>569
えっ?
マジで前提くつがえしとるよソレ? 無矛盾性は証明不能としても、数学の世界で一応一度正しいと証明された定理が後に覆されることなんてあるのか? >>569
まさか数学を全然やってない人とは思わなんだ >>567
よくよく読んでみたらものすごくとんでもないことをレスしてる御仁だった >>571
「一応正しい」ってのが査読通ったってことなら、そりゃあいくらでもあるだろ
>>572
いまどきの数学の証明を知らないのかよ 人類史上最大の難問という言い方はおかしいと思います。
じゃあ猫史上最大の難問もあるのでしょうか? >>574
えー?
どこの分野の人?
数学っても広いからさ教えて >>569
可能性というなら、そりゃあるよ
証明されてないんだもの
それに素数はまだまだ小さな値しか計算できてない
2冖77,232,917−1 数学は道具(例 パソコンと説明が流れるソフト)
物理家は数学を使う(例 説明流れるソフトの再生ボタンを押す人) 再生核研究所声明 455(2018.10.9): ゼロ除算は幾らの価値がありますか、人間をどう救うのですか
― 回答
https://blogs.yahoo.co.jp/kbdmm360/72576576.html (n)+(n+1)+(n+2)=3n+3=3(n+1)
3+3=6
素数は足し算すると偶数になるから、ゴールドバッハの予想は正しい
全ての素数を足し算すると偶数とか不思議 >>561
>一応もっともらしい理論があって結果が合ってればいい
だから何も覆ってないぞ >>232のようなケースが仮に>>556のいう「数合わせゲーム」だと
して、それはどれほどの「偶然」だろうか。
例えば円周率πといった超越数を6桁(もちろん十進数)で近似する
分数(有理数)って、どう表せる?
数合わせゲーム的に暇な作業で求めることが可能だろうか。
その「偶然」は奇跡的レベルか、それともたまたま、といえるかな。 天才フリーマン・ダイソンが研究してたなんかの方程式が
偶然リーマン予想やってた若手研究者の方程式によく似ててびっくりした、
って所までNHKで見た >>583
七桁精度
355/113=3.1415929203539823008849557522124 三桁の恣意的な数を二つ持ち出せば、そりゃ七桁くらい合うわな >>581
奇数足すと偶数になる事のなにが凄いのかさっぱり分からん どこからそのアティア氏の論文はタダでダウンロードできるのかな? >>574
今どきの数学知ってるのに予想って言葉も知らないんですか? 現実世界では素数の一覧が簡単な装置(もしくは自然界のある形)で簡単に分かるけど、数式で表せといわれると難しいねえ ■ このスレッドは過去ログ倉庫に格納されています