◎正当な理由による書き込みの削除について:      生島英之とみられる方へ:

Michael F. Atiyahがリーマン予想を証明しました。 ->画像>24枚


動画、画像抽出 || この掲示板へ 類似スレ 掲示板一覧 人気スレ 動画人気順

このスレへの固定リンク: http://5chb.net/r/math/1537516085/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

1132人目の素数さん2018/09/21(金) 16:48:05.78ID:j6XX6WhY
検証しましょう。

2学術2018/09/21(金) 16:55:37.97ID:AzK+Q3eB
不動産の賃買契約の方が面白いと思う。内装家具、趣味、も含めて。

3132人目の素数さん2018/09/21(金) 17:28:16.73ID:K/b2AVme

4132人目の素数さん2018/09/21(金) 21:08:10.97ID:QFmjGbW9
誤証明の前科ってのはなんだっけ?

5132人目の素数さん2018/09/21(金) 22:33:38.84ID:jvUiBZS8
「素数 の分布に関するところに間違いがある」

6132人目の素数さん2018/09/22(土) 15:06:38.09ID:KIysxIml
素数は実は有限

7132人目の素数さん2018/09/22(土) 22:57:04.79ID:4sMXXlNt
Dirac (1928)
von Neumann (1936)
Hirzebruch (1954)
を参考にしてシンプルに証明できるそうだぞ

アティヤ先生が発表する前に誰か解いてしまえ
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚

8132人目の素数さん2018/09/23(日) 01:46:31.47ID:BMk1MnkQ
>>4
がいふくそこうぞうのやつだっけ

9132人目の素数さん2018/09/23(日) 07:43:21.08ID:xBCN748C
アティヤがあちゃー

10132人目の素数さん2018/09/23(日) 08:06:06.45ID:Je70ClPb
hahaha

11132人目の素数さん2018/09/23(日) 08:18:42.02ID:MX7v2qMx
数学者にも認知症ってあるのかな?

12132人目の素数さん2018/09/23(日) 19:32:41.67ID:uN5miIY2
明日夜の Atiyah の講演が楽しみだwktk

13132人目の素数さん2018/09/23(日) 20:44:07.97ID:dOakTVr1
89歳か、、、ようやるわw

14132人目の素数さん2018/09/24(月) 00:40:02.14ID:ZCt/CNLt
死ぬ前に何が何でもって感じなんだろうね
かつてナッシュもド・ブランジュも
解決を主張した

15132人目の素数さん2018/09/24(月) 01:09:43.91ID:FiHmfLO8
本当は証明できとらんことは分かっとるんじゃ
じゃが、そう言うてしもうと注目されん
最後に注目を集めて次の世代に託したい
これはわしの遺言じゃ...

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

16132人目の素数さん2018/09/24(月) 04:50:32.19ID:ikebukok
>>9
きみは5ちゃんに必要な人間だと思っとったのに...情けない。

(ノ∀`)アチャー

17132人目の素数さん2018/09/24(月) 15:04:42.94ID:dXVz4E/6
もう始まっているんですかね?

18132人目の素数さん2018/09/24(月) 15:33:06.72ID:vBzjLKXM
>>17
日本時間で9月24日(月)の午後4時45分~5時30分らしいです
http://twitter.com/active_galactic/status/1044097199359971328
https://twitter.com/5chan_nel (5ch newer account)

19132人目の素数さん2018/09/24(月) 17:06:58.35ID:vBzjLKXM
今やってるらしい
http://www.pscp.tv/w/1zqJVLeqXYDKB

20132人目の素数さん2018/09/24(月) 17:23:29.35ID:uduZsJ/e
普通に考えてこれ指数定理にかなり関わった理論のはずだが、
アティヤの過去の仕事を踏まえて、ノイマンの代数と指数定理を単純な理論で
十分にリンクさせられるとは思えないね
合ってたらどうしようね

21132人目の素数さん2018/09/24(月) 17:24:39.63ID:Yrn0jcmA
動画で見ると20歳以上若くみえる

22132人目の素数さん2018/09/24(月) 17:31:18.11ID:SHM7JnQY
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)

23132人目の素数さん2018/09/24(月) 17:38:26.66ID:SHM7JnQY
結局、「Todd functionの定義は何?」という問題に戻るのかよw

24132人目の素数さん2018/09/24(月) 17:39:31.35ID:pM+eWiEr
怪しいな

25132人目の素数さん2018/09/24(月) 17:45:22.45ID:uduZsJ/e
駄目だなw
だが、フレームが適切な辺りさすがだよ

26132人目の素数さん2018/09/24(月) 17:48:51.39ID:p0p/W/B8
アティヤ卿の講演、
モンティ・パイソンの哲学者サッカーを観ている気がするのは俺だけか?

27132人目の素数さん2018/09/24(月) 18:35:53.57ID:B/YKqAl3
エディントン狂わせた微細構造定数

28132人目の素数さん2018/09/24(月) 19:05:54.92ID:dXVz4E/6
結局、間違いがあったのですか?どうなんですか?

29132人目の素数さん2018/09/24(月) 19:12:09.25ID:5G//x0L5
物理の話だったのか。ポアンカレのときみたいだな。否定的な見方の方が多いみたいだけど、検証作業は本格化されるんだろうか。

30132人目の素数さん2018/09/24(月) 19:14:26.66ID:JPx4WpIO
>>1
アティヤ先生、証明の完成おめでとうございます。
今年は、世界の数学界にとって最高の年になりました。
本当におめでとうございます。

31132人目の素数さん2018/09/24(月) 19:16:26.49ID:OGMohd+D
わからないバカが賞賛してもなあ

32132人目の素数さん2018/09/24(月) 19:16:51.89ID:FiHmfLO8
日本人で言うと加藤一二三九段みたいなものか?

33132人目の素数さん2018/09/24(月) 19:17:49.36ID:SHM7JnQY
トッド函数:Td(x) = x / (1 - exp(-x))

34132人目の素数さん2018/09/24(月) 19:30:39.49ID:jx4j9CxP
ざっと見たがかなり胡散臭いな。
関数Tの基本的な性質を勘違いしてるんじゃないか。
こんな証明が成立するなら大昔にとっくに解かれてるだろう。

35132人目の素数さん2018/09/24(月) 19:37:20.17ID:zLBJ65xH
アティアは歴史的な偉業を成し遂げたね。

36132人目の素数さん2018/09/24(月) 19:37:58.64ID:SWWt9H2O
フランスでなく英国なんだな
プリンキピアの伝統があるわ。

37132人目の素数さん2018/09/24(月) 19:55:40.89ID:jx4j9CxP
どこに函数がzetaであることが効いているのかも不明。
critical line上のゆるい性質しか使ってないよね。
あっという間に反証されそうな悪寒

38132人目の素数さん2018/09/24(月) 19:58:21.34ID:dXVz4E/6
>>37

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

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

39132人目の素数さん2018/09/24(月) 21:11:44.95ID:NRBrHhzA
dXVは数学の本スレを荒らしてる馬鹿なので餌を与えないでください

40132人目の素数さん2018/09/24(月) 21:47:28.81ID:31pE0NQ3
結局どうなったんや?

41132人目の素数さん2018/09/24(月) 21:48:28.76ID:u3Yx9pR4
反論多め
arXivにリジェクトされたしリーマン予想は厳しそう

42132人目の素数さん2018/09/24(月) 21:54:41.37ID:dXVz4E/6
余程自信がないと発表しないはずですよね。

43132人目の素数さん2018/09/24(月) 22:00:15.90ID:SWWt9H2O
>>41
アティヤはarxivに投稿していた?

44132人目の素数さん2018/09/24(月) 22:02:58.31ID:FiHmfLO8
リーマン予想はボーナスだって書いてたよね
物理が主で数論はオマケみたいな意識が残念
数論的な深い構造が垣間見えなかったのも残念

45132人目の素数さん2018/09/24(月) 22:25:46.65ID:SWWt9H2O
英国のディラック、量子力学は離散だからね。
数論も日本と素養が違うな。

46132人目の素数さん2018/09/24(月) 22:29:55.06ID:NRBrHhzA
アーカイブにリジェクト?何言ってんの?

47132人目の素数さん2018/09/24(月) 22:30:55.52ID:XNNzB616
>>41
どんな感じの反論あった?やっぱTodd関数関連かね?

48132人目の素数さん2018/09/24(月) 22:36:37.92ID:ZbHN9hyb
arXivでリジェクトとかあるんだ

49132人目の素数さん2018/09/24(月) 22:41:08.31ID:hvy9uoh5
あまりひどいとBANされるとは聞いたことがある

50132人目の素数さん2018/09/24(月) 23:00:25.47ID:SWWt9H2O
>>47
多項式とかw

51132人目の素数さん2018/09/24(月) 23:09:22.98ID:+3JTrSX3
weakly analytic function がよう分からん。
TはCの任意のコンパクト集合上で解析的なのに全体では違うのか?

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

53132人目の素数さん2018/09/24(月) 23:21:20.35ID:+TiTYGw9
arxivは自動rejectでしょう
リーマンがタイトルで短くて数式少な目では自動ban

54sage2018/09/24(月) 23:23:15.54ID:xTjzda9U
>>53
>リーマンがタイトルで短くて数式少な目では自動ban

そんな機能あるんだww

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

56132人目の素数さん2018/09/25(火) 00:00:02.01ID:qBLen48J

57132人目の素数さん2018/09/25(火) 00:07:55.19ID:qBLen48J
arXivの話は知らんけど、モデレーターにリジェクトされる事は有るみたいだね。
なんかarXivで拒否られたのに普通のジャーナルに載ったでとか出てきたw

58132人目の素数さん2018/09/25(火) 00:46:58.08ID:YHgYDqsR
>>55
「絶対カシミール元」が香ばしい表題でわざわざ書かれたのにトンデモとトンデモと学会が釣れなくて黒山他人重さんの中の人もさぞやがっかりだったでしょうな。

59132人目の素数さん2018/09/25(火) 00:48:35.27ID:N28pHogR
>>56
ありがとう、助かりました

60132人目の素数さん2018/09/25(火) 00:57:51.66ID:0E/q0sEG
ディラック作用素のアノマリーで
超対称性量子力学を多様体上で経路積分し
不変量を求める。
次に 数学の指数定理の証明では 数学の論理に
上げる。
物理の「証明」→数学の「証明」は
方針としてありえる。

61132人目の素数さん2018/09/25(火) 01:07:28.88ID:0E/q0sEG
>>58
くりこみ 言うならウィルソンのくりこみから
勉強しないとね、、

62132人目の素数さん2018/09/25(火) 03:32:27.36ID:5lTzsVf1
リーマン予想に関わると狂気に陥る説があったよな。。

63132人目の素数さん2018/09/25(火) 05:21:02.03ID:DT/g1fdZ
超巨大有人宇宙船を開発したい。

64132人目の素数さん2018/09/25(火) 07:59:00.95ID:rwesI4Rk
>>62
実際にバタバタ有能な人間が倒れていった
呪いじゃ・・・これに手を出してはいかんのじゃ・・・

65132人目の素数さん2018/09/25(火) 09:05:55.85ID:GBa58Xz7
嫌儲はオカルト未満の妄想統失患者しかいなくて草

66132人目の素数さん2018/09/25(火) 09:20:18.89ID:uq8g29rI
これ、半分安倍みたいなものだろ

67132人目の素数さん2018/09/25(火) 09:31:09.13ID:qBLen48J
>>66
ものすごい実績の大宰相という事になるがw

68132人目の素数さん2018/09/25(火) 10:27:54.93ID:8kiaQvAl
>>57
自分が前に書いた論文と序文などが似てると、コピペと判定される
BANされなかったが、警告メールをもらった
同一テーマでシリーズ論文書くときは要注意
もちろん雑誌投稿では問題にされない
arxivは内容を見ずに形式ではねる

69132人目の素数さん2018/09/25(火) 10:37:01.03ID:fhBtBKjM
安倍の支持層というのは、はっきり言って「質が悪い」。


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


「反日!」

「パヨク!」


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


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

70132人目の素数さん2018/09/25(火) 11:02:31.62ID:/AM3T13t
山尾志桜里(衆愛知7区)「安倍首相は不誠実。石破氏の方が議論できる」

71132人目の素数さん2018/09/25(火) 11:52:09.09ID:Q16r/VgS
なんでパヨクイライラしてんの?

72132人目の素数さん2018/09/25(火) 12:04:26.42ID:vQxpLCml
嫌儲から来たがこれ証明できると世の中何か劇的に変わるやつ?頭弱すぎて全然わからん

73132人目の素数さん2018/09/25(火) 12:04:36.45ID:PLYIJ6YE
以下、最も自由な数学スレは最も不自由な政治スレになります。

74512018/09/25(火) 12:50:42.39ID:qBLen48J
これはひょっとしてコンパクト集合上の複素ベクトル束でトッド多項式が得られる
ってな事なのかな?analyticを別の意味で使っててTもトッド関数と言うより
トッド類?だめだ、数学ぜんぜん分からん。

75132人目の素数さん2018/09/25(火) 13:17:27.17ID:LF08mPRZ
>>60
いつになったら経路積分の数学的厳密な定式化はなされるん?
数学者さぼってるん?

76132人目の素数さん2018/09/25(火) 13:43:09.33ID:Ih+QWl57
>>65
おまいが余計なこと言うからケンモメン召喚されてるやん

77132人目の素数さん2018/09/25(火) 14:10:18.40ID:yQsgfXkb
ここ含め、誰もまじめに検証しようとしてないようだけど、要は「お察し」ということなの?

78132人目の素数さん2018/09/25(火) 14:19:25.51ID:tIAtwSWf
アティヤシンガーの指数定理のアティヤ?

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

>>78
はい

80132人目の素数さん2018/09/25(火) 14:36:10.37ID:fmpjfoXH
これ検証したという人全然いないけど、論文はごく短いけどやっぱり検証するのは大変なの?それとも専門的過ぎて検証できる人が極々僅かとか?

81132人目の素数さん2018/09/25(火) 14:41:40.51ID:tIAtwSWf
>>79
さんくす。存命だったとは。今指数定理の勉強しようとし始めたところだからびっくらこいた

82132人目の素数さん2018/09/25(火) 16:10:40.17ID:SVlweLkD
>>75
実は知り合いがアイデアがあると言ってるんだが、聞く限り異質な理論だし
時間がかかりそうだ。簡単に言うとコンヌの非可換幾何を更に一般化する
それくらいしないとわからない可能性がある現象なんだな

83132人目の素数さん2018/09/25(火) 16:14:31.96ID:SVlweLkD
また、経路積分はただの測度論ではないだろうという感覚はかなりの人間が抱いている
これは突き詰めると不確定性が何に由来するかという問題だからね。スレチでしたが

84132人目の素数さん2018/09/25(火) 18:19:38.34ID:IHqtq92p
>>82
今世紀中に解決できそうだなよかった

85132人目の素数さん2018/09/25(火) 18:49:42.99ID:tNzAW5mJ
高校生でもビオ・サバールで習うあの定数が導けるというのもとんでもない話で
トンデモ×トンデモで真理に辿りついたのかこれ
まあもし証明に穴があってもアイデアは生き残っていくかもな

86132人目の素数さん2018/09/25(火) 19:05:39.17ID:yQsgfXkb
ビオサバールの法則は高校の範囲じゃないし、ビオサバールの法則に微細構造定数は出てこないでしょ。

87132人目の素数さん2018/09/25(火) 19:50:43.10ID:vmHM5Yxg
>>85
宇宙際タイヒミュラー理論にぴったり

88132人目の素数さん2018/09/25(火) 21:49:24.06ID:k1lYJe9j
最強の概念って何ですか?
「無」ですか?

89132人目の素数さん2018/09/25(火) 22:36:01.20ID:qBLen48J
>>88
概念という概念は全ての概念を包含するのでさいつよかもしれん。
が、無になればそれを打破できる。
無という概念は弱い。
が、無に「なれ」ば強く、そして強くなく、強くないもまた無い。合掌。

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

90132人目の素数さん2018/09/25(火) 22:39:48.45ID:jX4PABoY
つうかFSCを解明したらノーベル賞だろw

91132人目の素数さん2018/09/25(火) 22:40:26.97ID:X/lNUuik
全は概念という概念をも包含する上に、全ての物理的実体なども包含するから全が最強か?

92132人目の素数さん2018/09/25(火) 22:56:47.63ID:O29r21Cw
>>32
割りと正しい

93132人目の素数さん2018/09/25(火) 22:58:24.42ID:O29r21Cw
>>38
>有名な数学者が高齢とはいえ、簡単に反証されるようなことを書きますかね?
おれ
ある有名な先生が壇上で講演して
即座に座長に間違いを指摘されてたのを見たときある
高名とか関係ないがな

94132人目の素数さん2018/09/25(火) 22:59:02.43ID:O29r21Cw
>>41
>arXivにリジェクトされたしリーマン予想は厳しそう
arXivってリジェクトってあるのか?

95132人目の素数さん2018/09/25(火) 23:00:02.48ID:O29r21Cw
>>53
しらんかった
それホントなの?
まあホントだとしてもおかしくはないか

96132人目の素数さん2018/09/25(火) 23:01:57.31ID:O29r21Cw
今現在
岡山でホットな話題なのかな?

97132人目の素数さん2018/09/25(火) 23:33:11.88ID:NZY757fg
全って最強なの?
全てということは、最強も最弱も普通もその他もいろいろとにかく全てを含むけど、
総合的に見たらやっぱり最強なの?

98132人目の素数さん2018/09/26(水) 00:09:52.75ID:ICknp4jG
>>95
RHでも載っけてくれるvixraがどうなっているか
"vixra.org riemann hypothesis"でググれ

99132人目の素数さん2018/09/26(水) 00:33:14.18ID:O9ZbMvoO
黒川先生はこういうの見て苦笑するタイプw

100132人目の素数さん2018/09/26(水) 00:46:17.48ID:sXnV+gy7
日本語で証明してくれよ

101132人目の素数さん2018/09/26(水) 00:51:06.55ID:TUErO5jh
>>99
真空のゆらぎを見て、、あ、1/2が、、

102132人目の素数さん2018/09/26(水) 01:08:26.51ID:0Us3FTd5
結局これガセだったの?
一日たったんだから真偽はっきりして

103132人目の素数さん2018/09/26(水) 01:12:19.58ID:ICknp4jG
ガセ以前に「証明」と言えるものが何もない
大先生じゃなかったら黙殺されるレベル

104132人目の素数さん2018/09/26(水) 01:52:36.91ID:u24AtJNa
最強の概念って何?全?

105132人目の素数さん2018/09/26(水) 02:41:49.74ID:/bEaPccy
物理の「証明」から数学の証明 はあるが、
Atiyahのpreprintは「見解」だろ。
もし計算も含め詳しい過程の数学論文
が王立協会へ提出されたら査読される。
シンプルだから間違いは はっきりする。

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

106132人目の素数さん2018/09/26(水) 09:16:18.23ID:GioIuhsf
何も導出してない

107132人目の素数さん2018/09/26(水) 11:23:27.51ID:Fs0imbPn
アティア爺さん、結局、耄碌してんだと思うけど、
それでも俺より頭いいわwww

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

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

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

109132人目の素数さん2018/09/26(水) 12:40:47.21ID:ITrW77JD
>John Baez

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

110132人目の素数さん2018/09/26(水) 14:08:29.08ID:P4mMJBRC
オワコンジジイの妄言だったの?

111132人目の素数さん2018/09/26(水) 14:19:29.78ID:R5Az0V52
ニュートン万有引力の法則 を生んだ英国
らしい発想からの間違いだろうw

112132人目の素数さん2018/09/26(水) 14:23:40.56ID:xZfnBOKB
殆ど証明の体ではないので検証するしないという話でもない
観察記録のほうが近い

113132人目の素数さん2018/09/26(水) 14:30:39.38ID:oV/Duiv6
ちょっとニコ動で勉強してきた
要はリーマン予想ってのは自然科学と密接に結びついている
かもしれないロマン溢れる理論予想で、それが解かれるのは
超ど級の理論でドラマチックな展開が期待されてる?
だから今回の片手間みたいなので解けました!ってのは正直
やめてくれいっってな感じかな?

114132人目の素数さん2018/09/26(水) 14:36:35.48ID:w2NE/7Rs
リーマン予想が解かれれば世界が変わるというのはちょっと違う
リーマン予想はかなり基本的なことを言っている
つまり、人類はそんな基本的なこともまだ分かっていないということ
だから、解かれたらやっと数学なり物理なりが基本的なレベルに到達したって感じ
人類は現在まだまだ愚かだってことさ

115132人目の素数さん2018/09/26(水) 15:37:01.68ID:xZfnBOKB
どの程度の理論で解けるかもよくわからないからな
解析寄りのアプローチが物理に近いので魅力かあるが、ペレルマンと逆に
アティヤのようなトポロジーで解ける可能性も十分にある

116132人目の素数さん2018/09/26(水) 15:47:03.78ID:0DmsLQyH
昔は凄かったのに老衰してしまった姿を見て、直接は何も言えなくなってしまう気持ちは分かる

117132人目の素数さん2018/09/26(水) 17:37:39.63ID:AZoZt1eF
>>114
逆に、微細構造定数の導出の方が衝撃的だよなあ。
これを元に、いろんな物理理論が進展する可能性がある。

118132人目の素数さん2018/09/26(水) 17:43:25.50ID:bej/Qgpb
あれを導出って言っていいんか?w

119132人目の素数さん2018/09/26(水) 18:04:59.11ID:Uhlc4w2l
実際論文に従って数値計算してみた人の結果がα=6ぐらいっていうw

120132人目の素数さん2018/09/26(水) 18:26:42.20ID:xZfnBOKB
触発されてコンヌ爺さんがハッスルしちゃうなあ

121132人目の素数さん2018/09/26(水) 18:26:45.52ID:ICknp4jG
>>112
夏休みの宿題・Atiyahの観察日記

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

122132人目の素数さん2018/09/26(水) 18:28:15.22ID:vSCXcd1D
>>119
131も足らないではないか

123132人目の素数さん2018/09/26(水) 19:08:32.66ID:Uhlc4w2l
>>121
うんまあそれ1/αの方だけどね。そっちだと0.16ぐらいw

1241232018/09/26(水) 19:47:39.65ID:Uhlc4w2l
アンカ間違えた
>>122
ね。

125132人目の素数さん2018/09/26(水) 20:04:35.91ID:OBTLFSRn
うぁあ

126a4 ◆L1L.Ef50zuAv 2018/09/26(水) 20:12:05.38ID:e495nSpm
リーマン予想は解けない問題であると信じた上で、解くための人工知能を5chの
プログラム技術板で創ってる者です。こちらのスレでやってます。
http://2chb.net/r/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)
は成り立つのか。
などの疑問が出ます。どなたか教えていただければ幸いです。

127132人目の素数さん2018/09/26(水) 20:43:26.70ID:X2xUgBKN
今回思ったこと
ゲルファントの偉大さ

128132人目の素数さん2018/09/26(水) 20:48:17.12ID:dhmBOzYP
俺はジークフリートの一枚葉を奇矯御前から聞き出すように感じた炎。

129132人目の素数さん2018/09/26(水) 22:54:28.44ID:Uhlc4w2l
>>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+」
です。
はい、分かりません。私ではまったく。

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

130132人目の素数さん2018/09/26(水) 22:56:28.33ID:dhmBOzYP
エクセントリックな中心拡大。

131132人目の素数さん2018/09/26(水) 23:25:46.81ID:jLHtVrLB
一般ニュースでは
89歳のおじいちゃんww

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

132132人目の素数さん2018/09/27(木) 00:09:08.16ID:HJ2hOIZJ
>>127
ゲルファントほどでなくても100歳近くまで研究をして
まともだった人は何人かいるから個人差が大きいのだろう
あるいは全く表舞台に出ない人も賢い

133132人目の素数さん2018/09/27(木) 01:06:52.58ID:q7mLb2Sl
>>129
Dirac、、の原論文を読んで報告頼む

134132人目の素数さん2018/09/27(木) 02:10:53.21ID:WjiZccEA
俺も数学の定数を使って微細構造定数(の逆数)表してみたわ
((π^2*(π+e)))/(π-e)+(π^2*(π-e))/(π+e)+(((π-e)*(π+e)-π^2)/(π^2*(π-e)*(π+e)))

135132人目の素数さん2018/09/27(木) 03:18:44.28ID:7YOH+E82
P≠NP予想の証明に取り掛かろうと思うのですが、これを証明するにはまずは何を勉強した方が良いのでしょうか?
数学だけでなく計算機科学とか物理学も勉強した方が良いですか?

136132人目の素数さん2018/09/27(木) 03:34:58.86ID:hu9IM0y1
Atiyah「オレにはもう数学が…よくわからんのよ…!」

137132人目の素数さん2018/09/27(木) 07:32:27.36ID:d0DnKXxi
アカギ乙

138132人目の素数さん2018/09/27(木) 07:35:26.91ID:8g0OlMXK
微細構造定数の意義わからん池沼 大杉

139132人目の素数さん2018/09/27(木) 07:45:30.35ID:qY+FsZoN
Atiyah「ワシの居場所はどこや?」
聴衆「さぁ…あってぃや ないか?」

140132人目の素数さん2018/09/27(木) 07:54:12.09ID:8g0OlMXK
>>138
つづき
世俗すぎる錬金術発の化学分野とか

141132人目の素数さん2018/09/27(木) 11:50:31.98ID:8g0OlMXK
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

142132人目の素数さん2018/09/27(木) 14:52:21.92ID:m4w6NH0l
>>135
色々じわるレス

143132人目の素数さん2018/09/27(木) 14:57:01.11ID:G0UJD3+f
>>142>>135
実際問題として量子物理学と計算機科学の合いの子的な果実結実ともいえる量子コンピューターが出来上がればNP問題も多項式時間で解けるのでだんだんますます意味のない問題になるよね。

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

145132人目の素数さん2018/09/27(木) 15:42:41.28ID:m4w6NH0l
>>143
いや、長期的に見ればそうとも言い切れない
数学的な着想は残るし、量子計算も物理を含めて過渡的なアーキテクチャである可能性が高い
そうしたときにも常に数学的な本質は残って部品になっていく

146132人目の素数さん2018/09/27(木) 16:57:45.85ID:tFg6wit/
http://2chb.net/r/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 )

Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
Michael F. Atiyahがリーマン予想を証明しました。 	->画像>24枚
https://twitter.com/5chan_nel (5ch newer account)

147132人目の素数さん2018/09/27(木) 16:59:19.88ID:9+Rj/2N4
>>143
基本的な勘違いをしているが量子計算機ができてもNP完全問題は
多項式時間では解けないぞ (P≠NP予想が正しい場合)

148132人目の素数さん2018/09/27(木) 17:59:17.57ID:+2sSLzBW
量子コンピュータで解ける問題っていうのはまた別のクラスですでにあって、NPとの包含関係も調べられてた既ガス

149132人目の素数さん2018/09/27(木) 18:01:01.25ID:m4w6NH0l
そうね、殆どわかってないけどw

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

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

152132人目の素数さん2018/09/27(木) 19:21:54.73ID:QFLhz6Ch
リーマン予想と数オリって、どちらの方が難しいの?

153学術2018/09/27(木) 19:30:27.39ID:8ZNOee3m
株式のfx関数の方が実用的で分析哲学で論じたいぐらいだ。

154学術2018/09/27(木) 19:30:54.28ID:8ZNOee3m
クワインなりともね。

155学術2018/09/27(木) 19:31:52.23ID:8ZNOee3m
金にならないものは興味がわかない。賞金ぐらいじゃなあ。
再婚相手にも苦労するよ。

156学術2018/09/27(木) 19:32:43.17ID:8ZNOee3m
トレーダーのコンピュも指標化されてるし。競馬にも応用がある。

157学術2018/09/27(木) 19:34:06.07ID:8ZNOee3m
錬金なんて時代が古いけど、過去のある地点から現在の時間にはいる方が、最初の錬金術
より成功が難しくなっているはずだ。

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

159学術2018/09/27(木) 19:38:11.94ID:8ZNOee3m
有理数ともかかわってくる問題で、スペースを忘れ、スペースを走り回るのが
級数だって誰でも知っているだろう。

160132人目の素数さん2018/09/27(木) 22:17:22.14ID:7sMd/Kus
こんなことを数学板で書いたって、スルーされるのは分かってる。



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

161132人目の素数さん2018/09/27(木) 23:13:56.02ID:Ic+QEYHL
>>151
そうなんや。perfect NPは多項式時間ではむりなんや。
でも決定的チューリングマシンよりは真に早いの?
つまり決定的チューリングマシンでは多項式時間では解けないけど、量子コンピュータなら多項式時間で解ける問題のクラスは空?or not空?

162a4 ◆L1L.Ef50zuAv 2018/09/27(木) 23:20:09.80ID:QdZH1KdC
>>161
教科書とかに書いてあるのは、最適解探索はスパコンより速いこともある程度。
しかも使いづらい。でも、素因数分解は多項式時間になる。

163132人目の素数さん2018/09/27(木) 23:27:34.38ID:aCbojoOa
都市伝説的にそういう解けるって噂が流れてたのはあったと思う

164132人目の素数さん2018/09/27(木) 23:33:36.12ID:Ic+QEYHL
>>162
おススメの教科書とかあります?

165132人目の素数さん2018/09/27(木) 23:41:00.97ID:QdZH1KdC
>>164
僕が大学生の頃、教授に紹介してもらった書籍はこれです。表向きの本だと思っていますが、
一回は見ないといけない良書だと思っています。

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

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

166a4 ◆L1L.Ef50zuAv 2018/09/27(木) 23:41:44.19ID:QdZH1KdC
あ、名前書き忘れた。>>165は僕です。

167132人目の素数さん2018/09/27(木) 23:55:37.38ID:Ic+QEYHL
>>165
アザッス!時間作って挑戦してみます。

168132人目の素数さん2018/09/28(金) 01:45:55.44ID:nYhI5qFO
「無」と「数学の未解決問題全てを1分50秒で証明した人」はどっちの方が凄いですか?

169132人目の素数さん2018/09/28(金) 02:41:23.25ID:Ve5SD749
もっとも一般的なリーマン予想はゲーデルの不完全性定理的な意味で解けないってこと?
てか一般的な場合ってどういうこと?

170132人目の素数さん2018/09/28(金) 04:21:04.63ID:AnWTMNEs
何これリーマン予想が正しいことを証明したのか決定的不能なことを証明したのかどっちだ?
>>7見ると前者だが、論文見ると後者だぞw
なんだコレwwwww


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


 

171132人目の素数さん2018/09/28(金) 07:09:07.94ID:xiYt+0DA
読んでないくせに

172132人目の素数さん2018/09/28(金) 22:06:31.14ID:nhfqwCJ2
もうこの件についてのネタは出尽くしたと思っていい?

173132人目の素数さん2018/09/29(土) 00:17:56.76ID:DDm/ULxI
あちゃー!まいった

174132人目の素数さん2018/09/29(土) 01:40:24.54ID:8iFcSrfx
Atiyahの「証明」に関してScience誌のサイトにニュースが出てるね

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

175132人目の素数さん2018/09/29(土) 07:28:41.21ID:RzsrefTj
この問題が分からないので教えてください。お願いします。

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

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

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

176132人目の素数さん2018/09/29(土) 10:13:15.65ID:UONFK7zi
>>171
お前がだろアホがw
>>174の記事にしたって数学者がみんな疑ってるって記事だぞ。

177132人目の素数さん2018/09/29(土) 10:19:10.57ID:BFRyjnA9
論文見ると、はやっぱり嘘なのね
記事見ると、に直しとけよゴミ

178132人目の素数さん2018/09/29(土) 11:35:15.97ID:OBn6QMVK
>>172
一応Atiyahはもっと長い証明をちゃんと書いた論文を誰かに送ったらしい
完全な論文を待って結論を出すのが筋ではある

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

179132人目の素数さん2018/09/29(土) 13:59:07.46ID:UONFK7zi
>>177
それより猿は臭いから死ねよw

180132人目の素数さん2018/09/29(土) 14:20:16.58ID:oku1/M2o
>>178
噂ばなしのフェイクだな
具体性が全くない
誰に送ったの?

181132人目の素数さん2018/09/29(土) 14:43:03.66ID:OBn6QMVK
>>180
知らん奴ほど偉そうに煽ってくるなw
メリーランドの物理学者(で見当がつく人なら意味がわかる

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

182132人目の素数さん2018/09/29(土) 15:53:14.23ID:oku1/M2o
>>181
なんだ、論文読んでいないことがわかった

183132人目の素数さん2018/09/29(土) 16:56:19.96ID:/7TpAexf
ぽあんかれのときも数年検証していたし、今回も成否は時間かかるのかね。
ペケルマンあたりなら目を通してわかってくれそうだけど。

184132人目の素数さん2018/09/29(土) 17:33:08.93ID:sJSz9ajC
ペレリマンは密かにリーマン予想に取り組んでるよ
そして、完成してるそうだ

185132人目の素数さん2018/09/29(土) 18:25:01.62ID:BFRyjnA9
ペケルマン草
次どこの監督やるんだろうな

186132人目の素数さん2018/09/29(土) 18:44:56.74ID:/GENhaK9
単著なの?

187132人目の素数さん2018/09/29(土) 18:56:13.79ID:sJSz9ajC
ペレリマンは25時間、数学やってるよ
まさに鬼神の如くな

188132人目の素数さん2018/09/29(土) 20:03:39.28ID:EMqBtkNq
>>105
無次元ってどゆこと?

189132人目の素数さん2018/09/29(土) 20:07:05.67ID:EMqBtkNq
>>113
全然違う
何を勉強してきたんだよ。
「自然科学と密接に結びついてるかもしれないロマン溢れる理論」てなんだよ。

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


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

190132人目の素数さん2018/09/29(土) 20:57:27.73ID:x/D3NMnR
>>189
は?

191132人目の素数さん2018/09/29(土) 22:00:39.90ID:UONFK7zi
>>181
ハイそれお前w

192132人目の素数さん2018/09/29(土) 22:04:52.77ID:BFRyjnA9
いやそれ俺だから

193132人目の素数さん2018/09/29(土) 22:24:37.41ID:NCmzlll6
>>189
>自然科学のメカニズムを数式解釈するのが数学だろ。
いいえ違います

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

194132人目の素数さん2018/09/29(土) 22:46:43.38ID:+fFpIdwh
>>1
証明が正しいかどうかはわからないが、
アティヤ先生の主張では、リーマン予想は、
ZFC公理系に対して独立なformulaということだろう。
このこと自体は、いかにもありそうなことに思える。

195132人目の素数さん2018/09/29(土) 22:52:46.86ID:BFRyjnA9
ZFだろ?

196132人目の素数さん2018/09/30(日) 02:14:16.47ID:34B/vvog
>>194
独立って?

197132人目の素数さん2018/09/30(日) 04:31:37.87ID:ZDDuhGs3
>>196
連続体仮説とかと一緒なんじゃね?
ZFCにおいては証明も反証も出来ない

198132人目の素数さん2018/09/30(日) 08:48:09.57ID:H59mRy3Y
微細構造定数の論文?(17ページの方)を見てさっぱり分からなかったのだけど
QED(証明終わりでなく量子電磁気学)がどこにも出てきてないのだが
どうやって出してるのん?
何かしら新たな仮定なり何なりが必要なはずだが

199学術2018/09/30(日) 09:02:39.28ID:L25jHE+s
さいころ転がす博徒から進んでいくんだろうな。数女は。

200132人目の素数さん2018/09/30(日) 12:23:54.14ID:M0JSP15A
>>193
理論物理は自然科学じゃないんや

201132人目の素数さん2018/09/30(日) 16:04:41.35ID:34B/vvog
>>197
そのことが証明されてると?

202132人目の素数さん2018/09/30(日) 17:02:48.28ID:ZDDuhGs3
>>201

>証明が正しいかどうかはわからないが、
>アティヤ先生の主張では、リーマン予想は、

203132人目の素数さん2018/09/30(日) 19:24:39.27ID:34B/vvog
>>202
いやいや
だから
アティヤはそう書いてるのか?ってことだけど

204132人目の素数さん2018/09/30(日) 19:58:59.60ID:pjTZqgcJ
Atiyahの奥さんがこの3月に亡くなったのが大きかったな
Lilyが生きていたらこんなことにならなかったよ

205132人目の素数さん2018/09/30(日) 20:09:13.01ID:DJzT4yCx
藤林丈司

206132人目の素数さん2018/09/30(日) 20:10:00.18ID:4faRMeMl
いやいや
だから
(ここで全く別のことを言う)
ってことだけど

これを続けていればいつまでも負けない

207132人目の素数さん2018/09/30(日) 20:31:35.70ID:rAU/f4E4
>>194
> アティヤ先生の主張では、リーマン予想は、
> ZFC公理系に対して独立なformulaということだろう。
> このこと自体は、いかにもありそうなことに思える。

いや、それは殆ど有り得ないね。
そういう主張をAtiyah自身がしていること自体、RHに関するAtiyahの感覚は何か間違っていると思える。

リーマン予想は素数の分布という極めて具体的な問題と直結している。
素数という再帰的(recursive)=決定可能(decidable)な定義を持つ自然数の分布が
ZFCという選択公理も含む公理的集合論という極めて強力な公理系から独立というのは
絶対に有り得ないとまでは言えないが、ほとんど有り得ないと言える類の話。

選択公理(AC)はZFに対して独立だし、連続体仮説はZFC (ZF+AC)に対して独立だが、
これら独立になるものを良く観察すると極めて超越的というか人間が有する素朴な感覚とは
かけ離れたものがあることが判る。

(例えば実数の集合=連続体Rに選択公理が使えるとすれば、数直線上の全ての点を
バラバラにして一列に並べられることになり、実数集合Rのイニシャルセグメントは
常に可算集合という不思議な事態が成り立っていることになる等)

だが個々の自然数は誰でも(もちろん算数ができるのは前提だが)素数であるか否かを
正しく判定できる(もちろん判定計算を完了する前に寿命が尽きるケースは現実には幾らでも起こり得るが)わけで
そういう決定可能な数の離散的な集合が普通の数学の全てをその上に構築できると看做されている
極めて強力かつ汎用的な公理系ZFCに対して独立というのは考え難いんだよ。

公理系からの独立性の類の問題は数理論理学者(数学基礎論屋)の専門だが、恐らく彼らの中で
「RHはZFCから独立だと思うか?」という質問にYESと答える研究者はほとんどいない。

リーマン予想、あるいは素数の分布に関するかなり強い仮説が自然数の公理系であるペアノ算術に対して
独立というのは別に不思議でも考え難い事態でもないが、ZFCに対して独立というのは考え難い。

208132人目の素数さん2018/09/30(日) 20:44:01.12ID:P38VsEjR
数学は自然科学の解明というよりは、科学全般の形式論だろうな
だが、自律性があるから直接対応があるとは限らない。ルーツは科学
スタックはミラーやTQFTと一応繋がってるw

209132人目の素数さん2018/09/30(日) 21:04:49.75ID:P38VsEjR
あーでも形式論といっても真理に近づけるダイナミクスを持っているとは思っている

210132人目の素数さん2018/09/30(日) 21:50:26.13ID:+wScO7rp
>>194
あのな証明がダメなら意味無いだろが。
あてずっぽなら正しいか間違いか決定不能かただの三択だろが。

211132人目の素数さん2018/09/30(日) 21:57:43.07ID:+wScO7rp
>>207
そんな曖昧な予想じゃ研究の足枷にしかならんと思う。
例えば選択公理を仮定するとパナッハ・タルスキーのパラドクスが起こる。
素数分布に決定不能性が出たって別段不思議じゃ無いw

212132人目の素数さん2018/09/30(日) 22:04:37.76ID:+wScO7rp
バナッハ・タルスキーの逆理って、一つの球を有限個に分割して分割したものをただ組み替えるだけで元の球と同体積の球が二つ出来るわけだぜ?
選択公理を仮定するとこんな凄まじい、まるで数学を否定したかのような結論がでる。
素数分布の決定不能性ぐらいがなんだよw

213132人目の素数さん2018/09/30(日) 22:17:35.11ID:7hM9LMSj
パナッハwwwwwww

214132人目の素数さん2018/09/30(日) 22:41:07.94ID:ZDDuhGs3
>>203
いやいやだからと言われても>>194は明らかにそう言ってるし・・・
それをわざわざ>>194に訊く必要があるのか理解できないね

別に>>194が正しいとかではなくて信じられないならば自分で確かめればいいのではないかな?

215132人目の素数さん2018/09/30(日) 22:55:56.07ID:pjTZqgcJ
ZFCだか選択公理だかしらんが、公理系をいじって与えられた正則函数の零点が
あったりなかったりするような公理系なら公理の方がダメだな

216132人目の素数さん2018/09/30(日) 23:14:29.66ID:aQXLMTEx
ZFCとの独立性云々ははっきりいって二の次の話だろうな
少なくとも方針を立てられる程度には色々な構造が関係しているわけだから、自然な証明があると思って間違いないだろう
コンヌやデニンガーは証明こそしていないものの、RHに対応するデータ・表現法がちゃんと数学にあると示唆している

217132人目の素数さん2018/09/30(日) 23:17:43.32ID:aQXLMTEx
何気に難易度で言ったらRHよりコラッツ予想のほうが難しいと思ってる
全く直観が働かないし

218132人目の素数さん2018/09/30(日) 23:20:06.30ID:+wScO7rp
>>213
そこかよ猿wwwww

219132人目の素数さん2018/09/30(日) 23:21:45.16ID:+wScO7rp
>>215
お前がダメなだけじゃね?

220132人目の素数さん2018/09/30(日) 23:22:36.01ID:+wScO7rp
>>216
いやそれよりまず涙拭けな

221132人目の素数さん2018/09/30(日) 23:39:53.63ID:7hM9LMSj
>>218
BとP間違える猿未満のなにかwwwwwww

222132人目の素数さん2018/10/01(月) 01:21:20.43ID:XP5oOnGG
>>211
> そんな曖昧な予想じゃ研究の足枷にしかならんと思う。

「独立かも」なんて予想こそが曖昧で研究に足枷になるネガティブな思考の最たるもの
これは数学基礎論の世界的権威であった竹内外史も「ある重要な数学の問題が集合論の公理系と独立だ、と考えるのは敗北主義だ」という趣旨のことをかつて述べている。

> 例えば選択公理を仮定するとパナッハ・タルスキーのパラドクスが起こる。
> 素数分布に決定不能性が出たって別段不思議じゃ無いw

選択公理から導かれるバナッハ・タルスキーの逆理は連続体なればこその奇妙な性質。
だから連続体濃度やそれ以上の濃度の集合の世界では人間の感覚を超える奇妙な性質が生じたり
集合論の特定の公理(例えば選択公理とか連続体仮説を公理として認めた場合とか)から奇妙な結論が導かれるのは不思議でも何でもない。

だが自然数という可算集合の部分集合で、しかもそれ自体が決定可能つまり再帰的な部分集合である素数の集合が
集合論の公理系からは導けないというのは実際問題としてほぼ有り得ない。

何故ならば、2階の述語論理による自然数の公理系は範疇的、つまりモデルは1つしか存在しないからだ。

もしも素数分布がZFCの公理系に独立であったならば、新しいある公理Xを選ぶと素数分布が成り立つが
その公理の否定¬Xを公理として選ぶと、自然数の世界はXを選んだ時と同じ姿に見える(同じモデルを持つ)のに
こちらの公理とは素数分布は矛盾するということになる。もちろんZFCと公理Xあるいは公理¬Xのいずれも無矛盾なのにだ。

繰り返すが、全ての素数の集まりは、自然数の集合の部分集合として決定可能なのだ。決定不能な部分集合ではない。
連続体濃度とは全く異なるのだ。

ついでに言っておくと、選択公理は任意の濃度の集合に対して選択関数の存在を主張しており、言い換えれば任意の濃度の集合が整列可能であることを主張している(のと同値だ)が、
選択公理の代わりに選択関数の存在あるいは整列可能性の主張を可算濃度の集合だけに限定した可算選択公理だと、バナッハ・タルスキーの逆理などの奇妙な帰結は起こらない

つまり可算濃度とそれよりも大きな濃度、例えば連続体濃度やそれ以上の濃度とでは、全く違った集合の世界になるんだよ。

223132人目の素数さん2018/10/01(月) 01:28:39.81ID:XP5oOnGG
>>217
> 何気に難易度で言ったらRHよりコラッツ予想のほうが難しいと思ってる
> 全く直観が働かないし

というか、コラッツ予想は現代数学に組み込まれていないからね
現代数学のどんな道具が使えそうかが全く予測がつかないのがコラッツ予想だ

理論計算機科学での計算の複雑さ理論(計算量理論)の大難問であるP=NP問題にしても同様
現代数学の中に位置づけられていないから、現代数学のどういう道具が使えるかが全く判らない

これらの問題の現状は、ちょうどWilesが解決したフェルマーの最終予想がFaltingsによって楕円曲線の志村・谷山予想から導かれるという発見がされる以前の状況だ
Wilesは「Faltingsの発見によってフェルマーの問題が現代数学の中にしっかりと位置付けられたと感じた」と解決後に述べていたのがとても印象的だった

224132人目の素数さん2018/10/01(月) 07:00:34.01ID:Nf12iOH0
「RHはZFCと独立」は流石に草
じゃあRe(1/2)以外に零点どこに取れるんだよと

225132人目の素数さん2018/10/01(月) 08:36:54.61ID:9uHmdCI8
>>221
そこかよ猿wwwww

226132人目の素数さん2018/10/01(月) 08:37:20.69ID:9uHmdCI8
>>221
のとがを間違える猿が何か?

227132人目の素数さん2018/10/01(月) 08:39:35.81ID:9uHmdCI8
>>224
お前は猿だろだから。
正しくそれが出来るかどうかを証明するにはどうしたらいいかって話しをずーっとしてるんだろが猿w

228132人目の素数さん2018/10/01(月) 08:53:47.68ID:9uHmdCI8
>>222
誰が言ったかなど関係無い。
証明がなされていない以上、勝手に選択肢を「ありそうに無い」などと言う思惑で否定することこそ敗北主義だ。
数学を否定してしまっている。
カントールはデデキントに「自分は証明したはずなのにとても信じられない」と手紙を書き送っている。
これこそが数学の精神。

229132人目の素数さん2018/10/01(月) 09:04:46.20ID:MmeQo8XV
>>226
????????

サル未満のなにか(モノ)だぞ?

230132人目の素数さん2018/10/01(月) 09:05:28.96ID:9uHmdCI8
>>222
あとどうもイミフなんだが、ゲーデルが決定不能な命題の存在を証明したのは正しく自然数の体系内でのことだぞ?
大体が、ウソつきのパラドクスや床屋のパラドクスなんかのどこにそんな超越的な要素があるのか?

あと可算選択公理だとバナッハ・タルスキーのパラドクスは起こらないってのは証明されたことなのか?

231132人目の素数さん2018/10/01(月) 09:06:41.39ID:9uHmdCI8
>>229
だからそんなところにこだわる猿wwwwwwwww

232132人目の素数さん2018/10/01(月) 09:08:41.01ID:MmeQo8XV
>>231
指摘したのはお前だぞ?
大丈夫か?

233132人目の素数さん2018/10/01(月) 09:09:26.79ID:9uHmdCI8
>>232
そんな的外れなことにしつこくこだわってるのはお前だよバカの猿w

234132人目の素数さん2018/10/01(月) 09:16:10.29ID:MmeQo8XV
「の」と「が」を間違えてる(間違ってない)
これを指摘したのはお前
それを的外れだと宣うのなら的外れなのはお前だってアリストテレスも推論するわ

235132人目の素数さん2018/10/01(月) 09:23:51.77ID:9uHmdCI8
>>234
BとPがどうしたって猿?

236132人目の素数さん2018/10/01(月) 09:27:13.11ID:MmeQo8XV
いやお前がそれ言っても「パナッハがどうしたって?」としか返されないだろ

237132人目の素数さん2018/10/01(月) 10:12:51.00ID:w8RZfrze
高校生数学までしか勉強してないからこの手のはどれを取っても分からないんだけど
リーマン予想がライン上に全ての素数があるかどうか確証がなかったってだけなら相対性理論みたいに

「とりあえず今のところ問題ないから今はこのまんま使ってておk」

みたいなことで今までのは使うには使われてたの?
それが証明されそうだから今てんやわんやになってる感じ?

238132人目の素数さん2018/10/01(月) 10:22:18.11ID:lf17D04R
全てオイラーが悪い

俺の事ではない

これが答だ

239132人目の素数さん2018/10/01(月) 10:33:34.37ID:lf17D04R
>>237
ゼータ関数には素数以外の数も使われる
ところがゼータ関数には定義領域というものがあって
それ以外を別の数式で表現する解析接続なるものを用いてオイラーが素数だけで作った数式に置き換えてしまった
これが不幸の始まり
ゼータ関数に規則性があるなら素数にも…

数式の零点が何処に存在するかってだから現在使われてる暗号がどうたらってことは無い

240sage2018/10/01(月) 10:40:36.43ID:uxw/xN99
さすがに

「とりあえず今のところ問題ないから今はこのまんま使ってておk」

はない。
でも

「とりあえず re(z) > A/log(|im z|) (Aは定数) にはない」

のような代用品は見つかってる。
例えば元々はリーマン予想は素数定理の証明のために

「リーマン予想が正しければ素数定理は正しい」

の形でリーマンの論文のなかに表れたんだけど(これがリーマン予想の名前の由来)、先に挙げた形の代替品を用いて素数定理自体は証明された。
その意味では一応当初の目的は達したんだけど、今でもその証明が求められてるのはリーマン予想はそれ以外にも色々応用が効くらしいこともわかった事もあるけど、
何より何億個というオーダーで計算機で計算して反例が見つからない予想をほっとけないという人類の意地でもある。

241132人目の素数さん2018/10/01(月) 11:26:24.08ID:lf17D04R
素数定理自体がなあ
何番目の素数はこれってバッチリ示してくれるのなら有り難いんだけど

242132人目の素数さん2018/10/01(月) 11:45:14.16ID:13nlkjVw
>>214
アティヤはそんなこと言ってないと思うよ
だからどこでそんなこと言ったって思ったかを>>194に聞いたわけ

243132人目の素数さん2018/10/01(月) 11:48:18.56ID:0Ok3sr+H
>>240
あ、re(z)>1-A/log(im(z))

244132人目の素数さん2018/10/01(月) 11:50:43.09ID:9uHmdCI8
>>236
いやお前が的外れなことにいつまでもこだわる猿なだけw
携帯で「バナ」と打ち込んだら「パナッハ」が候補に出て書き込んでしまっただけだよバカの猿w
それがどうかしたかバカの猿www

245132人目の素数さん2018/10/01(月) 11:54:59.77ID:9uHmdCI8
>>236

こういうバカの猿こそが敗北主義者な。勘違いが甚だしい。

246132人目の素数さん2018/10/01(月) 12:05:37.28ID:9uHmdCI8
反省の無いバカの猿じゃ結局何も出来んよ。
一時いい感じになることがあっても結局敗北して泣きべそをかくことになる。
いつもいつもそうだろ。今までの猿のお前ら自身の経験から言って。
そんなところは抜け出たところに数学や科学があるのに。
バカかよ。

247132人目の素数さん2018/10/01(月) 12:50:23.90ID:fIQ7T91G
>>242
なるほどね

248132人目の素数さん2018/10/01(月) 14:08:46.97ID:xXRBIWaJ
>>244
予測変換で「パナッハ」が出てくるなんて一度すでに打ち間違えてるのにまた間違える救いようのない馬鹿じゃないか

249132人目の素数さん2018/10/01(月) 14:17:29.41ID:w8RZfrze
>>240
なるほどなるほど、素人にも分かりやすかった
>>239は流石に(俺が純粋に馬鹿なので)分からなかったけど共にありがとう

名前だけは聞いてたけど中身なんて全く知らなくてただ興味本位で聞いた
スレの人たちも普通に頭良さそうだけどそれの更に上のレベルでも分かってなかったことなのね…

250132人目の素数さん2018/10/01(月) 15:08:31.12ID:adVanL99
ゼータ関数に素数以外の数を代入した時ゼロ点に規則性は生まれるのかな

251132人目の素数さん2018/10/01(月) 15:17:17.16ID:DzxUwQgY
>>239
素数だけの式にするのに、解析接続は関係無いだろ

252132人目の素数さん2018/10/01(月) 16:20:56.33ID:lf17D04R
>>251
定義領域以外ってことを言いたかっただけ

253132人目の素数さん2018/10/01(月) 18:40:48.50ID:DzxUwQgY
1+1/x+1/x^2+1/x^3+…=x/(x-1)=1/(1-1/x)
が分かっていれば、ゼータ関数の足し算を素数だけの式に変えるのは中学生でも出来る

254132人目の素数さん2018/10/01(月) 18:45:17.88ID:JoAMdGgy
>>253
リーマン予想の証明を知っていれば中学生でも証明できる

255132人目の素数さん2018/10/01(月) 20:44:09.35ID:XP5oOnGG
>>230
> ゲーデルが決定不能な命題の存在を証明したのは正しく自然数の体系内でのことだぞ?

ゲーデルの第一不完全性定理は直接的にはペアノの公理系に対するもので、
自然数論で或る命題Gが存在してGもその否定¬Gも、どちれもペアノの公理系からは証明できないというのが第一不完全性定理。

以下、与えられた公理系X(Xは自然数論のペアノの公理系PAを含むもの)に対し上の命題Gに相当する命題(の一つ、Gに相当する命題は無数に存在)を
「公理系Xに対するゲーデル文」と呼びG(X)で表そう。

集合論の公理系ZFCは適切に定数記号や関数記号を定義することで自然数論を展開できるからZFCに対しても不完全性定理は成立するが
公理系ZFCに対するゲーデル文G(ZFC)はペアノの公理系に対するゲーデル文G(PA)とは全く異なる命題だ。

> 大体が、ウソつきのパラドクスや床屋のパラドクスなんかのどこにそんな超越的な要素があるのか?

嘘吐きの逆理に観察される矛盾はタルスキーの定理(真理概念の定義不能性)からの帰結に過ぎず
要するに「この文は偽だ」の類の記述を許す形式的体系は矛盾を含んでいるというだけの話。
床屋の逆理は嘘吐きの逆理の言い替えに過ぎない。「パラドクス(逆理)」という名前に惑わされないように。

> あと可算選択公理だとバナッハ・タルスキーのパラドクスは起こらないってのは証明されたことなのか?

もちろん証明されている。バナッハ・タルスキーの逆理に関する以下の専門書に証明がある。
Grzegorz Tomkowicz & Stan Wagon, "The Banach-Tarski Paradox", Cambridge University Press (2016), 特にそのCollorary 15.3 (p. 299)


>>228
> 証明がなされていない以上、勝手に選択肢を「ありそうに無い」などと言う思惑で否定することこそ敗北主義だ。
> 数学を否定してしまっている。

普通の数学の基盤である公理系ZFCと独立と考えるということは、普通の数学では不可能だと証明への努力を放棄するに等しい。
つまり今まで幾多の数学者が積み上げてきた従来の数学を否定し放棄するということだ。だから敗北主義と呼ぶ。
公理系との独立性を疑うのは最後の最後の手段。リーマン仮説に対する研究は最後の最後の手段を必要とする段階には全く至っていない。

256132人目の素数さん2018/10/01(月) 20:50:40.37ID:upvW/ol+
オイラー定数をγと置く。nの約数の総和をσ(n)と置く。RHは

σ(n)<(e^γ)*n*log(log n) (∀n>5040)

と同値であることが知られている。こちらの命題をAと置く

RHはZFCから独立だと仮定する
すなわち、AはZFCから独立だと仮定する
このとき、Aはペアノの公理系からも独立である

257132人目の素数さん2018/10/01(月) 20:52:09.39ID:upvW/ol+
なぜなら、

もしAが真であることがペアノの公理系から証明可能なら、
ZFCの中でペアノシステムを構成して同じ証明を復元すれば、
Aが真であることがZFCからも証明可能になって独立にならない

もしAが偽であることがペアノの公理系から証明可能なら、
ZFCの中でペアノシステムを構成して同じ証明を復元すれば、
Aが偽であることがZFCからも証明可能になって独立にならない

よって、Aはペアノの公理系から独立である

258132人目の素数さん2018/10/01(月) 20:53:08.23ID:upvW/ol+
すると、(5040より大きい)どんな「具体的な自然数n」に対しても
σ(n)<(e^γ)*n*log(log n)が成り立つ

なぜなら、ある「具体的な自然数n」に対して
σ(n)≧(e^γ)*n*log(log n)が成り立つなら、
両辺の数値計算を実際に書き下して≧を確かめた時点で、
ペアノの公理系においてAが偽であることが
証明できたことになって矛盾するからだ

259132人目の素数さん2018/10/01(月) 20:54:37.28ID:upvW/ol+
まとめると、もしRHがZFCから独立ならば、「具体的な自然数」に対しては
Aは常に真となることが保証されることになるので、現実世界で
「具体的な自然数」を扱っている場面では、Aは常に真と見なしてよい

260132人目の素数さん2018/10/02(火) 04:43:04.76ID:yF2Muh45
>>259
RHがZFCから独立かどうかに関して、
どのようにお考えですか。

261132人目の素数さん2018/10/02(火) 07:19:36.41ID:hfaQ/XdD
>>255
コーエンは努力を放棄して(主にカントールの)積み上げてきたものをぶっ壊した敗北主義者だった……?

262132人目の素数さん2018/10/02(火) 18:08:05.46ID:OlJ6ZZy5
ノーベル数学賞は望月教授に決まりだよね

263132人目の素数さん2018/10/02(火) 18:35:03.21ID:QFpP0yDZ
>>261
> コーエンは努力を放棄して(主にカントールの)積み上げてきたものをぶっ壊した敗北主義者だった……?

理解力のない人だね、君って
何か勘違いしているみたいだが、カントール自身の集合論はラッセルの逆理で示されたように最初から矛盾してたので既に終わってたわけだが

その矛盾を解消するためにツェルメロが公理的集合論を創始し、
フレンケルが矛盾の発生原因としてツェルメロによって制限を加えられた内包公理をより強力だが安全な置換公理へと改めて公理系ZFCが生みだされ、
(他にもフォン・ノイマンの基底公理も追加)
更に選択公理ACの奇妙さが問題となりZFCからACを除いた公理系ZFを考えたりするようになったわけだ

この集合論の場合のように、新しく公理系を作る場合、可能な限り冗長性のない=互いに自分以外の残りの公理群とは独立な公理だけを選ぶのが数学での美的センスというものだよ
言い換えれば公理系を作り上げる時には最初から独立性に対する配慮や深い洞察が不可欠ということだ

このACは様々な不思議な(感覚的には納得し難い奇妙な)帰結を与えることが徐々に判明してきた
だからACが他のZFの公理と矛盾していないのか(奇妙な現象は矛盾の前触れではないのか)といった心配が起こり、この心配にはゲーデルが問題ないというお墨付きを与えた
また公理系のデザインでの独立性の観点からACが残りの公理群つまりZFと独立か?という根本的な興味(ユークリッド幾何での平行線の公準が他から導出できないか?という興味と同じ)に対して
肯定的な答えを与えたのがコーエン
そしてコーエンが創造した強制法という手段は実に強力で、選択公理の独立性だけでなく元祖カントール以来ずっと解決できなかった連続体仮説の問題に対しても独立だという証明を与えたわけだ

だからコーエンによる選択公理の独立性の証明は、そもそも公理系の各公理の独立性の保証という公理系集合論の開祖ツェルメロからの悲願に応えたものであってぶっ壊したわけでなく建設を完成させたのだ

「敗北主義」と呼んだのは普通の数学の難問に見える類の問題を公理系と独立か、と騒ぎ既存の数学での証明・反証を放棄する態度
公理系の独立性の保証や連続体仮説のように最初から公理として追加する必要あるかも?と考えられた類の命題の独立性を問うこととは全く違う

264132人目の素数さん2018/10/02(火) 18:35:36.05ID:OlJ6ZZy5
ある高名な数学者が言ってたんだけど、リーマン予想が証明されたら因果律が壊れるんだと

265sage2018/10/02(火) 18:39:33.21ID:CTxwi/63
>>263
>この心配にはゲーデルが問題ないというお墨付きを与えた

これは何の話ですか?

266132人目の素数さん2018/10/02(火) 18:52:50.02ID:b77PBQT3
選択公理が認識される前から、数学者は無意識に自明のものとして選択公理を使用していた。
仮にZFCをこえる公理が必要とされるなら、まず数学者は「普通の数学」の展開の中で無意識のうちに「自明なもの」として使い、あとから数学の基礎を固める段階で、
いつの間にか新しい公理を無意識に使っていたと判明するのではないか。

267132人目の素数さん2018/10/02(火) 19:36:35.29ID:OlJ6ZZy5
ノーベル物理学賞に日本人が受賞したな

268132人目の素数さん2018/10/02(火) 19:40:58.59ID:043Grh/f
>>263
微妙に違うな
矛盾とはある公理系からφ∧¬φが証明されることであって、カントールの集合論は公理系がないので矛盾の定義に該当しない

お前の言う「敗北主義」の定義は公理主義が制定されていることを前提としていて普遍的ではなく、個人攻撃のために定めたもののように見える
仮にそこから公理主義の前提を除くと、カントールが連続体仮説に生涯を費やす所に独立という結論を持ち寄ったコーエンは「敗北主義」となるから、ダブルスタンダードを回避するためなのかもしれないが

269132人目の素数さん2018/10/02(火) 19:54:34.25ID:r1ZALuUK
選択公理嫌い

270132人目の素数さん2018/10/02(火) 20:08:24.30ID:yF2Muh45
あらゆる可能性を考えるのが数学本来の姿だ。
この考え方をしてはダメだとかいうのは、賢しらな人間のおごりだ。
個人の価値観から、これまでの経験から、あるいは何らかの合理性から、
検討に優先順位をつけるのはかまわない。
しかし、それを他人に押し付けるべきではない。人それぞれでいい。
人それぞれの優先順位で数学をすべきだ。数学は自由なものだ。
数学の自由さの否定につながる考え方は、個人的敗北主義よりたちが悪い。
数学そのものを埋葬する自傷自殺主義だ。

271132人目の素数さん2018/10/02(火) 20:36:48.61ID:q0DX+lIL
>>264
>ある高名な数学者
誰?

272132人目の素数さん2018/10/02(火) 21:06:59.33ID:Lwg14AWe
>>268
> 矛盾とはある公理系からφ∧¬φが証明されることであって、カントールの集合論は公理系がないので矛盾の定義に該当しない

ものすごく頭の悪い事を言ってるな

273132人目の素数さん2018/10/02(火) 21:24:14.46ID:043Grh/f
>>272
集合論を学んだ修士の言ってることだが
https://konn-san.com/math/set-theory-seminar/2012-10-16.pdf

274132人目の素数さん2018/10/02(火) 21:24:53.05ID:043Grh/f
当時は学部生か

275132人目の素数さん2018/10/02(火) 22:48:28.11ID:QFpP0yDZ
>>265
ゲーデルによる選択公理のZF公理系に対する無矛盾性の証明

数学において集合論のような極めて基礎的な理論の公理系を作る場合、重要なのは
1.公理系の無矛盾性
2.公理同士の独立性
の2点だ

公理系ZFCの公理で最も得体の知れない不思議な帰結を生み出す選択公理に関して
それと残りの公理群ZFとの無矛盾性はゲーデルによって証明され、
ZFに対する選択公理の独立性はコーエンによって証明された

276132人目の素数さん2018/10/02(火) 22:56:54.60ID:QFpP0yDZ
>
> お前の言う「敗北主義」の定義は公理主義が制定されていることを前提としていて普遍的ではなく、個人攻撃のために定めたもののように見える
> 仮にそこから公理主義の前提を除くと、カントールが連続体仮説に生涯を費やす所に独立という結論を持ち寄ったコーエンは「敗北主義」となるから、ダブルスタンダードを回避するためなのかもしれないが

全く理解力がないね

公理系における公理と目される命題の独立性は無矛盾性と共にメタ理論的な問題だ
メタ理論的な問題としての公理の独立性の重要性はメタ理論をやっている以上は避けて通れないし
これを証明することはメタ理論の研究における建設的な態度だ

だがリーマン仮説は何かの公理系の公理と目されるような種類の命題ではなく
例えばしばらく前に証明された楕円曲線論における谷山予想などと同じく通常の(メタでない)数学として
興味を持たれ価値を有する命題だ

だからそういう普通の数学(対象レベルの数学)における価値を有する命題を独立性とか言い出すのは
対象レベルの数学での解決を避けて、メタ理論つまりメタ数学(数学基礎論)に逃避していると言っているのだよ

君がメタ数学と通常の(対象レベルの)数学との違いの存在を理解できないならば、これ以上の議論は無意味だ

277132人目の素数さん2018/10/02(火) 22:59:02.71ID:crIgE/P3
>>275
なんかで読んだ記憶があるんですが、ある程度以上大きい理論は自身の無矛盾性を証明できないとかいう定理があった記憶があるんですが、それとは矛盾しないんですか?
それはZFCより真に大きい立場からの証明という事ですか?
載ってる教科書あったら教えて下さい

278132人目の素数さん2018/10/03(水) 02:13:59.39ID:2owdqVYX
>>273
数学における矛盾と数理論理学による矛盾の定式化を混同している。
数学の論文の証明が、数理論理学の論文を含めて、数理論理学による「証明」の定義に当てはまらないようなもの。

279132人目の素数さん2018/10/03(水) 03:57:27.04ID:TIuxHmQm
>>277
> なんかで読んだ記憶があるんですが、ある程度以上大きい理論は自身の無矛盾性を証明できないとかいう定理があった記憶があるんですが、それとは矛盾しないんですか?

ゲーデルの第二不完全性定理のことですね。この定理は自然数論(例えばペアノの公理系)やそれを含む理論に対して一般に成り立ちます。

> それはZFCより真に大きい立場からの証明という事ですか?

構文的な証明ではなく、ZFCのモデルを構成して無矛盾性を示すのです。理論が無矛盾であることとその理論がモデルを持つこととは同値ですから。

> 載ってる教科書あったら教えて下さい

田中尚夫さんの『選択公理と数学』という本にゲーデルのZFC公理系の無矛盾性の証明とコーエンの選択公理のZF公理系に対する独立性の証明の解説が載っています。
但し、かなりテクニカルなのは覚悟する必要があります。

280132人目の素数さん2018/10/03(水) 03:58:41.59ID:TIuxHmQm
>>279補足
> 田中尚夫さんの『選択公理と数学』という本にゲーデルのZFC公理系の無矛盾性の証明とコーエンの選択公理のZF公理系に対する独立性の証明の解説が載っています。

失礼、上の本の出版社が抜けていましたが 遊星社 です。

281sage2018/10/03(水) 04:33:16.11ID:hAHwqSJY
>>279
やっぱりそうですか。
つまりZFCのモデルをZFのなかに構成して
「ZFCが矛盾してるならZFがそもそも矛盾してる。」
を示してZFCの危険性がそこまでではない事を示したというあれですね。
それならわかります。
ちょっと「ZFCの無矛盾性を示した。」という文章を見て「えっ?」と思ってしまいました。

282132人目の素数さん2018/10/03(水) 07:40:32.81ID:ImkAbqKA
>>276
カントールの時代メタ数学の区別はついていなかったわけだが、それ以前の時代は敗北主義は存在しないとでも言うのか
なら少々誇大広告が過ぎるな
「対象レベルの数学に独立性を見る主義」とでも変えたほうがいい

メタ数学は数学を数学する数学であって、数学ではないのではない
数学の営みの一つだよ
>>278
数学者が意図してるしてないに関わらず、数学の証明はメタ的な証明を除いて論理式の有限列ではないのか?
というかそもそも、数理論理学の使命の一つが数学の証明といったものを扱うことのはずでは

283132人目の素数さん2018/10/03(水) 12:51:10.78ID:2owdqVYX
>>282
数学の論文で論理式の有限列であるような証明なんて、コンピューターによる自動証明ぐらいだろう。

284132人目の素数さん2018/10/03(水) 21:13:11.08ID:pFmzzBgP
>>268
>カントールの集合論は公理系がない
というのは言い過ぎ

285132人目の素数さん2018/10/04(木) 00:56:37.69ID:iulkvuV5
ここにぐだぐだ駄文書いてる暇あったら数学書のひとつも読めよどーせおまえらはライプニッツも知らないんだろ?

286sage2018/10/04(木) 01:06:45.66ID:hSVOY+zX
    ∧_∧  / ̄ ̄ ̄ ̄ ̄
  ( ´∀`)< オマエモナー
  (    )  \_____
   | | |
  (__)_)

287132人目の素数さん2018/10/04(木) 11:38:54.47ID:/DvQnV81
ニュートンなら、知っています

288132人目の素数さん2018/10/04(木) 12:56:36.35ID:wC9Ruwem
万物は数である

289132人目の素数さん2018/10/04(木) 18:27:56.44ID:aPnJk+gj
コーエンの理論は、独立性とか体系の強弱を調べるメタ数学的なシステムだから成功した
独立性の証明自体が自己目的化したらあかんよ

290132人目の素数さん2018/10/04(木) 19:46:28.99ID:FLZcauJ3
で、リーマン予想の証明は正しかったの?

291132人目の素数さん2018/10/04(木) 20:38:31.74ID:7PJcZXj1
>>290
もちろん。

292132人目の素数さん2018/10/05(金) 06:35:53.06ID:4IrIeKg4
アティヤ、フィールズ賞また取るだろうな

293132人目の素数さん2018/10/05(金) 06:52:06.68ID:Y14TDbxc
>>268

>矛盾とはある公理系からφ∧¬φが証明されること

ではない!  (^o^)

294132人目の素数さん2018/10/05(金) 08:56:20.06ID:BYmsl30I
>>292
素で言ってる?

295132人目の素数さん2018/10/05(金) 10:22:33.32ID:ekEwQ6Yu
>>294
素で言ってる?

296132人目の素数さん2018/10/05(金) 10:34:38.04ID:gJpnnR9m
パチンコメーカーの賞だろ

297132人目の素数さん2018/10/05(金) 16:31:28.37ID:4IrIeKg4
アティヤってまだ生きてるの?
自殺したとか?

298132人目の素数さん2018/10/05(金) 19:57:24.73ID:4IrIeKg4
ある高名な数学者が言ってたんだけど、リーマン予想が証明される時、万物の理論もまた完成されるだろうと。

299132人目の素数さん2018/10/05(金) 20:03:12.02ID:qrWLb9HT
このスレとIUTスレがいつも上の方にあるってのが、この板のいろんなことを象徴してる気がするな。
あと奇数の完全数の証明スレw

300 ◆QZaw55cn4c 2018/10/05(金) 20:09:23.53ID:cAFddul7
>>298
>ある高名な数学者
誰?

301132人目の素数さん2018/10/05(金) 20:20:09.97ID:4IrIeKg4
セルバーグだよ

302132人目の素数さん2018/10/05(金) 21:17:04.98ID:OFjYwMF0
>>299
例えば、どんなことの?

303132人目の素数さん2018/10/05(金) 21:17:51.45ID:plPqnDCJ
      /  ̄`Y  ̄ ヽ
     /  /       ヽ
     ,i / // / i   i l ヽ
     |  // / l | | | | ト、 |
     | || i/ .⌒  ⌒ | |
    (S|| |  (●) (●) |
     | || |     .ノ  )|     ( "''''''':::::.
     | || |ヽ、_ ▽ _/|ノ--'''''"""" ヽ   ゛゛:ヽ.
       |::::::::""""          . \::.   丿
       |:::::         ..........::::::::::::彡''ヘ::::....ノ
      /     ::::::::::;;;;;,,---""" ̄   ^``
    /        ̄ ̄ \
   /::::::::     :      ヽ
   |:::::      ::      |
( (  ヽ::::::     :::..     ノ ) )
    \:::::::  /\:::;;;;;;__ ノ

304132人目の素数さん2018/10/05(金) 23:23:11.51ID:qU0CczPE

305132人目の素数さん2018/10/05(金) 23:24:37.90ID:qU0CczPE

306132人目の素数さん2018/10/06(土) 01:46:26.07ID:5N+Aegd6
こんなことを言っては失礼だが、アティヤがどこかで勘違いしてる気がするんだよな

307132人目の素数さん2018/10/06(土) 02:23:20.58ID:Oj1E6yHr
そんなこと思ってるのお前だけだぞ
大半は勘違いどころか耄碌してると見なしてる

308132人目の素数さん2018/10/06(土) 02:34:03.14ID:brDyoAom
>>305
Wikipediaに書いてあるなら間違いないな!

309132人目の素数さん2018/10/06(土) 06:16:03.30ID:XK9S6Z7b
>>305
これは酷い

310132人目の素数さん2018/10/06(土) 06:17:17.24ID:XK9S6Z7b
さすが日猿ウィキ

311132人目の素数さん2018/10/06(土) 09:35:55.74ID:6z9kVZfU
http://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 ⁡ Φ).

312132人目の素数さん2018/10/06(土) 11:14:54.46ID:6RTxxT54
>>310
1レスで論破されててワロタ

313132人目の素数さん2018/10/06(土) 11:47:18.40ID:XK9S6Z7b
ネトウヨ発狂。
モデル(A set of formulas Φ in first-order logic)と公理系を取り違えてるハゲ

314132人目の素数さん2018/10/06(土) 13:43:12.43ID:oZ+lhO/A
>>312
1レスで論破されててワロタ

315132人目の素数さん2018/10/06(土) 20:34:14.65ID:LMuVp3d/
X+2×√(XY-1)+Y=Zのとき
XZ-1は必ず任意の整数の二乗になる

316132人目の素数さん2018/10/06(土) 20:41:44.01ID:Oj1E6yHr
1の2乗でも2の2乗でもあるのか?

317132人目の素数さん2018/10/06(土) 23:20:18.10ID:N0DDi8HY
>>307
みんなそう思ってるのでトドメを刺しには行ってないからな
「おじいちゃん、ご飯はさっき食べたでしょ」で終わり

318132人目の素数さん2018/10/07(日) 03:46:39.46ID:0DCqZZwg
>>298
ゼータに関係した分野に関わってるけど、解かれ方によって方向性が違うとしか言いようがない
量子論が大幅にわかるかもしれないし、或は代数幾何が終わるようなインパクトかもしれない
そのハイブリッドみたいなトポロジーかもしれない
大幅な進展が絶対にあるのは確かだし、逆に言えばそのレベルの理論じゃなきゃ解けない
勿論そうやって最終的に統一理論を完成させる重要なステップになるだろうけど
ただ、トポロジーで解かれたら正直言ってつまらないなあとは思う
まあそういう理論は指数定理とかの一般化になってるだろうから、革命のヒントにはなるだろうけど

319132人目の素数さん2018/10/07(日) 03:47:53.60ID:0DCqZZwg
>>299
こんなとこで数式まで使って話したいとは全く思わないわ
派手な話だけしてるのがいい

320132人目の素数さん2018/10/07(日) 05:03:37.99ID:c2pAq02+
>>311
論理体系の矛盾の話しやんかこれ。

321132人目の素数さん2018/10/07(日) 20:55:10.00ID:+y1UruRG
>>318-319
全然わかってなさそうコイツ

322132人目の素数さん2018/10/07(日) 21:43:05.11ID:xbxDaghr
リーマン予想が証明されたら、世の中どうなっちゃうの?
異次元世界とか実在したりすんの?


lud20181007214456
このスレへの固定リンク: http://5chb.net/r/math/1537516085/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

TOPへ TOPへ  

このエントリをはてなブックマークに追加現在登録者数177 ブックマークへ


全掲示板一覧 この掲示板へ 人気スレ | Youtube 動画 >50 >100 >200 >300 >500 >1000枚 新着画像

 ↓「Michael F. Atiyahがリーマン予想を証明しました。 ->画像>24枚 」を見た人も見ています:
物理オタは重力波を検出したのに数オタはリーマン予想を証明できない
リーマン予想を証明したら歴代の数学者の中で何番目ぐらいの天才になれそう?
リーマン予想の証明について突っ込んでほしい
リーマン予想が証明された?
【予報】リーマン予想がAIにより証明される (3)
「多分リーマン予想解いたけど質問ある?」ってスレッドが立ってる...
【朗報】ABC予想、証明される
Firoozbakht予想の証明
Firoozbakht予想の証明2
コラッツ予想、証明される
「ABC予想」の証明理論、欠陥見つけたら1.4億円
リーマン予想を簡単に説明してくれ
素数とかリーマン予想とかとんからりん
リーマン予想とΖ関数について教えろください
絶対数学とかリーマン予想って宇宙際幾何学と関係ある?
任天堂は何故、新型Switchでパフォーマンスを1.5~2倍伸ばせるのにバッテリー持ちに全振りしたのか
Inter-universal geometry と ABC予想 36
Inter-universal geometry と ABC予想 37
Inter-universal geometry と ABC予想 22
Inter-universal geometry と ABC予想 14
Inter-universal geometry と ABC予想 33
Inter-universal geometry と ABC予想 25
Inter-universal geometry と ABC予想 21
Inter-universal geometry と ABC予想 40
Inter-universal geometry と ABC予想 24
Inter-universal geometry と ABC予想 27
Inter-universal geometry と ABC予想 38
Inter-universal geometry と ABC予想 35
Inter-universal geometry と ABC予想 39
前スレ Inter-universal geometry と ABC予想 34
証明お願いします 「数直線上で素数の位置とき、θ°曲げると原点には帰ってこない
フェルマーの最終定理証明したったwwww
【数学崩壊】1=0を証明したったったったwwwwwwwww【おめでとうございます】
異世界の存在を証明したwww
∞=-1を証明したwwwww
Inter-universal geometry と ABC 予想 45
Inter-universal geometry と ABC予想 17
三平方の定理自力で証明した
Inter-universal geometry と ABC予想 10
Inter-universal geometry と ABC予想 6
Inter-universal geometry と ABC予想 53
Inter-universal geometry と ABC 予想 43
Inter-universal geometry と ABC 予想 47
Inter-universal geometry と ABC 予想 47
不老不死の理論を証明出来た気がするので査読をお願いします
Inter-universal geometry と ABC予想 (応援スレ) 64
Inter-universal geometry と ABC予想 (応援スレ) 44
Inter-universal geometry と ABC予想 (応援スレ) 54
Inter-universal geometry と ABC予想 (応援スレ) 67
Inter-universal geometry と ABC予想 (応援スレ) 68
Inter-universal geometry と ABC予想 (応援スレ) 55
Inter-universal geometry と ABC予想 (応援スレ) 47
Inter-universal geometry と ABC予想 (応援スレ) 66
Inter-universal geometry と ABC予想 (応援スレ) 65
Inter-universal geometry と ABC予想 (応援スレ) 57
Inter-universal geometry と ABC予想 (応援スレ) 46
Inter-universal geometry と ABC予想 (応援スレ) 52
Inter-universal geometry と ABC予想 (応援スレ) 53
数学は証明よりも反証を中心にしたらどうか?
望月新一ってフェルマーの最終定理も証明したんだよな
証明の中で定義した記号や証明した命題をべつの証明で引用する行為
構成的じゃない証明はインチキ
Inter-universal geometry とABC 予想45
Inter-universal geometry とABC 予想49
Inter-universal geometry とABC 予想51

人気検索: porn 155 Child porn child porn 女装 アイドル 和日曜ロリ ロリあうロリ 胸チラ 小学生 パンチラ 4k繧ュ繝」繝ウ繧ョ繝」繝ォ
00:12:33 up 84 days, 1:11, 0 users, load average: 10.54, 10.74, 10.22

in 0.028301954269409 sec @0.028301954269409@0b7 on 071013