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/
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ファイルはどこで手に入りますか?
0473ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 14:20:03.94ID:SpYvzzuc
>>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__,イ::::
0474ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 14:24:59.67ID:SpYvzzuc
>>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__,イ::::
0475ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 18:05:54.36ID:SpYvzzuc
>>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__,イ:::: └─────┘
0477ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 18:44:35.42ID:t4X1namH
超難問「リーマン予想」証明? 英数学者に懐疑的な声も
ttps://digital.asahi.com/articles/ASL9T42NNL9TULBJ004.html?rm=606

ただ、今回の「証明」について、専門家の見方は懐疑的だ。

米科学誌サイエンスは「取り囲む懐疑論」と題した記事を配信。
記事の中で、米カリフォルニア大のジョン・バエズ氏(数理物理学)は
「(アティヤ氏の)証明は、印象的な主張を別の主張の上に積み重ねただけで、
主張をつなぐ議論や具体化したものは全くない」と指摘した。
SNS上でも、証明を好意的に捉える専門家の反応はほとんどない。

半世紀近くリーマン予想に挑戦している東京工業大の黒川信重・名誉教授(数論)は
「論文が5ページと短く、話がうますぎる気がする。
この説明では納得する人はいないだろう。
もっと詳細な説明が必要だ」と話す。

アティヤ氏によると、元々は物理学の「微細構造定数」の謎について研究中、
過去の論文から着想を経て、様々な問題に応用できる強力な新手法を導いたという。
「その手法をリーマン予想で試したところ、簡単に(証明の)ドアが開いた」のだという。

微細構造定数は、粒子の間に働く電磁気力の強さを示す根源的な値だが、
なぜその値なのかわかっていない。
アティヤ氏はこの値を数学的に導き出した、とも主張している。

この点について、黒川さんは
「導いたものは実験結果の数値とも合っているとのことだ。
こちらの論文は数学的に面白いことを含んでいるのではないか。
本当だったら物理学への影響力は大きいだろう」と指摘する。
0478ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 19:10:44.37ID:avVha8Gg
>>469
何でもはわからない。わかることだけ。

例えば、素粒子100個についてシミュレートしたり理解したりするためには
素粒子100個ではできない。直接的な方法だと、宇宙の全体は
宇宙の全体を使っても理解できない。だから階層化(間接化)する必要がある。
階層化する方法は素粒子の全貌理解とは別のアプローチが必要
0479ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 19:13:09.89ID:SpYvzzuc
>>477
で、アティヤ氏が「数学的に導き出した」微細構造定数は、何桁?


>>232は、何か知らないけど「6桁」とか妄想で?言ってるのだが。
0480ニュースソース検討中@自治議論スレ
垢版 |
2018/10/06(土) 19:28:05.40ID:+gNpl3kz
普通は「様々な問題に応用できる強力な新手法」についてはじめに語るもんじゃね
じーさん完全にボケとるんだろうな
0485ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 01:39:01.31ID:C/C7XeC4
30代でフィールズ賞、70代でアーベル賞を受賞した天才アティヤ
89歳にしてなお元気、たった5ページ分でリーマン予想を証明したと
宣言。
これが本当ならビックリだ。89歳の爺さんに世紀の証明を完成されて
しまったら、世の数学者は立つ瀬がない。
どうせ、ぼけ老人のたわごとだろ。という安心感が今のところ数学界に広がってのか。
0487ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 14:03:54.12ID:cYObNIlN
>>485
受賞した年齢は関係ない。
素晴らしい論文や発見をした年齢ってのは
数学者も物理学者も20代の時期がほとんど。
知能のピーク年齢ってのは体力と同じってことだな
サッカー選手とかスポーツと同じだ
0489ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 14:25:51.45ID:cYObNIlN
銀河系にある超進化した生命体のいる大きな惑星では
生命体の種となるリン酸塩有機化合物を宇宙空間に大量にバラまき続けてる

地球にもこの種が届いて生命が誕生した

この種は、冷たい真空の宇宙空間をずっと漂い続けても劣化しない。
恒星に近づくと放射エネルギーを受けることにより変異して、より生命誕生しやすい形に変異する

だから地球の周りの隕石や惑星には有機化合物がありふれている
0493ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 16:00:07.17ID:okHnvIs1
アメリカのMITに留学した人が、学生の印象聞かれてアメリカ人はバカと思った

数物理学のレベルは日本が明らかに上

で何がアメリカ人は優れているかと聞かれて口先と物事を膨らませるはったり

1のことを十倍にも百倍にも膨らませる
で教授たちが評価するのは膨らませた方

日本人は業績に対して顕著すぎる、中村のように下品な奴と思われるが
もっと自慢していい、アメリカより先にジェット機作った国日本だ

日本人は欧米人より賢い知能が高いのを恐れたアメリカが戦争するように虐めて
先に手を出したと戦争はじめ原爆落とす潰す愚行を行なったのが真実

アメリカこそ日本の最大の敵
0494ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 16:23:16.34ID:JNHlvESe
アーベル賞貰えそうな日本人いる?
0496ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 18:07:21.34ID:Md4FrQHD
>>493
それじゃダメなんだよ。未だに理解してないやつなんだな。困ったやつだ
アメリカは敵に回しちゃいけない国だ。必ず味方にしておかなければならない
戦前の日本人の轍を踏むんじゃないよ
日本の敵は中国と韓国である
ここを間違えてるやつが多いから日本は衰退した
国内にいる敵がアジア主義者だ
実際は日本人のなかにいるアジア主義者こそが最も日本を衰退させた主敵である
0497ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 18:54:22.07ID:m5QWHp4h
しかもそれが靖国神社を崇拝している日本会議
日本経団連であるという意味不明な構図になっている
この行動の源流はピンハネ経営陣の取り分を増やすためのエンジニアの中韓移植
それを愛国愛国という言葉にしている
0498ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 20:56:34.34ID:wll6M9Ot
>>4
生きてる価値ないんで死んでください。
0499ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 21:45:04.32ID:Rt/1UiJH
>>495
日本語がわかるのでどうか逃げないで説明してください。

ホーキングは筋ジストロフィーで動けませんでしたが
車椅子でヨダレ垂らしながら偉業を晩年まで続けました。

筋肉の衰えとニューラルネットワークの発達とを
一緒くたに考えるのは、脳筋の愚行だと言えるでしょう。
0502ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 22:39:04.58ID:ub1rxz33
1.14159267という数字にπをかけ算していくと素数が幾つも出てくる
しかもπをかけ算した数字が素数でなくても素数に近い数字が出てくる
0507ニュースソース検討中@自治議論スレ
垢版 |
2018/10/07(日) 23:30:20.31ID:G1gmCWJy
証明そのものより証明の証明の方が難しかったりして
0512ニュースソース検討中@自治議論スレ
垢版 |
2018/10/08(月) 00:10:55.80ID:qMclvJQn
なまじ物理との関連性が取りざたされるようになってオカルトめいた感じになってしまったな
物理学が数学でモデル記述される以上相応の関係があるのは自明なはずなのに なんというか
0514ニュースソース検討中@自治議論スレ
垢版 |
2018/10/08(月) 01:30:03.91ID:JF2bN2dm
ゼータ関数がもう理解できないのだが、一応ゼータ関数の証明をしたんだよな?
そこと全く関係のない方法で証明してたらびっくりだよ
0516ニュースソース検討中@自治議論スレ
垢版 |
2018/10/08(月) 07:27:20.58ID:rWNT1+RC
>物理学が数学でモデル記述される以上

あのな、正確には物理現象を説明するための数理モデルを
ある数学体系を用いて記述してると云うことな。

宇宙の森羅万象の法則が、数学体系のように整然かつ美しい構造か
どうかは分からん。 極論するなら、細かい点は取象して、数学と
いう言葉で人が理解できるようにしただけ。 真理は、物理現象の
中にこそある。
0518ニュースソース検討中@自治議論スレ
垢版 |
2018/10/08(月) 08:15:15.19ID:ZGm8cYCh
> 例えば「ポアンカレ予想」は全3部構成で、参照込みの合計68ページだ。

68ページなんて少ないもんだろう。
昨今は数百ページなんてのはざら。
ABC予想(500ページ超)や四色問題(700ページ超)なんての。

「史上最大の答え。数学の証明問題、解が200TBに達する」
https://www.gizmodo.jp/2016/06/200tb.html
なんて、果たしてこれを証明と言っていいのかどうかわからない、
コンピューターを使って力技で組み合わせが命題を満たすかをどんどん
検証していっただけというようなものもある。
0519ニュースソース検討中@自治議論スレ
垢版 |
2018/10/08(月) 10:07:01.24ID:4f1n8VSf
>>518
しらみつぶしに当たってできても、
証明したことには変わりないんだし、いいじゃん。
スマートな証明ではないけど。

ただし、素数は無限にあるから大変だよね。
■ このスレッドは過去ログ倉庫に格納されています

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