X



トップページ数学
448コメント152KB
Michael F. Atiyahがリーマン予想を証明しました。
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/09/21(金) 16:48:05.78ID:j6XX6WhY
検証しましょう。
0297132人目の素数さん
垢版 |
2018/10/05(金) 16:31:28.37ID:4IrIeKg4
アティヤってまだ生きてるの?
自殺したとか?
0298132人目の素数さん
垢版 |
2018/10/05(金) 19:57:24.73ID:4IrIeKg4
ある高名な数学者が言ってたんだけど、リーマン予想が証明される時、万物の理論もまた完成されるだろうと。
0299132人目の素数さん
垢版 |
2018/10/05(金) 20:03:12.02ID:qrWLb9HT
このスレとIUTスレがいつも上の方にあるってのが、この板のいろんなことを象徴してる気がするな。
あと奇数の完全数の証明スレw
0301132人目の素数さん
垢版 |
2018/10/05(金) 20:20:09.97ID:4IrIeKg4
セルバーグだよ
0302132人目の素数さん
垢版 |
2018/10/05(金) 21:17:04.98ID:OFjYwMF0
>>299
例えば、どんなことの?
0303132人目の素数さん
垢版 |
2018/10/05(金) 21:17:51.45ID:plPqnDCJ
      /  ̄`Y  ̄ ヽ
     /  /       ヽ
     ,i / // / i   i l ヽ
     |  // / l | | | | ト、 |
     | || i/ .⌒  ⌒ | |
    (S|| |  (●) (●) |
     | || |     .ノ  )|     ( "''''''':::::.
     | || |ヽ、_ ▽ _/|ノ--'''''"""" ヽ   ゛゛:ヽ.
       |::::::::""""          . \::.   丿
       |:::::         ..........::::::::::::彡''ヘ::::....ノ
      /     ::::::::::;;;;;,,---""" ̄   ^``
    /        ̄ ̄ \
   /::::::::     :      ヽ
   |:::::      ::      |
( (  ヽ::::::     :::..     ノ ) )
    \:::::::  /\:::;;;;;;__ ノ
0306132人目の素数さん
垢版 |
2018/10/06(土) 01:46:26.07ID:5N+Aegd6
こんなことを言っては失礼だが、アティヤがどこかで勘違いしてる気がするんだよな
0307132人目の素数さん
垢版 |
2018/10/06(土) 02:23:20.58ID:Oj1E6yHr
そんなこと思ってるのお前だけだぞ
大半は勘違いどころか耄碌してると見なしてる
0311132人目の素数さん
垢版 |
2018/10/06(土) 09:35:55.74ID:6z9kVZfU
ttps://en.wikipedia.org/wiki/Consistency
A set of formulas Φ in first-order logic is consistent (written Con ⁡ Φ) if there is no formula φ such that Φ ⊢ φ and Φ ⊢ ¬ φ. Otherwise Φ is inconsistent (written Inc ⁡ Φ).
0313132人目の素数さん
垢版 |
2018/10/06(土) 11:47:18.40ID:XK9S6Z7b
ネトウヨ発狂。
モデル(A set of formulas Φ in first-order logic)と公理系を取り違えてるハゲ
0315132人目の素数さん
垢版 |
2018/10/06(土) 20:34:14.65ID:LMuVp3d/
X+2×√(XY-1)+Y=Zのとき
XZ-1は必ず任意の整数の二乗になる
0316132人目の素数さん
垢版 |
2018/10/06(土) 20:41:44.01ID:Oj1E6yHr
1の2乗でも2の2乗でもあるのか?
0317132人目の素数さん
垢版 |
2018/10/06(土) 23:20:18.10ID:N0DDi8HY
>>307
みんなそう思ってるのでトドメを刺しには行ってないからな
「おじいちゃん、ご飯はさっき食べたでしょ」で終わり
0318132人目の素数さん
垢版 |
2018/10/07(日) 03:46:39.46ID:0DCqZZwg
>>298
ゼータに関係した分野に関わってるけど、解かれ方によって方向性が違うとしか言いようがない
量子論が大幅にわかるかもしれないし、或は代数幾何が終わるようなインパクトかもしれない
そのハイブリッドみたいなトポロジーかもしれない
大幅な進展が絶対にあるのは確かだし、逆に言えばそのレベルの理論じゃなきゃ解けない
勿論そうやって最終的に統一理論を完成させる重要なステップになるだろうけど
ただ、トポロジーで解かれたら正直言ってつまらないなあとは思う
まあそういう理論は指数定理とかの一般化になってるだろうから、革命のヒントにはなるだろうけど
0319132人目の素数さん
垢版 |
2018/10/07(日) 03:47:53.60ID:0DCqZZwg
>>299
こんなとこで数式まで使って話したいとは全く思わないわ
派手な話だけしてるのがいい
0322132人目の素数さん
垢版 |
2018/10/07(日) 21:43:05.11ID:xbxDaghr
リーマン予想が証明されたら、世の中どうなっちゃうの?
異次元世界とか実在したりすんの?
0323132人目の素数さん
垢版 |
2018/10/07(日) 22:06:45.36ID:EdfUIWS0
>>321
ブーメラン乙
0324132人目の素数さん
垢版 |
2018/10/07(日) 22:14:44.83ID:EdfUIWS0
馬鹿素人は中身の話をせずに煽るからすぐわかる
詳しい人間なら「それ〜でしょ?」と広げられるように書いてあるのに
0325132人目の素数さん
垢版 |
2018/10/07(日) 22:28:26.10ID:4d6U6LZH
>>321
同感
0326132人目の素数さん
垢版 |
2018/10/07(日) 23:05:23.99ID:EdfUIWS0
自演か否かわからないけど、自分によくわからないことを言ってるから気に食わなくて
貶して溜飲を下げてるだけって感じ
プロなら構造こそゼータ関数では大事なのを知ってるはずだし、
>>318はこのスレに全くなかった話を雑にして書いてあるんだが
0328132人目の素数さん
垢版 |
2018/10/08(月) 02:12:26.15ID:jB8GY0yD
リーマン予想は偽であって欲しい
一見正しそうに見えるものが正しいってのはつまんない
そうじゃない方が面白い
0329132人目の素数さん
垢版 |
2018/10/08(月) 04:07:22.10ID:RFppXyWu
言うても数学に夢抱いてる専門家はいっぱいいるよね

数学なんて世界のほんの一部しか
解き明かせないのに
数学は世界を記述する言語だとか何だとか
何か「究極的には万能に行き着くもの」として捉えてる人が多い
0330132人目の素数さん
垢版 |
2018/10/08(月) 06:27:53.59ID:bkQXvnXj
おまえらって数学とセックスなら、どちらが快感?
0331132人目の素数さん
垢版 |
2018/10/08(月) 07:45:14.98ID:Wa20rsUC
αを計算したの?
0332学術
垢版 |
2018/10/08(月) 08:20:29.22ID:5iVPvi7/
人文学はリーマンじゃないんだよな。進路。理系に人文学を活かすのもいいな。
0333132人目の素数さん
垢版 |
2018/10/08(月) 09:51:14.05ID:P/HP2oDw
>>330
後者については未経験なので判断しかねる
0335132人目の素数さん
垢版 |
2018/10/08(月) 13:01:02.03ID:w71ZrWVt
数学科は圧倒的に童貞率が高いからな
逆は芸術科
0336学術
垢版 |
2018/10/08(月) 13:40:22.02ID:5iVPvi7/
童貞マリアか。レコジャケで見たぐらいさ。
0337学術
垢版 |
2018/10/08(月) 13:40:46.19ID:5iVPvi7/
技芸科 ってとこに住んでんだけど。
0338学術
垢版 |
2018/10/08(月) 13:42:43.30ID:5iVPvi7/
理系のガッコに講義でも張り付ける方が楽しいじゃん。文系なら何でもできます
みたいじゃないと、ややズレもいいし大学みんなで集まって遊んだ意味ないし。
教科書会社ですらダブルやトリプルキャリアでしょ。結局自分一人では
どうにもならない。
0339学術
垢版 |
2018/10/08(月) 13:43:32.03ID:5iVPvi7/
リーマン喧嘩もマナー悪いよな。混んでるなら自然に暴力でるでいいのに。
0340学術
垢版 |
2018/10/08(月) 13:44:23.94ID:5iVPvi7/
暴力自体言論にしたベンヤミンも相当できてるけどそこだけはどうかと思う。
書きものから暴力が出てもちゃんとしてたのかな。
0341132人目の素数さん
垢版 |
2018/10/08(月) 19:40:47.42ID:bkQXvnXj
数学の難問が解けた時って、セックスよりも快感だよな
0342132人目の素数さん
垢版 |
2018/10/08(月) 19:54:59.01ID:f1wMNmVE
セックスって相手によって全然違うし、普通に別物
0344132人目の素数さん
垢版 |
2018/10/08(月) 20:10:14.51ID:u6WN6ddK
>>313
modelとはordered pair (A,I) where A is a nonempty set and I is interpretation functionのことであってset of formulaだけではmodelではないが
0349132人目の素数さん
垢版 |
2018/10/08(月) 23:06:14.73ID:tkQNZLcI
驚愕!難問のリーマン予想が完璧に証明された! ?
http://youtu.be/GdVRhax_Cjw
0350132人目の素数さん
垢版 |
2018/10/08(月) 23:08:00.73ID:tkQNZLcI
超弦理論からすれば振動はすべての構成要素である
閉じた振動は物質的な特徴を持ち
解放された振動は電磁波的な特徴を持つ
0351132人目の素数さん
垢版 |
2018/10/08(月) 23:10:32.40ID:w71ZrWVt
数論の専門家は今の所意見してないかな
正式な論文が出てないから仕方ないか

アティヤは以前からこの辺言ってたしあり得るとは思うがどうかな
0352132人目の素数さん
垢版 |
2018/10/09(火) 19:47:43.10ID:qzOFzfFD
リーマン予想が証明されたら、代数幾何学が終わるらしいな
0353132人目の素数さん
垢版 |
2018/10/09(火) 19:54:49.47ID:GuJxaDFT
お客さんどっからきたの?
0354132人目の素数さん
垢版 |
2018/10/09(火) 22:16:13.13ID:Sl8LL9jJ
てか、代数幾何学て地味だよね
0355132人目の素数さん
垢版 |
2018/10/10(水) 14:09:13.65ID:/WnfXKaI
Skepticism surrounds renowned mathematician’s attempted proof of 160-year-old hypothesis
http://www.sciencemag.org/news/2018/09/skepticis

“It is simply too vague and unspecific.” Veisdal added that he would need to examine the written proof more closely to make a definitive judgement.

Science contacted several of Atiyah’s colleagues. They all expressed concern about his desire to come out of retirement to present proofs based on shaky associations and said it was unlikely that his proof of the Riemann hypothesis would be successful.

John Baez, a mathematical physicist at the University of California, Riverside, was one of the few willing to put his name to critical remarks about Atiyah’s claim.
“The proof just stacks one impressive claim on top of another without any connecting argument or real substantiation,” he says.
0356132人目の素数さん
垢版 |
2018/10/10(水) 15:35:53.26ID:wzcQ0tF2
なんで今更
0357132人目の素数さん
垢版 |
2018/10/10(水) 18:25:11.81ID:/0uZnfzh
代数幾何学よりも数論幾何学のが遥かに難しいよな
0358132人目の素数さん
垢版 |
2018/10/10(水) 21:03:12.98ID:m8MRL9+C
例えば?具体的に比較してくれたほうが
0359132人目の素数さん
垢版 |
2018/10/11(木) 05:54:24.98ID:CpSbcMhY
>>350
その上で、
振動が等分されるか、または、
ある振動とN倍の周期の振動が等価なら、
素数の周期の振動だけが存在する事になる
これなら、万物は素数で出来ていて当然だ
0360132人目の素数さん
垢版 |
2018/10/11(木) 17:09:55.78ID:Sp/HGgXo
40すぎてるけどフィーズ賞と金もらえるの?
0361132人目の素数さん
垢版 |
2018/10/11(木) 19:40:11.24ID:KvXq1V7K
コンヌも証明したと明言してるよな
たぶん、合ってると思うが
0362132人目の素数さん
垢版 |
2018/10/11(木) 19:40:57.10ID:fp5vRRUC
>>361 それは初耳だな。ソースは?
0363132人目の素数さん
垢版 |
2018/10/11(木) 22:21:53.17ID:Yc8NckYQ
何でジジイばっかりがリーマン解けた宣言するの?
0364132人目の素数さん
垢版 |
2018/10/12(金) 06:29:23.08ID:YLCrdRFe
ジジイのが頭良いから
コンヌ以来、数学の天才は現れていない
0365132人目の素数さん
垢版 |
2018/10/12(金) 06:38:47.45ID:1GB/gAlN
アラン・コンヌさんとマキシム・コンツェビッチさんはどっちの方が天才ですか?
0366132人目の素数さん
垢版 |
2018/10/12(金) 07:16:05.35ID:f6OwGQR2
>>363 リーマン解けた宣言なんて、世界中でしょっちゅうされてるだろ。
有名人じゃないが宣言しない限り、話題にもならないってだけ。
0367132人目の素数さん
垢版 |
2018/10/12(金) 07:21:14.75ID:f6OwGQR2
>>366
×「有名人じゃないが宣言しない限り」
○「有名人のジジイが宣言しない限り」
0368132人目の素数さん
垢版 |
2018/10/12(金) 14:41:16.59ID:1Qgu1mAN
上の方で話が出てるが、vixra.orgのようにarXivでrejectされるような論文でも
載せてくれるプレプリントサーバーだと、リーマン予想の証明論文はたくさんある
誰も相手にしないし、vixra自体がゴミの山と思われてまともな人が避ける
0369132人目の素数さん
垢版 |
2018/10/12(金) 14:55:13.05ID:f6OwGQR2
>>368 無名の数学者は、こじんまりとした研究をやった方がいいと思うね。

リーマン予想みたいな大定理だと、胡散臭いと思われて、読まずに否定される可能性が高いから。
0370132人目の素数さん
垢版 |
2018/10/12(金) 14:59:21.36ID:Jr0wZ2ke
>>369

×こじんまり
〇こぢんまり
0371132人目の素数さん
垢版 |
2018/10/12(金) 15:01:00.89ID:f6OwGQR2
>>370 初めて知ったw ありがとう。
0374132人目の素数さん
垢版 |
2018/10/13(土) 08:51:04.46ID:xD7oinej
>>369
いや、そうじゃなくて構造のレベルなんだよね
リーマン予想のレベルになると、既成のコホモロジーとか多様体を拡張しないと解けない
素人とか無名のトンデモとか言われるのは、その辺を全く踏まえてない
ラマヌジャンみたいな人間でもちゃんとした論文を書けば普通に認められますよ
0375132人目の素数さん
垢版 |
2018/10/13(土) 10:25:06.58ID:/YSAT7pU
ラマヌジャンといえば、オカルト雑誌に紹介されることがあっても、
高校までの「数学の教科書」には登場しないっぽいけど実際どうかな。
0376132人目の素数さん
垢版 |
2018/10/13(土) 10:30:53.26ID:YZMTO/hF
いやラマヌジャンは出所不明ながら結構初等的な日本の受験厨レベルでも表面的な意味が一見読み解けるような式弄りっぽい数式導出しまくってたんだけど?
0378132人目の素数さん
垢版 |
2018/10/13(土) 13:25:13.46ID:ND7eZpDF
何年か前に東大でRiemann予想がRamanujan graphとなんか繋がりがあるって聞いたよ
0379132人目の素数さん
垢版 |
2018/10/14(日) 04:56:29.23ID:v21qITeD
>>378
リーマンゼータと直接の関係はよくわかってないはずよ
それはウィキに書いてあるけれど、伊原ゼータ関数がRHの類似を満たす際にラマヌジャングラフとなる、ということ
ただ最近の研究で数論的ゼータ関数のグラフ理論的類似を作るという研究があるにはある
0380132人目の素数さん
垢版 |
2018/10/15(月) 23:49:06.93ID:cAFPozSY
√(X^2n+Y^2n+Z^2n-2*((X*Y)^n+(X*Z)^n+(Z*Y)^n))=0
√((X^n+Y^n+Z^n)^2-4*((X*Y)^n+(X*Z)^n+(Z*Y)^n))=0

n=2k (k≧3の整数)のとき
(X^2n+Y^2n+Z^2n)*2=(X^n+Y^n+Z^n)^2
をみたす整数X,Y,Zの組み合わせは存在しない

(d/dX)*(X^2n+Y^2n+Z^2n)*2=(d/dX)*(X^n+Y^n+Z^n)^2
(2n)*X^(2n-1)*2=2*n*X^(n-1)*(X^n+Y^n+Z^n)
2*X^n≠X^n+Y^n+Z^n

ζ(s)=√(1+1/2^2x+1/3^2x+1/4^2x・・・+2*(cos(y*log2)/(1*2)^x+cos(y*log3)/(1*3)^x+・・・+cos(y*log(3/2))/(3*2)^x+・・・))

ζ(s)=√(Σ1/k^2x+2*(Σcos(y*log(m/n))/(n*m)^x)) (k≧1 m>n≧1)
√(X^2+Y^2+Z^2-2*((X*Y)+(X*Z)+(Z*Y)))=0
Σ1/k^2x=1/1^2x+1/2^2x+1/3^2x+1/4^2x・・・をX^2,Y^2,Z^2の三つに区分する
X^2=Σ1/a^2x Y^2=Σ1/b^2x Z^2=Σ1/c^2x
Σ1/k^2x=Σ1/a^2x+Σ1/b^2x+Σ1/c^2x=X^2+Y^2+Z^2

X^(1/2)=Y^(1/2)+Z^(1/2)
(Σ1/a^2x)^(1/4)=(Σ1/b^2x)^(1/4)+(Σ1/c^2x)^(1/4)のとき

√(Σ1/a^2x+Σ1/b^2x+Σ1/c^2x-2*(√(Σ1/a^2x*Σ1/b^2x)+√(Σ1/a^2x*Σ1/c^2x)+√(Σ1/c^2x*Σ1/b^2x)))=0

またζ関数が0のとき
Σcos(y*log(m/n))/(n*m)^x+√(Σ1/a^2x*Σ1/b^2x)+√(Σ1/a^2x*Σ1/c^2x)+√(Σ1/c^2x*Σ1/b^2x)=0


Σcos(y*log(m/n))/(n*m)^x+((Σ1/b^2x)^(1/4)+(Σ1/c^2x)^(1/4))^2*(√(Σ1/b^2x)+√(Σ1/c^2x))+√(Σ1/c^2x*Σ1/b^2x)=0
0381132人目の素数さん
垢版 |
2018/10/17(水) 17:51:15.48ID:4brzNyDM
>>374 百年も前のラマヌジャンくらいしか例がないじゃん。

ラマヌジャンにしたところで、多くの教授は無視しただろ。
ハーディーだけが熱心に読んで評価したってだけで。
0382132人目の素数さん
垢版 |
2018/10/17(水) 22:09:04.99ID:SzxuNytm
√(1+(1/2-i)^4+(1/2+i)^4-2*((1/2-i)^2+(1/2+i)^2*(1/2-i)^2+(1/2+i)^2))=0
√(1+(1/2-i)^4+(1/2+i)^4+2*((1/2-i)^2+(1/2+i)^2*(1/2-i)^2+(1/2+i)^2))=2
0383132人目の素数さん
垢版 |
2018/10/21(日) 23:30:26.83ID:2pG2HGyt
√(X^2n+Y^2n+Z^2n-2*((X*Y)^n+(Y*Z)^n+(X*Z)^n))=0

X^(n/2)=Y^(n/2)+Z^(n/2)



√((Y^(n/2)+Z^(n/2))^4+Y^2n+Z^2n-2*((Y^(n/2)+Z^(n/2))^2*(Y^n+Z^n)+(Y*Z)^n))=0


√((Y^(3)+Z^(3))^4+Y^12+Z^12-2*((Y^(3)+Z^(3))^2*(Y^6+Z^6)+(Y*Z)^6))=0

√((3^(3)+4^(3))^4+4^12+3^12-2*((3^(3)+4^(3))^2*(3^6+4^6)+(3*4)^6))=0


7^3*11^3*√((1/7^(3)+1/11^(3))^4+1/11^12+1/7^12-2*((1/7^(3)+1/11^(3))^2*(1/7^6+1/11^6)-1/(7*11)^6))=2


13^3*11^3*√((1/13^(3)+1/11^(3))^4+1/11^12+1/13^12-2*((1/13^(3)+1/11^(3))^2*(1/13^6+1/11^6)-1/(13*11)^6))=2


X^3*Y^3*√((1/X^(3)+1/Y^(3))^4+1/X^12+1/Y^12-2*((1/X^(3)+1/Y^(3))^2*(1/X^6+1/Y^6)-1/(X*Y)^6))=2
0384132人目の素数さん
垢版 |
2018/10/22(月) 14:40:05.33ID:qxTgZchr
>>381
「地元のやつが『こいつ天才なんじゃね?』と思ったので、
正規のルートを使わずに手紙を送りまくったら1巡目で当たった」
ラマヌジャンを悲劇の天才にするのは無理があるんだよなぁ。
0385132人目の素数さん
垢版 |
2018/10/22(月) 21:41:50.97ID:Uy0F9Q+W
「悲劇の」という形容句が適切か否かは別にして
ラマヌジャンが天才であることに疑問の余地はない
0386132人目の素数さん
垢版 |
2018/10/23(火) 05:12:10.35ID:VSE9+KNA
未だ「予想」といわれざるをえない命題を含めて、
数学の証明済み命題(定理)は、どのような経緯
で誕生したのか知りたい。
ラマヌジャンのように、先ず命題の提起ありきで、
証明が後追いのケースが大半だろうか。
それとも、何らかの論考の過程で、それこそ導か
れるようにして誕生するのが、あるのだろうか。
0387132人目の素数さん
垢版 |
2018/10/23(火) 07:54:26.00ID:65Ij1VjE
思いつき
0388132人目の素数さん
垢版 |
2018/10/24(水) 15:45:52.85ID:ZiSA6qex
リーマン予想にかかわると狂気に陥る人がしばしば出るっていう伝説がある
0389132人目の素数さん
垢版 |
2018/10/25(木) 04:27:39.36ID:MS0fDGMx
それは、神がお怒りになるからだろう。
バベルの塔ならぬリーマンの塔。
0391132人目の素数さん
垢版 |
2018/10/30(火) 22:36:03.34ID:57uuYNLq
否定的な人が多いけど、俺はアティヤはとんでもないことを成し遂げたと思ってる。
そして万物の理論がもうすぐ完成することを確信した。
>>56の微細構造定数のプレプリントを読んで、これは俺がずっと5chで書いていた説。
電子=ホロ量子マイクロブラックホール仮説と一致する事を確認した。
しっかり八角形と重力定数に言及していた事にも驚いた。
0393132人目の素数さん
垢版 |
2018/10/31(水) 09:00:48.43ID:Ej47BPze
あちゃーー、本当に偉い先生なの?
0395132人目の素数さん
垢版 |
2018/11/03(土) 17:11:39.47ID:eMu2wrR+
どうせ日本人は英語嫌いでまっとうに読むやつは少ないだろうから
自分用に適当にGoogle翻訳で翻訳したのを貼っておく
英語読めるやつは原文のプレプリントを読め
読めるけどめんどくさいってやつには、Google翻訳用に整理したのを見るのを勧める
改行や空白が多めで読みやすい

原論文 >>56
https://drive.google.com/file/d/1WPsVhtBQmdgQl25_evlGQ1mmTQE0Ww4a/view

アティヤの微細構造定数の論文のgoogle翻訳まとめ
https://drive.google.com/file/d/1kpFNV9yl-T4dutW07Bid8o4XNbxoEaX3/view
アティヤの微細構造定数の論文、google翻訳用に整理された英文
https://drive.google.com/file/d/1vQCXZ-S_oBJlzSvBJl7iPGV2XIHJr_On/view
0396132人目の素数さん
垢版 |
2018/11/04(日) 03:45:34.19ID:7dITIbJW
>>391
この人の説は他スレで見た事あるわw
その説は自分で思い付いたの?
とすると何者?w
0397132人目の素数さん
垢版 |
2018/11/04(日) 03:48:20.56ID:ivJUIcB0
>>396
アラン・コンヌとハーバード大学数学科首席卒業者はどっちの方が賢いですか?
■ このスレッドは過去ログ倉庫に格納されています

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