Michael F. Atiyahがリーマン予想を証明しました。

**１３２人目の素数さん** · 2018/09/21(金) 16:48:05.78

検証しましょう。

学術 · 2018/09/21(金) 16:55:37.97

不動産の賃買契約の方が面白いと思う。内装家具、趣味、も含めて。

**１３２人目の素数さん** · 2018/09/21(金) 17:28:16.73

https://twitter.com/HLForum/status/1042670700652318720
https://twitter.com/Quasilocal/status/1042359040305704960
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2018/09/21(金) 21:08:10.97

誤証明の前科ってのはなんだっけ？

**１３２人目の素数さん** · 2018/09/21(金) 22:33:38.84

「素数の分布に関するところに間違いがある」

**１３２人目の素数さん** · 2018/09/22(土) 15:06:38.09

素数は実は有限

**１３２人目の素数さん** · 2018/09/22(土) 22:57:04.79

Dirac (1928)
von Neumann (1936)
Hirzebruch (1954)
を参考にしてシンプルに証明できるそうだぞ

アティヤ先生が発表する前に誰か解いてしまえ
http://pbs.twimg.com/media/DnczaEMX0AAJlWL.jpg

**１３２人目の素数さん** · 2018/09/23(日) 01:46:31.47

>>4
がいふくそこうぞうのやつだっけ

**１３２人目の素数さん** · 2018/09/23(日) 07:43:21.08

アティヤがあちゃー

**１３２人目の素数さん** · 2018/09/23(日) 08:06:06.45

hahaha

**１３２人目の素数さん** · 2018/09/23(日) 08:18:42.02

数学者にも認知症ってあるのかな？

**１３２人目の素数さん** · 2018/09/23(日) 19:32:41.67

明日夜の Atiyah の講演が楽しみだwktk

**１３２人目の素数さん** · 2018/09/23(日) 20:44:07.97

８９歳か、、、ようやるわw

**１３２人目の素数さん** · 2018/09/24(月) 00:40:02.14

死ぬ前に何が何でもって感じなんだろうね
かつてナッシュもド・ブランジュも
解決を主張した

**１３２人目の素数さん** · 2018/09/24(月) 01:09:43.91

本当は証明できとらんことは分かっとるんじゃ
じゃが、そう言うてしもうと注目されん
最後に注目を集めて次の世代に託したい
これはわしの遺言じゃ...

とかいうのが爺さんの本音なんじゃｗ

**１３２人目の素数さん** · 2018/09/24(月) 04:50:32.19

>>9
きみは5ちゃんに必要な人間だと思っとったのに...情けない。

(ﾉ∀`)ｱﾁｬｰ

**１３２人目の素数さん** · 2018/09/24(月) 15:04:42.94

もう始まっているんですかね？

**１３２人目の素数さん** · 2018/09/24(月) 15:33:06.72

>>17
日本時間で9月24日（月）の午後4時45分～5時30分らしいです
http://twitter.com/active_galactic/status/1044097199359971328
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2018/09/24(月) 17:06:58.35

今やってるらしい
http://www.pscp.tv/w/1zqJVLeqXYDKB

**１３２人目の素数さん** · 2018/09/24(月) 17:23:29.35

普通に考えてこれ指数定理にかなり関わった理論のはずだが、
アティヤの過去の仕事を踏まえて、ノイマンの代数と指数定理を単純な理論で
十分にリンクさせられるとは思えないね
合ってたらどうしようね

**１３２人目の素数さん** · 2018/09/24(月) 17:24:39.63

動画で見ると20歳以上若くみえる

**１３２人目の素数さん** · 2018/09/24(月) 17:31:18.11

1/α = ж = 1/137.03599976
How does Todd function T(s) Help to Prove RH?
F(s) = T(1+ ζ[s+b]) - 1 F(b) = 0
F(2s) = 2F(s)

**１３２人目の素数さん** · 2018/09/24(月) 17:38:26.66

結局、「Todd functionの定義は何？」という問題に戻るのかよｗ

**１３２人目の素数さん** · 2018/09/24(月) 17:39:31.35

怪しいな

**１３２人目の素数さん** · 2018/09/24(月) 17:45:22.45

駄目だなw
だが、フレームが適切な辺りさすがだよ

**１３２人目の素数さん** · 2018/09/24(月) 17:48:51.39

アティヤ卿の講演、
モンティ・パイソンの哲学者サッカーを観ている気がするのは俺だけか？

**１３２人目の素数さん** · 2018/09/24(月) 18:35:53.57

エディントン狂わせた微細構造定数

**１３２人目の素数さん** · 2018/09/24(月) 19:05:54.92

結局、間違いがあったのですか？どうなんですか？

**１３２人目の素数さん** · 2018/09/24(月) 19:12:09.25

物理の話だったのか。ポアンカレのときみたいだな。否定的な見方の方が多いみたいだけど、検証作業は本格化されるんだろうか。

**１３２人目の素数さん** · 2018/09/24(月) 19:14:26.66

>>1
アティヤ先生、証明の完成おめでとうございます。
今年は、世界の数学界にとって最高の年になりました。
本当におめでとうございます。

**１３２人目の素数さん** · 2018/09/24(月) 19:16:26.49

わからないバカが賞賛してもなあ

**１３２人目の素数さん** · 2018/09/24(月) 19:16:51.89

日本人で言うと加藤一二三九段みたいなものか？

**１３２人目の素数さん** · 2018/09/24(月) 19:17:49.36

トッド函数：Td(x) = x / (1 - exp(-x))

**１３２人目の素数さん** · 2018/09/24(月) 19:30:39.49

ざっと見たがかなり胡散臭いな。
関数Tの基本的な性質を勘違いしてるんじゃないか。
こんな証明が成立するなら大昔にとっくに解かれてるだろう。

**１３２人目の素数さん** · 2018/09/24(月) 19:37:20.17

アティアは歴史的な偉業を成し遂げたね。

**１３２人目の素数さん** · 2018/09/24(月) 19:37:58.64

フランスでなく英国なんだな
プリンキピアの伝統があるわ。

**１３２人目の素数さん** · 2018/09/24(月) 19:55:40.89

どこに函数がzetaであることが効いているのかも不明。
critical line上のゆるい性質しか使ってないよね。
あっという間に反証されそうな悪寒

**１３２人目の素数さん** · 2018/09/24(月) 19:58:21.34

>>37

有名な数学者が高齢とはいえ、簡単に反証されるようなことを書きますかね？

批判能力が非常に衰えているということでしょうか？

**１３２人目の素数さん** · 2018/09/24(月) 21:11:44.95

dXVは数学の本スレを荒らしてる馬鹿なので餌を与えないでください

**１３２人目の素数さん** · 2018/09/24(月) 21:47:28.81

結局どうなったんや？

**１３２人目の素数さん** · 2018/09/24(月) 21:48:28.76

反論多め
arXivにリジェクトされたしリーマン予想は厳しそう

**１３２人目の素数さん** · 2018/09/24(月) 21:54:41.37

余程自信がないと発表しないはずですよね。

**１３２人目の素数さん** · 2018/09/24(月) 22:00:15.90

>>41
アティヤはarxivに投稿していた？

**１３２人目の素数さん** · 2018/09/24(月) 22:02:58.31

リーマン予想はボーナスだって書いてたよね
物理が主で数論はオマケみたいな意識が残念
数論的な深い構造が垣間見えなかったのも残念

**１３２人目の素数さん** · 2018/09/24(月) 22:25:46.65

英国のディラック、量子力学は離散だからね。
数論も日本と素養が違うな。

**１３２人目の素数さん** · 2018/09/24(月) 22:29:55.06

アーカイブにリジェクト？何言ってんの？

**１３２人目の素数さん** · 2018/09/24(月) 22:30:55.52

>>41
どんな感じの反論あった？やっぱTodd関数関連かね？

**１３２人目の素数さん** · 2018/09/24(月) 22:36:37.92

arXivでリジェクトとかあるんだ

**１３２人目の素数さん** · 2018/09/24(月) 22:41:08.31

あまりひどいとBANされるとは聞いたことがある

**１３２人目の素数さん** · 2018/09/24(月) 23:00:25.47

>>47
多項式とかw

**１３２人目の素数さん** · 2018/09/24(月) 23:09:22.98

weakly analytic function がよう分からん。
TはCの任意のコンパクト集合上で解析的なのに全体では違うのか？

**１３２人目の素数さん** · 2018/09/24(月) 23:20:53.88

うむ、もう少し読んでみたが書いてることを認めればTは正則で、
したがって一致の定理からTは単なる多項式だな。完全に耄碌してる模様だね。
Step関数について書いてることもメチャクチャだよ。
ついでにいうとf=g=Fとして3.3が出てくるのも意味不明。ゼータの性質もほとんど使ってないので
学部二年生レベルで反例がでてくるでしょう。

**１３２人目の素数さん** · 2018/09/24(月) 23:21:20.35

arxivは自動rejectでしょう
リーマンがタイトルで短くて数式少な目では自動ban

**sage** · 2018/09/24(月) 23:23:15.54

>>53
>リーマンがタイトルで短くて数式少な目では自動ban

そんな機能あるんだww

**１３２人目の素数さん** · 2018/09/24(月) 23:45:34.85

アティヤもボンビエリか誰かのエイプリルフールも似ているが、RHが
物理学者かなんかの遊びで解けてしまう、ということは無いと思う
経路積分でよくわからないパターンを見つけたりはあるかもしれないけど
どんな短くても高度な構造に基づき100ページ以上にはなるだろう

**１３２人目の素数さん** · 2018/09/25(火) 00:00:02.01

貼っとく必要はあったな。

THE RIEMANN HYPOTHESIS
ttps://drive.google.com/file/d/17NBICP6OcUSucrXKNWvzLmrQpfUrEKuY/view

THE FINE STRUCTURE CONSTANT
ttps://drive.google.com/file/d/1WPsVhtBQmdgQl25_evlGQ1mmTQE0Ww4a/view

**１３２人目の素数さん** · 2018/09/25(火) 00:07:55.19

arXivの話は知らんけど、モデレーターにリジェクトされる事は有るみたいだね。
なんかarXivで拒否られたのに普通のジャーナルに載ったでとか出てきたw

**１３２人目の素数さん** · 2018/09/25(火) 00:46:58.08

>>55
「絶対カシミール元」が香ばしい表題でわざわざ書かれたのにトンデモとトンデモと学会が釣れなくて黒山他人重さんの中の人もさぞやがっかりだったでしょうな。

**１３２人目の素数さん** · 2018/09/25(火) 00:48:35.27

>>56
ありがとう、助かりました

**１３２人目の素数さん** · 2018/09/25(火) 00:57:51.66

ディラック作用素のアノマリーで
超対称性量子力学を多様体上で経路積分し
不変量を求める。
次に数学の指数定理の証明では数学の論理に
上げる。
物理の「証明」→数学の「証明」は
方針としてありえる。

**１３２人目の素数さん** · 2018/09/25(火) 01:07:28.88

>>58
くりこみ言うならウィルソンのくりこみから
勉強しないとね、、

**１３２人目の素数さん** · 2018/09/25(火) 03:32:27.36

リーマン予想に関わると狂気に陥る説があったよな。。

**１３２人目の素数さん** · 2018/09/25(火) 05:21:02.03

超巨大有人宇宙船を開発したい。

**１３２人目の素数さん** · 2018/09/25(火) 07:59:00.95

>>62
実際にバタバタ有能な人間が倒れていった
呪いじゃ・・・これに手を出してはいかんのじゃ・・・

**１３２人目の素数さん** · 2018/09/25(火) 09:05:55.85

嫌儲はオカルト未満の妄想統失患者しかいなくて草

**１３２人目の素数さん** · 2018/09/25(火) 09:20:18.89

これ、半分安倍みたいなものだろ

**１３２人目の素数さん** · 2018/09/25(火) 09:31:09.13

>>66
ものすごい実績の大宰相という事になるがw

**１３２人目の素数さん** · 2018/09/25(火) 10:27:54.93

>>57
自分が前に書いた論文と序文などが似てると、コピペと判定される
BANされなかったが、警告メールをもらった
同一テーマでシリーズ論文書くときは要注意
もちろん雑誌投稿では問題にされない
arxivは内容を見ずに形式ではねる

**１３２人目の素数さん** · 2018/09/25(火) 10:37:01.03

安倍の支持層というのは、はっきり言って「質が悪い」。

何せ、「安倍に従わない人物」については、

「反日！」

「パヨク！」

のレッテルを貼り続けるんだから。

つまりは、「反安倍」には『反論すらも許さない』んだから、異常だよね。

**１３２人目の素数さん** · 2018/09/25(火) 11:02:31.62

山尾志桜里(衆愛知7区)「安倍首相は不誠実。石破氏の方が議論できる」

**１３２人目の素数さん** · 2018/09/25(火) 11:52:09.09

なんでパヨクイライラしてんの？

**１３２人目の素数さん** · 2018/09/25(火) 12:04:26.42

嫌儲から来たがこれ証明できると世の中何か劇的に変わるやつ?頭弱すぎて全然わからん

**１３２人目の素数さん** · 2018/09/25(火) 12:04:36.45

以下、最も自由な数学スレは最も不自由な政治スレになります。

51 · 2018/09/25(火) 12:50:42.39

これはひょっとしてコンパクト集合上の複素ベクトル束でトッド多項式が得られる
ってな事なのかな？analyticを別の意味で使っててTもトッド関数と言うより
トッド類？だめだ、数学ぜんぜん分からん。

**１３２人目の素数さん** · 2018/09/25(火) 13:17:27.17

>>60
いつになったら経路積分の数学的厳密な定式化はなされるん？
数学者さぼってるん？

**１３２人目の素数さん** · 2018/09/25(火) 13:43:09.33

>>65
おまいが余計なこと言うからケンモメン召喚されてるやん

**１３２人目の素数さん** · 2018/09/25(火) 14:10:18.40

ここ含め、誰もまじめに検証しようとしてないようだけど、要は「お察し」ということなの？

**１３２人目の素数さん** · 2018/09/25(火) 14:19:25.51

アティヤシンガーの指数定理のアティヤ？

**１３２人目の素数さん** · 2018/09/25(火) 14:33:20.71

>>75
複素の測度で面倒、1次元測度やノルムで
抑える、では定義された。
が、超準解析でも測度が崩壊する。
物理はウィック回転して解析接続より
実数のウィナー測度で計算する。
→数学では怪しい操作だが計算結果が大切。
差分の数値計算もある。

>>78
はい

**１３２人目の素数さん** · 2018/09/25(火) 14:36:10.37

これ検証したという人全然いないけど、論文はごく短いけどやっぱり検証するのは大変なの？それとも専門的過ぎて検証できる人が極々僅かとか？

**１３２人目の素数さん** · 2018/09/25(火) 14:41:40.51

>>79
さんくす。存命だったとは。今指数定理の勉強しようとし始めたところだからびっくらこいた

**１３２人目の素数さん** · 2018/09/25(火) 16:10:40.17

>>75
実は知り合いがアイデアがあると言ってるんだが、聞く限り異質な理論だし
時間がかかりそうだ。簡単に言うとコンヌの非可換幾何を更に一般化する
それくらいしないとわからない可能性がある現象なんだな

**１３２人目の素数さん** · 2018/09/25(火) 16:14:31.96

また、経路積分はただの測度論ではないだろうという感覚はかなりの人間が抱いている
これは突き詰めると不確定性が何に由来するかという問題だからね。スレチでしたが

**１３２人目の素数さん** · 2018/09/25(火) 18:19:38.34

>>82
今世紀中に解決できそうだなよかった

**１３２人目の素数さん** · 2018/09/25(火) 18:49:42.99

高校生でもビオ・サバールで習うあの定数が導けるというのもとんでもない話で
トンデモ×トンデモで真理に辿りついたのかこれ
まあもし証明に穴があってもアイデアは生き残っていくかもな

**１３２人目の素数さん** · 2018/09/25(火) 19:05:39.17

ビオサバールの法則は高校の範囲じゃないし、ビオサバールの法則に微細構造定数は出てこないでしょ。

**１３２人目の素数さん** · 2018/09/25(火) 19:50:43.10

>>85
宇宙際タイヒミュラー理論にぴったり

**１３２人目の素数さん** · 2018/09/25(火) 21:49:24.06

最強の概念って何ですか？
「無」ですか？

**１３２人目の素数さん** · 2018/09/25(火) 22:36:01.20

>>88
概念という概念は全ての概念を包含するのでさいつよかもしれん。
が、無になればそれを打破できる。
無という概念は弱い。
が、無に「なれ」ば強く、そして強くなく、強くないもまた無い。合掌。

ってなんでここで禅問答せにゃならんのだ。最強のスレチ探しなのか？

**１３２人目の素数さん** · 2018/09/25(火) 22:39:48.45

つうかFSCを解明したらノーベル賞だろw

**１３２人目の素数さん** · 2018/09/25(火) 22:40:26.97

全は概念という概念をも包含する上に、全ての物理的実体なども包含するから全が最強か？

**１３２人目の素数さん** · 2018/09/25(火) 22:56:47.63

>>32
割りと正しい

**１３２人目の素数さん** · 2018/09/25(火) 22:58:24.42

>>38
>有名な数学者が高齢とはいえ、簡単に反証されるようなことを書きますかね？
おれ
ある有名な先生が壇上で講演して
即座に座長に間違いを指摘されてたのを見たときある
高名とか関係ないがな

**１３２人目の素数さん** · 2018/09/25(火) 22:59:02.43

>>41
>arXivにリジェクトされたしリーマン予想は厳しそう
arXivってリジェクトってあるのか？

**１３２人目の素数さん** · 2018/09/25(火) 23:00:02.48

>>53
しらんかった
それホントなの？
まあホントだとしてもおかしくはないか

**１３２人目の素数さん** · 2018/09/25(火) 23:01:57.31

今現在
岡山でホットな話題なのかな？

**１３２人目の素数さん** · 2018/09/25(火) 23:33:11.88

全って最強なの？
全てということは、最強も最弱も普通もその他もいろいろとにかく全てを含むけど、
総合的に見たらやっぱり最強なの？

**１３２人目の素数さん** · 2018/09/26(水) 00:09:52.75

>>95
RHでも載っけてくれるvixraがどうなっているか
"vixra.org riemann hypothesis"でググれ

**１３２人目の素数さん** · 2018/09/26(水) 00:33:14.18

黒川先生はこういうの見て苦笑するタイプw

**１３２人目の素数さん** · 2018/09/26(水) 00:46:17.48

日本語で証明してくれよ

**１３２人目の素数さん** · 2018/09/26(水) 00:51:06.55

>>99
真空のゆらぎを見て、、あ、1/2が、、

**１３２人目の素数さん** · 2018/09/26(水) 01:08:26.51

結局これガセだったの？
一日たったんだから真偽はっきりして

**１３２人目の素数さん** · 2018/09/26(水) 01:12:19.58

ガセ以前に「証明」と言えるものが何もない
大先生じゃなかったら黙殺されるレベル

**１３２人目の素数さん** · 2018/09/26(水) 01:52:36.91

最強の概念って何？全？

**１３２人目の素数さん** · 2018/09/26(水) 02:41:49.74

物理の「証明」から数学の証明はあるが、
Atiyahのpreprintは「見解」だろ。
もし計算も含め詳しい過程の数学論文
が王立協会へ提出されたら査読される。
シンプルだから間違いははっきりする。

微細構造定数は基本的な物理定数
無次元だから基本的だ。
物理定数の数値は数学から導けない。
超弦理論は一つのパラメータを目指している。

**１３２人目の素数さん** · 2018/09/26(水) 09:16:18.23

何も導出してない

**１３２人目の素数さん** · 2018/09/26(水) 11:23:27.51

アティア爺さん、結局、耄碌してんだと思うけど、
それでも俺より頭いいわｗｗｗ

**１３２人目の素数さん** · 2018/09/26(水) 12:26:49.11

2017年、アティヤは、群論という抽象的な分野で1963年に初めて証明された
Feit-Thompsonの定理（奇数位数の有限群は可解であるという定理）を大幅
に単純化して12ページの証明にしたとロンドンのタイムズ紙に語ったことがある。
彼はその証明をその分野の専門家15人に送ったが、彼らは疑念を示すか
無言のままで、その証明はついに雑誌に掲載されることはなかった。
その前年には、ArXivというプレプリントのリポジトリ・サイトにアティヤは
微分幾何学の有名な問題を解いたとして投稿したのだが、同僚たちは彼の
アプローチが不正確であるとすぐ指摘し、その証明が正式に出版されることは
なかった。

Science誌（この記事が掲載されているサイト名）は、アティヤの同僚の何人
かに連絡した。すると全員が口をそろえて、アティヤが引退から返り咲きたい
ために不確かな連想に基づく証明をすることを心配していると語っていた。
そして公に批判し、良き指導者または同僚である彼との関係を壊すような
ことをしたいとは誰も望んでいなかった。リバーサイドにあるカリフォルニア大学
の数理物理学者のJohn Baezは、アティヤの発表に対して批判的なコメントを
したいと思っている数少ない人物だ。「（アティヤの）証明は論証や実証とは
まったく関係なく、印象的な主張の単なる積み重ねに過ぎなかった。」と彼は言う。

https://blog.goo.ne.jp/ktonegaw/e/0a06e093aa22eebdfae10e8b94457578

**１３２人目の素数さん** · 2018/09/26(水) 12:40:47.21

>John Baez

RHは演習問題とする
by アティヤ

**１３２人目の素数さん** · 2018/09/26(水) 14:08:29.08

オワコンジジイの妄言だったの？

**１３２人目の素数さん** · 2018/09/26(水) 14:19:29.78

ニュートン万有引力の法則を生んだ英国
らしい発想からの間違いだろうw

**１３２人目の素数さん** · 2018/09/26(水) 14:23:40.56

殆ど証明の体ではないので検証するしないという話でもない
観察記録のほうが近い

**１３２人目の素数さん** · 2018/09/26(水) 14:30:39.38

ちょっとニコ動で勉強してきた
要はリーマン予想ってのは自然科学と密接に結びついている
かもしれないロマン溢れる理論予想で、それが解かれるのは
超ど級の理論でドラマチックな展開が期待されてる？
だから今回の片手間みたいなので解けました！ってのは正直
やめてくれいっってな感じかな？

**１３２人目の素数さん** · 2018/09/26(水) 14:36:35.48

リーマン予想が解かれれば世界が変わるというのはちょっと違う
リーマン予想はかなり基本的なことを言っている
つまり、人類はそんな基本的なこともまだ分かっていないということ
だから、解かれたらやっと数学なり物理なりが基本的なレベルに到達したって感じ
人類は現在まだまだ愚かだってことさ

**１３２人目の素数さん** · 2018/09/26(水) 15:37:01.68

どの程度の理論で解けるかもよくわからないからな
解析寄りのアプローチが物理に近いので魅力かあるが、ペレルマンと逆に
アティヤのようなトポロジーで解ける可能性も十分にある

**１３２人目の素数さん** · 2018/09/26(水) 15:47:03.78

昔は凄かったのに老衰してしまった姿を見て、直接は何も言えなくなってしまう気持ちは分かる

**１３２人目の素数さん** · 2018/09/26(水) 17:37:39.63

>>114
逆に、微細構造定数の導出の方が衝撃的だよなあ。
これを元に、いろんな物理理論が進展する可能性がある。

**１３２人目の素数さん** · 2018/09/26(水) 17:43:25.50

あれを導出って言っていいんか？ｗ

**１３２人目の素数さん** · 2018/09/26(水) 18:04:59.11

実際論文に従って数値計算してみた人の結果がα=6ぐらいっていうw

**１３２人目の素数さん** · 2018/09/26(水) 18:26:42.20

触発されてコンヌ爺さんがハッスルしちゃうなあ

**１３２人目の素数さん** · 2018/09/26(水) 18:26:45.52

>>112
夏休みの宿題・Atiyahの観察日記

9月24日「今日も爺さんはボケが進んだ」

**１３２人目の素数さん** · 2018/09/26(水) 18:28:15.22

>>119
131も足らないではないか

**１３２人目の素数さん** · 2018/09/26(水) 19:08:32.66

>>121
うんまあそれ1/αの方だけどね。そっちだと0.16ぐらいw

**123** · 2018/09/26(水) 19:47:39.65

アンカ間違えた
>>122
ね。

**１３２人目の素数さん** · 2018/09/26(水) 20:04:35.91

うぁあ

a4 ◆L1L.Ef50zuAv · 2018/09/26(水) 20:12:05.38

リーマン予想は解けない問題であると信じた上で、解くための人工知能を5chの
プログラム技術板で創ってる者です。こちらのスレでやってます。
https://mevius.5ch.net/test/read.cgi/tech/1535821055/
証明読みました。僕は数論は好きですが、専門ではありません。ただ、証明
https://www.dropbox.com/s/pydoj0a8hguebc6/2018-The_Riemann_Hypothesis.pdf?dl=0
を読んでみると、スレの上述の通り、
(1)Tの定義がpolynomial degreeなのかと思ったら、
T{[1+f(s)]・[1+g(s)]}=T{1+f(s)+g(s)}のような式に意味があるのか。
一応、例を考えてみると、
T{[1+s]^4}=T{[1+2s+s^2][1+2s+s^2]}=T{1+4s+2s^2}
T{[1+s]^4}=T{[1+s][1+3s+3s^2+s^3]}=T{1+4s+3s^2+s^3}
とかになって、これは何の値か、疑問です。
(2)2.6、2.7に関しては、(1)ではconstantが1のとき、代数学の基本定理のように
分解したが無限級数的なものには意味があるのか？sがfとかでも大丈夫なのか？
(3)ゼータ関数のマクローリン展開は検索しても出てこないが、F(s)=2F(s)
は成り立つのか。
などの疑問が出ます。どなたか教えていただければ幸いです。

**１３２人目の素数さん** · 2018/09/26(水) 20:43:26.70

今回思ったこと
ゲルファントの偉大さ

**１３２人目の素数さん** · 2018/09/26(水) 20:48:17.12

俺はジークフリートの一枚葉を奇矯御前から聞き出すように感じた炎。

**１３２人目の素数さん** · 2018/09/26(水) 22:54:28.44

>>126
これが許されるのか分かりませんが, f=s, g=-sとしてみると
T(1-s^2) = T(1) =1.
Tは多項式と書かれている以上sを動かせば単に T = 1 となってしまいます。

意味不明なので微細構造定数の方の論文を確認すると、
Tの定義は(おそらく)、
「hyperfinite factor A(C) のトレースの中心(center)への制限がCと同型になるような
写像 t+, t- を使って T = t-^-1∘t+」
です。
はい、分かりません。私ではまったく。

答になりませんでしたね。だれか数学分かる人お願いします。

**１３２人目の素数さん** · 2018/09/26(水) 22:56:28.33

エクセントリックな中心拡大。

**１３２人目の素数さん** · 2018/09/26(水) 23:25:46.81

一般ニュースでは
89歳のおじいちゃんww

【懸賞金100万ドル】人類史上最大の難問の一つ「リーマン予想」ついに解明か / 名乗り出たのは89歳のおじいちゃん
http://asahi.5ch.net/test/read.cgi/newsplus/1537970750/

**１３２人目の素数さん** · 2018/09/27(木) 00:09:08.16

>>127
ゲルファントほどでなくても100歳近くまで研究をして
まともだった人は何人かいるから個人差が大きいのだろう
あるいは全く表舞台に出ない人も賢い

**１３２人目の素数さん** · 2018/09/27(木) 01:06:52.58

>>129
Dirac、、の原論文を読んで報告頼む

**１３２人目の素数さん** · 2018/09/27(木) 02:10:53.21

俺も数学の定数を使って微細構造定数(の逆数)表してみたわ
((π^2*(π+e)))/(π-e)+(π^2*(π-e))/(π+e)+(((π-e)*(π+e)-π^2)/(π^2*(π-e)*(π+e)))

**１３２人目の素数さん** · 2018/09/27(木) 03:18:44.28

P≠NP予想の証明に取り掛かろうと思うのですが、これを証明するにはまずは何を勉強した方が良いのでしょうか？
数学だけでなく計算機科学とか物理学も勉強した方が良いですか？

**１３２人目の素数さん** · 2018/09/27(木) 03:34:58.86

Atiyah「オレにはもう数学が…よくわからんのよ…！」

**１３２人目の素数さん** · 2018/09/27(木) 07:32:27.36

アカギ乙

**１３２人目の素数さん** · 2018/09/27(木) 07:35:26.91

微細構造定数の意義わからん池沼大杉

**１３２人目の素数さん** · 2018/09/27(木) 07:45:30.35

Atiyah「ワシの居場所はどこや？」
聴衆「さぁ…あってぃやないか？」

**１３２人目の素数さん** · 2018/09/27(木) 07:54:12.09

>>138
つづき
世俗すぎる錬金術発の化学分野とか

**１３２人目の素数さん** · 2018/09/27(木) 11:50:31.98

Dirac
The Quantum Theoryof the Electron

http://www.rpi.edu/dept/phys/Courses/PHYS6520/DiracElectron.pdf

J. v. Neumann
On an algebraic generalization of the quantum mechanical formalism (Part I)

http://m.mathnet.ru/links/cedc6b18e2d6ba4d3ff323a564e402bd/sm5424.pdf

FRIEDRICH HIRZEBRUCH
ARITHMETIC GENERA AND THE THEOREM OF RIEMANN-ROCH
FOR ALGEBRAIC VARIETIES

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC527949/pdf/pnas00729-0064.pdf

**１３２人目の素数さん** · 2018/09/27(木) 14:52:21.92

>>135
色々じわるレス

**１３２人目の素数さん** · 2018/09/27(木) 14:57:01.11

>>142>>135
実際問題として量子物理学と計算機科学の合いの子的な果実結実ともいえる量子コンピューターが出来上がればNP問題も多項式時間で解けるのでだんだんますます意味のない問題になるよね。

**129** · 2018/09/27(木) 15:20:43.07

あっ、しまったトレースは要らない。Aの中心への制限ね。
AはC^2の自己準同型環(End(C^2))の無限テンソル積の弱閉包で、
End(C^2)のトレースからAのトレースが導かれるんだと。

**１３２人目の素数さん** · 2018/09/27(木) 15:42:41.28

>>143
いや、長期的に見ればそうとも言い切れない
数学的な着想は残るし、量子計算も物理を含めて過渡的なアーキテクチャである可能性が高い
そうしたときにも常に数学的な本質は残って部品になっていく

**１３２人目の素数さん** · 2018/09/27(木) 16:57:45.85

http://mevius.5ch.net/test/read.cgi/lovesaloon/1537343184/l50
http://2ch.vet/re_maguro_poverty_1535964420_a_0
http://ja-jp.facebook.com/masaoki.iwasaki.9
http://twpro.jp/mas20285
http://www32.atwiki.jp/wslc/pages/21.html
http://twitter.com/mas20285
http://twitter.com/keepmathtop
http://twitter.com/K46_N700_hikari

成立学園1-F担任の岩崎柾典先生がヤバイ。
成立学園に勤めるのは4年目。
担当科目は数学。
女子テニス部の顧問をしている。
何がヤバイというと、2013年4月から2015年3月まで宮前平中に働いていたらしく、女子中学生とsexしたことがバレて、飛ばされたから。
今でも教師を続けているのは何故だろう？
岩崎先生は、ツイッターとFacebookをやっていたらしいけど、炎上して辞めたっぽい。
岩崎先生の職場の電話番号も貼っとくね！
嘘だと思うなら電話してみたらいいよ！

03-3902-4411 ( 0339024411 )

http://i.imgur.com/mheppxU.jpg
http://i.imgur.com/R9jxdlk.jpg
http://i.imgur.com/pobkBUc.jpg
http://i.imgur.com/GP5iWsJ.jpg
http://i.imgur.com/s2uFcOW.jpg
http://i.imgur.com/KCsGd1p.png
http://i.imgur.com/nmdLkVp.png
http://i.imgur.com/bZrTWHI.jpg
http://i.imgur.com/n9WIRx0.jpg
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2018/09/27(木) 16:59:19.88

>>143
基本的な勘違いをしているが量子計算機ができてもNP完全問題は
多項式時間では解けないぞ (P≠NP予想が正しい場合)

**１３２人目の素数さん** · 2018/09/27(木) 17:59:17.57

量子コンピュータで解ける問題っていうのはまた別のクラスですでにあって、NPとの包含関係も調べられてた既ガス

**１３２人目の素数さん** · 2018/09/27(木) 18:01:01.25

そうね、殆どわかってないけどw

**sage** · 2018/09/27(木) 18:38:50.33

え？そうなんですか？
なんかNスペで量子コンピュータの特集やってたとき巡回セールスマン問題が多項式時間でとけるって言ってた記憶があるんですが、あれデタラメ？
まぁ、数理系のマスコミの情報って時々あてにならないけど。

a4 ◆L1L.Ef50zuAv · 2018/09/27(木) 19:04:14.90

>>150
僕も昔はそうだと思ってました。ところが、研究してみると、基本的には、
n個のイオンを用いて、2^n通りの中から1つの最適解を持ってくるのに、
n時間ではなく、2^(n/2)時間かかるコンピュータらしいです。
つまり、nが小さいときは確かに性能はいいですけど、qubitが増えても、
n>100くらいになると最適化は計算時間がかかり意味があまりありません。
この速さはノイズの問題ではなく、数学的限界です。ナマズが地震予知できるので、
特異点が神経についているのではないかと考え、これを用いて、この限界を克服し、
n時間で持ってきて作曲などに応用する研究をやっている研究会を僕は立ち上げて
います。
http://www.01ken.com/

**１３２人目の素数さん** · 2018/09/27(木) 19:21:54.73

リーマン予想と数オリって、どちらの方が難しいの？

学術 · 2018/09/27(木) 19:30:27.39

株式のｆｘ関数の方が実用的で分析哲学で論じたいぐらいだ。

学術 · 2018/09/27(木) 19:30:54.28

クワインなりともね。

学術 · 2018/09/27(木) 19:31:52.23

金にならないものは興味がわかない。賞金ぐらいじゃなあ。
再婚相手にも苦労するよ。

学術 · 2018/09/27(木) 19:32:43.17

トレーダーのコンピュも指標化されてるし。競馬にも応用がある。

学術 · 2018/09/27(木) 19:34:06.07

錬金なんて時代が古いけど、過去のある地点から現在の時間にはいる方が、最初の錬金術
より成功が難しくなっているはずだ。

学術 · 2018/09/27(木) 19:37:14.16

無限級数で思い出したけど、数学は無限を手に入れることはないし、無限を明らかにするのも
つまらないっ作業だ。想像力が膨れ上がることが、宇宙空間の悲劇で、
理論上は成立してても、実際のマネーの実体は、ふぬけで、膨張気味だと
見抜けないか？数学は所詮数式で論じた現実しか手に入らないんだよ。
だから数というモノが概念化されるといとおしいわけだな。

学術 · 2018/09/27(木) 19:38:11.94

有理数ともかかわってくる問題で、スペースを忘れ、スペースを走り回るのが
級数だって誰でも知っているだろう。

**１３２人目の素数さん** · 2018/09/27(木) 22:17:22.14

こんなことを数学板で書いたって、スルーされるのは分かってる。

実は高校のとき、基本的な某物理定数を導出してしまった。
で、精度だけど、当時の公的な値と、6桁…

**１３２人目の素数さん** · 2018/09/27(木) 23:13:56.02

>>151
そうなんや。perfect NPは多項式時間ではむりなんや。
でも決定的チューリングマシンよりは真に早いの？
つまり決定的チューリングマシンでは多項式時間では解けないけど、量子コンピュータなら多項式時間で解ける問題のクラスは空？or not空？

a4 ◆L1L.Ef50zuAv · 2018/09/27(木) 23:20:09.80

>>161
教科書とかに書いてあるのは、最適解探索はスパコンより速いこともある程度。
しかも使いづらい。でも、素因数分解は多項式時間になる。

**１３２人目の素数さん** · 2018/09/27(木) 23:27:34.38

都市伝説的にそういう解けるって噂が流れてたのはあったと思う

**１３２人目の素数さん** · 2018/09/27(木) 23:33:36.12

>>162
おススメの教科書とかあります？

**１３２人目の素数さん** · 2018/09/27(木) 23:41:00.97

>>164
僕が大学生の頃、教授に紹介してもらった書籍はこれです。表向きの本だと思っていますが、
一回は見ないといけない良書だと思っています。

Quantum Computation and Quantum Information
https://www.amazon.co.jp/Quantum-Computation-Information-10th-Anniversary/dp/1107002176

あとは好きな論文とか読んでいけば良いと思います。

a4 ◆L1L.Ef50zuAv · 2018/09/27(木) 23:41:44.19

あ、名前書き忘れた。>>165は僕です。

**１３２人目の素数さん** · 2018/09/27(木) 23:55:37.38

>>165
アザッス！時間作って挑戦してみます。

**１３２人目の素数さん** · 2018/09/28(金) 01:45:55.44

「無」と「数学の未解決問題全てを1分50秒で証明した人」はどっちの方が凄いですか？

**１３２人目の素数さん** · 2018/09/28(金) 02:41:23.25

もっとも一般的なリーマン予想はゲーデルの不完全性定理的な意味で解けないってこと？
てか一般的な場合ってどういうこと？

**１３２人目の素数さん** · 2018/09/28(金) 04:21:04.63

何これリーマン予想が正しいことを証明したのか決定的不能なことを証明したのかどっちだ？
>>7見ると前者だが、論文見ると後者だぞｗ
なんだコレｗｗｗｗｗ

単なる間違いだと思われ。

　

**１３２人目の素数さん** · 2018/09/28(金) 07:09:07.94

読んでないくせに

**１３２人目の素数さん** · 2018/09/28(金) 22:06:31.14

もうこの件についてのネタは出尽くしたと思っていい？

**１３２人目の素数さん** · 2018/09/29(土) 00:17:56.76

あちゃー！まいった

**１３２人目の素数さん** · 2018/09/29(土) 01:40:24.54

Atiyahの「証明」に関してScience誌のサイトにニュースが出てるね

https://www.sciencemag.org/news/2018/09/skepticism-surrounds-renowned-mathematician-s-attempted-proof-160-year-old-hypothesis

**１３２人目の素数さん** · 2018/09/29(土) 07:28:41.21

この問題が分からないので教えてください。お願いします。

相対無＝自分以外の何かが無いこと。
絶対無＝全てが無いこと。

・無というのは無いことなので、当たり前だが存在しない。
・つまりあるのは有だけというか有が全てになる。
・それを無と呼ぶ。
・そして、有の全てを「全」と呼ぶ。
・全は無限つまり永続性があるものなので、完全消滅は不可能。
・完全消滅できるのは有限なモノだけ。

例えばリンゴが目の前にあったとして、それを完全消滅させたらどう解釈することになるのか？
相対無になるのだろうか？そもそもそういったものを無と呼んで良いのだろうか？
仮にこれを無と呼んで良いのなら、これをリンゴという有限のものに限定しないで、
全に置き換えてみよう。しかし、全は無限つまり永続性のあるものなので完全消滅はできない。
しかし、一番最初の方に絶対無という概念を書いた。
絶対無とは全てが無いこと。
じゃあ、この絶対無という考え方が間違っているということなのだろうか？
相対無はどうだろう？
相対無というのは自分以外の何かが無いことなので、
一見この概念なら正しそうな気もするが、
例えばさっきの例のリンゴに関して言うと、
目の前にあるリンゴを完全消滅させたら、これをどう解釈するのかが無に対する考え方が異なるため難しくなる。
目の前にあるリンゴを完全消滅させて、それを相対無と呼ぶのなら、
＞・無というのは無いことなので、当たり前だが存在しない。
この考え方がおかしくなるのだが、そうすると、目の前にあるリンゴを完全消滅させた場合、
それをどう解釈するのかが分からなくなってくる。
＞・無というのは無いことなので、当たり前だが存在しない。
これを継承して、且つ無と言うのは相対的な無だけつまり相対無だけがあり得るとし、
絶対無というのはあり得ないとするか、
そもそも、
＞・無というのは無いことなので、当たり前だが存在しない。
これ自体が絶対無で、現在あるものが無になることを相対無と呼ぶのかなど、
いろいろ考えられるが、今現在はまだはっきりしていない。

**１３２人目の素数さん** · 2018/09/29(土) 10:13:15.65

>>171
お前がだろアホがｗ
>>174の記事にしたって数学者がみんな疑ってるって記事だぞ。

**１３２人目の素数さん** · 2018/09/29(土) 10:19:10.57

論文見ると、はやっぱり嘘なのね
記事見ると、に直しとけよゴミ

**１３２人目の素数さん** · 2018/09/29(土) 11:35:15.97

>>172
一応Atiyahはもっと長い証明をちゃんと書いた論文を誰かに送ったらしい
完全な論文を待って結論を出すのが筋ではある

まあ証明になってないだろうとは思っている
発表前からトンデモだろうと予想されていて、やっぱりそうだったという話

**１３２人目の素数さん** · 2018/09/29(土) 13:59:07.46

>>177
それより猿は臭いから死ねよｗ

**１３２人目の素数さん** · 2018/09/29(土) 14:20:16.58

>>178
噂ばなしのフェイクだな
具体性が全くない
誰に送ったの？

**１３２人目の素数さん** · 2018/09/29(土) 14:43:03.66

>>180
知らん奴ほど偉そうに煽ってくるなw
メリーランドの物理学者（で見当がつく人なら意味がわかる

>>178に一つ間違いがあって、まだ送ってないが「送る」と言ってるだけだった
その点はすまん

**１３２人目の素数さん** · 2018/09/29(土) 15:53:14.23

>>181
なんだ、論文読んでいないことがわかった

**１３２人目の素数さん** · 2018/09/29(土) 16:56:19.96

ぽあんかれのときも数年検証していたし、今回も成否は時間かかるのかね。
ペケルマンあたりなら目を通してわかってくれそうだけど。

**１３２人目の素数さん** · 2018/09/29(土) 17:33:08.93

ペレリマンは密かにリーマン予想に取り組んでるよ
そして、完成してるそうだ

**１３２人目の素数さん** · 2018/09/29(土) 18:25:01.62

ペケルマン草
次どこの監督やるんだろうな

**１３２人目の素数さん** · 2018/09/29(土) 18:44:56.74

単著なの？

**１３２人目の素数さん** · 2018/09/29(土) 18:56:13.79

ペレリマンは25時間、数学やってるよ
まさに鬼神の如くな

**１３２人目の素数さん** · 2018/09/29(土) 20:03:39.28

>>105
無次元ってどゆこと？

**１３２人目の素数さん** · 2018/09/29(土) 20:07:05.67

>>113
全然違う
何を勉強してきたんだよ。
「自然科学と密接に結びついてるかもしれないロマン溢れる理論」てなんだよ。

自然科学のメカニズムを数式解釈するのが数学だろ。

自然科学と結びついてない理論って逆になんのことだよ

**１３２人目の素数さん** · 2018/09/29(土) 20:57:27.73

>>189
は？

**１３２人目の素数さん** · 2018/09/29(土) 22:00:39.90

>>181
ハイそれお前ｗ

**１３２人目の素数さん** · 2018/09/29(土) 22:04:52.77

いやそれ俺だから

**１３２人目の素数さん** · 2018/09/29(土) 22:24:37.41

>>189
＞自然科学のメカニズムを数式解釈するのが数学だろ。
いいえ違います

＞自然科学と結びついてない理論って逆になんのことだよ
代数スタックがどう自然科学とどう結びついてるの？
まさか数理物理(理論物理)なんて言わないよね？

**１３２人目の素数さん** · 2018/09/29(土) 22:46:43.38

>>1
証明が正しいかどうかはわからないが、
アティヤ先生の主張では、リーマン予想は、
ZFC公理系に対して独立なformulaということだろう。
このこと自体は、いかにもありそうなことに思える。

**１３２人目の素数さん** · 2018/09/29(土) 22:52:46.86

ZFだろ？

**１３２人目の素数さん** · 2018/09/30(日) 02:14:16.47

>>194
独立って？

**１３２人目の素数さん** · 2018/09/30(日) 04:31:37.87

>>196
連続体仮説とかと一緒なんじゃね？
ZFCにおいては証明も反証も出来ない

**１３２人目の素数さん** · 2018/09/30(日) 08:48:09.57

微細構造定数の論文？(17ページの方)を見てさっぱり分からなかったのだけど
QED（証明終わりでなく量子電磁気学）がどこにも出てきてないのだが
どうやって出してるのん？
何かしら新たな仮定なり何なりが必要なはずだが

学術 · 2018/09/30(日) 09:02:39.28

さいころ転がす博徒から進んでいくんだろうな。数女は。

**１３２人目の素数さん** · 2018/09/30(日) 12:23:54.14

>>193
理論物理は自然科学じゃないんや