Inter-universal geometry と ABC予想 25

1 名前：１３２人目の素数さん [2018/03/06(火) 10:21:31.20 ID:VQUWnGj4.net] IU幾何やABC予想に関する会話のサロン として使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 24 https://itest.5ch.net/rio2016/test/read.cgi/math/1516888340 704 名前：１３２人目の素数さん [2018/04/03(火) 18:49:47.50 ID:On5Ggzau.net] ドヤ顔で晒したショルツ宛のメールも改変の挙句削除(藁 705 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 18:58:29.32 ID:HQMYf1+l.net] >>679 ならばtanに聞けば全て解決ということだな 706 名前：１３２人目の素数さん [2018/04/03(火) 19:00:40.54 ID:tQlORbT7.net] >>679 IUT側から見ると自明も 理解度になるんだ。 個人的には、常温核融合に類似していると 思うよ、 707 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 19:04:40.27 ID:pZythzOZ.net] まぁひょっとしたら来月辺りにもっちーが颯爽と明確な説明を述べたノートを 公開して万人が納得するかもしれんし 続報待ちだな 708 名前：１３２人目の素数さん [2018/04/03(火) 19:08:03.68 ID:X620R3Mh.net] 過疎ってたのに、この２、3日で何かあったのか？ 709 名前：１３２人目の素数さん [2018/04/03(火) 19:11:50.08 ID:DARKsYO+.net] 定義を総動員して自明(笑) 710 名前：１３２人目の素数さん [2018/04/03(火) 19:40:11.80 ID:Aci6fz2x.net] IUTがぽしゃって一番泣くのはjin 711 名前：１３２人目の素数さん [2018/04/03(火) 19:41:24.72 ID:tQlORbT7.net] >>475 >Peter Scholze, who everyone thinks is the greatest mathematician of this generation, says he cannot deduce 3.12 (which is the ABC conjecture, in paper #4) from 3.11 (a summary of the first 3 ABC papers) in Mochizuki’s papers >Koshikawa had a similar problem, and when he asked Mochizuki about it, the latter responded that the deduction is self-evident. >My apologies for not being able to understand any of this―I can only report on these happenins. a similar problem, / a で 単数 any of this / this 単数 theseではない 712 名前：１３２人目の素数さん [2018/04/03(火) 20:05:01.67 ID:mdreE8+l.net] >>679 それは説明できない理由としては変 数学やってる人間ならわかるが、前提知識が多すぎるからある補題や定理の概要を 説明できないとかありえないから 713 名前：１３２人目の素数さん [2018/04/03(火) 20:07:05.91 ID:mdreE8+l.net] そういう意味では、定義より自明って言い回しをコロラリーの説明で 普通安易に使わないよな 何らかの言い方を考えるはずなんだよ 714 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:12:57.46 ID:HQMYf1+l.net] 復元の際の補正できない歪や誤差項があるなんて時点で証明には使えんだろ 715 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:13:26.72 ID:Rx9EiSXT.net] IUT-�VのCor.3.12を見てみたが、これは恐らくIUT理論の要となる定理だな。 大雑把に言うと、Thm.3.11の設定の下、2種類の行進正規化単解析的対数体積 (procession-normalized mono-analytic log- volume) の間に不等式が成り立つという主張。 証明はクソ長くて、自明の一言で済ませてなんかいない。 12つのステップに整理して証明している。 今までやってきたことを総動員してる感じがする。 で、その後にRemarkが3つ続いてて、これもまたクソ長い。 ややこし過ぎてわけわからん。 716 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:16:38.31 ID:Rx9EiSXT.net] >>692 Remarkが3つじゃなくて、Remarkが4つの間違いでした。 717 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:19:29.10 ID:Rx9EiSXT.net] >>692 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 718 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:19:29.92 ID:Rx9EiSXT.net] >>692 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 719 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:19:50.23 ID:lX5Qtbtl.net] TanとFesenkoんとこの院生がサーベイ書いてるらしいから、まぁまずはそれを待とうか。 720 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:20:59.94 ID:lX5Qtbtl.net] Guides on IUT theory of Shinichi Mochizuki: reports, surveys, workshops, talks https://t.co/LF7DdOb0ge 👀 Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)< 721 名前：/small> [] [ここ壊れてます] 722 名前：１３２人目の素数さん [2018/04/03(火) 20:23:35.12 ID:mdreE8+l.net] 意味としてはテータにおける歪みの計算に関係する所だな 723 名前：１３２人目の素数さん [2018/04/03(火) 20:27:24.21 ID:tQlORbT7.net] ショルツは >>145 724 名前：１３２人目の素数さん [2018/04/03(火) 20:46:53.45 ID:mdreE8+l.net] >>697 一応言っとく。jin発見 725 名前：１３２人目の素数さん [2018/04/03(火) 20:52:08.33 ID:tQlORbT7.net] >>638もjinかw 726 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 21:21:23.78 ID:lX5Qtbtl.net] jinじゃねーし。フォロワーだけど。 727 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 21:26:56.94 ID:t2fA5tGP.net] Note on inter-universal Teichmüller theory, by Fucheng Tan, forthcoming Survey by Wojciech Porowski, forthcoming https://www.maths.nottingham.ac.uk/personal/ibf/guidestoiut.html リンクは完成してから載っけろよ フェセンコ早漏過ぎだろ >>700 俺はjinじゃないに一票 728 名前：１３２人目の素数さん [2018/04/03(火) 21:48:37.75 ID:vlUaZqnG.net] やたら攻撃的なIUT絶対潰すマン 自明という言葉を一人歩きさせ過ぎ 729 名前：１３２人目の素数さん [2018/04/03(火) 22:01:20.66 ID:tQlORbT7.net] >>704 説明して he asked Mochizuki about it, the latter responded that the deduction is self-evident 730 名前：１３２人目の素数さん [2018/04/03(火) 22:05:45.86 ID:gi1rzKxS.net] １９７０年代、高度成長期を受けて、田中角栄と児島なんとかさんが責任者になって、 「国土計画書」が作られた。日本全土を迷路とする面白い国家戦略だったけど、 そこには、「技官は頭脳奴隷」と書いてあった。 ２００７年に「国土計画書」が破棄されるまで、日本の理系技術者は奴隷待遇だった。 それ以後、理系技術者は超エリートとなっている。 ２００３年〜２００５年、小泉純一郎も「国土計画書」に「技官は頭脳奴隷である」と見て、 理系の待遇を落としている。 ２００６年の安倍晋三、２００７年の福田康夫の二人こそ、日本の理系を奴隷から解放した聖君である。 再び、理系技術者を奴隷にしようとした麻生太郎は許すな。 そして、理系政権「鳩山由紀夫政権」や「菅直人政権」が作られ、自殺者は大幅に減った。 731 名前：１３２人目の素数さん [2018/04/03(火) 22:11:31.21 ID:tQlORbT7.net] >>475 レクチャーノートは面白そうだね、 ネバンリンナ理論もある 732 名前：１３２人目の素数さん [2018/04/04(水) 00:25:19.22 ID:FaDmfyA6.net] モチ「自明で押し通す予定！(笑)」 733 名前：１３２人目の素数さん [2018/04/04(水) 00:38:25.98 ID:7Cl/Dprn.net] まーバランス感覚は重要だからな あんまIUTを馬鹿にしてても、心理的にIUTが結構難しいから安きに流れてるだけかもって 自己批判はできる 大半はショルツが理解したとか言ったらどうせ掌返しだろうしな 俺はフレーム自体は(やり方に違和感はあるが)有意義だと思ってる 734 名前：１３２人目の素数さん [2018/04/04(水) 00:45:09.24 ID:7Cl/Dprn.net] フレームとしては不可能なはずがないからな ある意味、狙いは絶対遠アーベル幾何学的なテータ関数論でしかない それは関数体のabcの理論の自然な一般化であるから、できれば証明できる だが不幸なことに難解・膨大過ぎて大半の人間には精読できない 735 名前：１３２人目の素数さん [2018/04/04(水) 00:58:25.62 ID:FaDmfyA6.net] 類似だけで証明できたら数学者いらねーんじゃね？ 736 名前：１３２人目の素数さん [2018/04/04(水) 01:02:10.09 ID:0tPWnaDv.net] その理屈だと完全数もやれるな、違うか 737 名前：１３２人目の素数さん [2018/04/04(水) 01:09:06.35 ID:7Cl/Dprn.net] どうやったら整数に一般化できるのかが難しいわけだから、ただの類似ってもんでもない 738 名前：１３２人目の素数さん [2018/04/04(水) 01:22:32.07 ID:esg0lk9v.net] どの辺が有意義だと思ったのか、もう少し詳しく説明してくれますか？ フレームとしては不可能なはずがないという主張も、私には意味不明です。 739 名前：１３２人目の素数さん [2018/04/04(水) 01:28:39.53 ID:0tPWnaDv.net] 俺も不明だわ 反例や応用や簡単な回答例がないとわからない 何の数に対して何の不等式なのかも答えられないならそもそも不可 特定数に対しての不等式なら https://en.wikipedia.org/wiki/Abc_conjecture Examples of triples with small radical と同一じゃないか 740 名前：１３２人目の素数さん [2018/04/04(水) 01:29:53.53 ID:0tPWnaDv.net] ＞反例 反例も説明できなきゃおかしい、って意味 741 名前：１３２人目の素数さん [2018/04/04(水) 01:40:17.59 ID:FaDmfyA6.net] 日本でも「望月さんは天才だから...」では通用しなくなってるようですね 742 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 01:43:01.46 ID:YBubZrpQ.net] >>681 投稿だけを削除したのではなくて、Facebookアカウント自体を削除した模様。 こんなこともあろうかと魚拓取っといたで。 https://web.archive.org/web/20171229175021/https://www.facebook.com/ivan.fesenko.37/posts/1128469910617882 >>ID:0tPWnaDv バカは黙っとれ。 743 名前：１３２人目の素数さん [2018/04/04(水) 01:45:22.94 ID:0tPWnaDv.net] >>718 また知ったかぶりが出現するし 744 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 02:21:32.99 ID:VQlTFsUy.net] 自明てまた逃げる擁護派 745 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 02:36:01.26 ID:u7DsKXUG.net] ちょっくら調べてみたが Goのサーベイの355〜360ページ Starのサーベイ(続編)の92ページ Tanのスライドの49〜51ページ Starのサーベイの36ページ Fesenkoのサーベイの20ページ に Cor.3.12 の解説があるな 746 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 02:39:28.04 ID:u7DsKXUG.net] 色々と調べてて気づいたことだけど Goのサーベイって初版から100ページ以上増えてんのな 747 名前：１３２人目の素数さん [2018/04/04(水) 09:01:36.87 ID:WKE8KTNw.net] >>709 昨年12月 ショルツの発言以前に 望月氏本人がself-evident 自明と回答した。 ショルツが 来京しても変わるまい。 748 名前：１３２人目の素数さん [2018/04/04(水) 09:14:05.33 ID:WKE8KTNw.net] サーベイのcor.3.12 解説はショルツに ダメ出しされた。 >in particular, no more details are given in any survey, including Yamashita’s, or any lectures given on the subject (as far as they are publicly documented). >>145 749 名前：１３２人目の素数さん [2018/04/04(水) 09:15:12.20 ID:WKE8KTNw.net] サーベイは個々人の私見じゃないの？ 750 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 11:03:58.64 ID:bz4OVHxH.net] >>724 それはScholzeがIUTについて深く理解しての発言ではなく、 人から聞いたって話を書き込んだだけ。 751 名前：１３２人目の素数さん [2018/04/04(水) 11:20:54.45 ID:PXSRm7b1.net] >>726 ソースは？ 752 名前：１３２人目の素数さん [2018/04/04(水) 11:33:34.71 ID:PXSRm7b1.net] >それはScholzeがIUTについて深く理解しての 発言ではなく、 ともあれ、 ショルツさえ理解出来ないんでしょ。 >>688 >Peter Scholze, who everyone thinks is the greatest mathematician of this generation, 753 名前：１３２人目の素数さん [2018/04/04(水) 13:03:33.40 ID:4yBO5rTj.net] ショルツは確かに早熟でアイデアもあるが、数論幾何やってる時点でどの数学者も 馬鹿じゃねーからなあ。誰にとっても難しい理論なのは確か 754 名前：１３２人目の素数さん [2018/04/04(水) 13:10:15.10 ID:4yBO5rTj.net] >>714 「絶対遠アーベル幾何を使ったテータ関数論が可能かどうか」という話なら、 少し考えればそれこそ自明に近い話。勿論理論が自明という意味ではないが 有意義というのは絶対遠アーベルをFrobenioidを使って実現すれば、特定の環に 依存しない理論が構築できるからに決まっている。だから名前が宇宙際になったわけだし 755 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:12:14.00 ID:vrwHEsbY.net] 　　::| 　　　::| ￣￣￣＼ 　　　::| ／￣￣￣＼ 　　　::|/ 　 　　 　 　ヽ 　　　::|| _ / | ||__　 　 | 　　　::|LL/　|__LﾊL　| 　　　::|　（・ヽ　/・） Ｖ 　　　::|⌒　●●⌒　） 　　　::| 　 　_＿　　 ﾉ 　　　::|　　 ヽ_ノ ／ﾉ 　　　::|＼＿＿ﾉ 756 名前：　| 　　　::|| Ｖ Ｙ Ｖ| Ｖ　　 　　　::||＿＿＿| | [] [ここ壊れてます] 757 名前：１３２人目の素数さん [2018/04/04(水) 13:16:23.01 ID:PXSRm7b1.net] >>729 >>728は 加藤和也氏のシカゴ大学講義ノート で ショルツの評価です。 758 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:18:56.04 ID:rQqf3Hi7.net] 一流のとされてる人ってね、やっぱきちんと読めるんですよ どんな難しいことが書かれても そして直観も同時に素晴らしい場合が多々ある 759 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:32:24.70 ID:U+1DtTJf.net] 問題は不等式評価がどうして出てくるのかがわからないってことなのかな？ 760 名前：１３２人目の素数さん [2018/04/04(水) 13:36:53.25 ID:OtZvuRy9.net] >>733 そういう人たちが理論に違和感を感じていることは無視できないことだよね。 そういう理論は残念ながらたいてい根本から破綻している。 761 名前：１３２人目の素数さん [2018/04/04(水) 13:43:42.42 ID:4yBO5rTj.net] FrobenioidはHodge filtrationでの分解対象になっているが(Hodge theater)、 そのはりあわせの装置に絶対遠アーベルを用いているわけだ 本来は図式としてはかなり単純なもんだ ショルツが指摘した辺りの箇所は難しい部分だが、構造的な目的は明確だな はりあわせによってずれるモノイド上で環から外れた単解部分を、やはり遠アーベル的な 手法で計算しなければならない この歪みはテータ関数によってパラメトライズされてるから、テータの計算になる 読んだ時やはりよくわからなかったのは覚えてるが 762 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:45:56.76 ID:bz4OVHxH.net] はいソース。 https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ 763 名前：１３２人目の素数さん [2018/04/04(水) 13:46:13.70 ID:4yBO5rTj.net] >>735 いやー>>734なんじゃないのかな。理論自体は批判してないし それに、ブンゲンや山下もここで言われるほどの雑魚ではないよ 764 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:50:45.96 ID:WGFuCF+F.net] IUT-�TとIUT-�Uに関しては文句なしって感じだろ ショルツが違和感を感じているのはIUT-�Vの最後の命題Cor.3.12だけ 765 名前：１３２人目の素数さん [2018/04/04(水) 13:52:20.52 ID:4yBO5rTj.net] 俺は代数幾何学者じゃないんだけど、相当とんでもないことやってるのは 代数幾何学の人皆感じてるみたいだ。難しすぎるから擁護も非難もできない 766 名前：１３２人目の素数さん [2018/04/04(水) 13:58:22.58 ID:PXSRm7b1.net] >>737 >>724 >それはScholzeがIUTについて深く理解して の発言ではなく、 >人から聞いたって話を書き込んだだけ。 これのソース？ 767 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:59:59.84 ID:WGFuCF+F.net] にしてもあのクソ厖大な議論を精密に読み込んで 要となる部分に違和感を見抜いたショルツはやっぱスゲェな 流石一流数学者ですわ >>734 IUT-�VのCor.3.12が問題になっているんだが これは2種類の行進正規化単解析的対数体積の間に不等式が成り立つという命題 ABC予想型の結果を導くためのIUT-�Wに繋がる要となる定理で 証明は12つのステップに分かれている 11つ目のステップにおける議論にショルツが違和感を感じている 768 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 14:10:28.92 ID:U+1DtTJf.net] >>742 モッチーのアナロジーでいくと、環構造を抽象化して ガウス積分を二つ並べることに相当する理論は作ったけど 座標変換に対する積分の等価性に相当する箇所に疑問符がついてる ってことになるのかな？ 769 名前：１３２人目の素数さん [2018/04/04(水) 14:19:00.27 ID:PXSRm7b1.net] >>738 雑魚じゃなくて ロマンや我流なのかね。 日本でもショルツの疑問と同類(同じ)問題を 直接聞いた数学者もいたんでしょ。 回答は、自明 770 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 14:19:46.34 ID:WGFuCF+F.net] >>743 お前の言っているアナロジーが何のことなのかよく知らんが Hodge theater の一般論とかには問題はないが ABC予想型の不等式を導く部分にギャップがあるかもしれないということ 771 名前：１３２人目の素数さん [2018/04/04(水) 14:41:01.73 ID:OtZvuRy9.net] >>738 “彼が理解したと言ってるからといって、本当に正しいかどうかは信用� 772 名前：ﾅきない。” “お勉強はよくできるみたいなんだけどね。。。” 俺が専門家から聞いた研究者としてのyさんの評価。 文元氏に至ってはそもそも理論を理解、解読したとは一言も言ってないよね。 素人向けに雰囲気をなんとなくフワッと解説しましたというだけ。 [] [ここ壊れてます] 773 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 14:46:53.76 ID:kh4TOMIe.net] (1)「 Cor3.12の証明の12ステップのうちの11ステップ目 」という、 　 やけに具体的かつピンポイントな部分で違和感を感じている (2) それ以前の一般論のところは今のところ文句なし (3) 同種の疑問点を持っている人が他にもいる (1),(2)により、全てを理解した上で具体的な疑問を持っているように見えるので、 その疑問はきっと説得力がある疑問なのだろうと思う。(3)も重要で、これだけの膨大な理論で 複数人が同種の疑問(漠然とした疑問ではなく、具体的な疑問)を持つというのは、いよいよキナ臭い感じがする。 774 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 15:01:33.59 ID:3ycl3jyk.net] �Tと�Uについては、今のとこ重大な間違いはないというのはおそらく共有されてるよ �Vと�Wが問題だと言われてる �Wはどこに問題あるのか、今のとこ自分には分からん 775 名前：１３２人目の素数さん [2018/04/04(水) 15:14:04.27 ID:4yBO5rTj.net] あのさ、皆ショルツ凄い言ってるけど、133から140くらいの箇所読んでみ？ 理解が深くなくても怪しいのわかるから。qPOの有限性の論拠が書いてなくねってこと あれだけ太字で注意をする人が、明確に書いてないように見えるわけよ 776 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 15:20:34.36 ID:qYJQGI5j.net] ＞133から140くらいの箇所 IUT3の133ページから144ページ？ 777 名前：１３２人目の素数さん [2018/04/04(水) 17:05:29.07 ID:4yBO5rTj.net] >>750 単にここで言われてる部分がその辺だからな 他のサーベイがどんだけ触れてるかはしらんが ショルツが精読したかどうかは正直指摘だけではよくわからないくらい、明確に怪しい 778 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 18:12:47.51 ID:lKqH+bLE.net] IUT3の141ページ If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12, then one concludes that the quantity − |log(Θ)| is finite ショルツが違和感を感じているのはこの部分だが、 明確に怪しいというよりも、数学書によるある読者に不親切な書き方。 まぁ、複数の数学者から指摘が上がっている以上、少なくともこの部分は explicit に書き直すべきだが、 未だにアクセプトされていないのは、この部分を書き直しているから？ 779 名前：１３２人目の素数さん [2018/04/04(水) 18:19:13.45 ID:vFGPGTGS.net] 査読終了で書き直しですか。 修正多数の継ぎはぎより 全て書き直したらいいじゃん。 780 名前：１３２人目の素数さん [2018/04/04(水) 18:21:48.92 ID:vFGPGTGS.net] >>752 自明？ 781 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 18:32:46.18 ID:4yBO5rTj.net] 何だかんだ120くらいまで遡るのか3.11への言及を含めて。120-141くらいだな 不親切というか、本当に論拠を示してるのか、というレベルの指摘だと思うが 782 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 18:55:00.38 ID:lKqH+bLE.net] >>754 モッチーにとっては − |log(Θ)| が有限なことは the above discussion における用語を the notation introduced in the statement of Corollary 3.12 に置き換えれば直ちにわかるらしいな。 ここを explicit な形に書き直せば、Scolze の案件に関しては解決すると思われる。 >>755 本当に論拠を示しているのか洗いざらい確認するなら、Cor.3.12のRemarkも忘れてはいけない。 それも含めれば、120ページから154ページ。 783 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 19:05:27.12 ID:2fOd/CvI.net] >>756 分かりやすいまとめだわ ただ本当に形式的に当てはめれば埋まるような内容なら とっくに誰かがやってる気もする 784 名前：１３２人目の素数さん [2018/04/04(水) 19:39:06.48 ID:7D5k10r2.net] >>756 核心部とも言うかも 785 名前：１３２人目の素数さん [2018/04/04(水) 20:11:31.72 ID:K2M91kDj.net] マジでキリスト教スレ、眠い。 素粒子よりも小さな物質の構成単位は見つかってて、それの名前を「闇（やみ）」というんだよ。 そんなことも知らないで、「無」とか語ってほしくないよ。 786 名前：１３２人目の素数さん [2018/04/04(水) 21:40:46.51 ID:A9NUmmYS.net] https://m.youtube.com/watch?v=UAtiv2Gs8CE 787 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 21:47:22.15 ID:EmPoqxOk.net] >>759 宇宙の質量構成 ・見える物体　5% ・ダークマター（闇）　25-30% ・ダークエネルギー　65-70% 788 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 23:31:45.02 ID:33xeeOPe.net] 観測できるようになったからそう言えるのであって 789 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 00:06:30.12 ID:USfaijC+.net] >>749 >>756 ＞− |log(Θ)| の有限性の論拠 Goサーベイの33ページをみると論拠が明確に書いてあったでし IUT-�WのThm.1.10（GoのサーベイだとProp.1.12）より 不等式−|log(Θ)| ≦−log(q)/2ℓ+(長いので略) が成り立つんで −|log(Θ)| は有限でしゅ これでおｋなのでは？ 790 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 00:18:50.54 ID:ooVyhosw.net] >>763 両辺が同時に発散する可能性が排除できないのでは？ 791 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 00:28:50.07 ID:16KXCt94.net] 少なくともショルツはそれ読んだんじゃなかったか？ 792 名前：１３２人目の素数さん [2018/04/05(木) 00:53:24.05 ID:NxmPmjU6.net] 物理は標準モデルより直感的に計算した 数値と測定値を比較し誤差が新しい 物理を生み出す。 (ダークエネルギーは誤差) 数学はwell defindedの定義と 厳密な論理体系より数値 等号 不等式 を導く。 数学も物理も無限から有限値を導くが 目的と体系が違う。 この点、物理と数学 混ぜると危険 ！ 793 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 00:57:36.33 ID:USfaijC+.net] >>764 log(Θ)の定義とかを確認してみると 素点全体を走る無限和を取ったりしているので 安直なワシには一見アヤシイ不等式評価をしているように見えましゅが どうなんでしょうな もしそういうごく基本的な注意点を考慮に入れてないとすれば 学部生からやり直せレベルでし 流石にモッチッチーやGoのような一人前の数学者が そんな間抜けな見落としをしているわけがないと信じたい 794 名前：１３２人目の素数さん [2018/04/05(木) 01:10:50.36 ID:16KXCt94.net] 第四はp23だな 795 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 06:26:19.25 ID:3Ptk1EOp.net] 新一が東工大にいる 796 名前：１３２人目の素数さん [2018/04/05(木) 06:41:32.13 ID:qX4hzoIE.net] >>767 何かキモい。語尾とか 普通に書け 797 名前：１３２人目の素数さん [2018/04/05(木) 08:21:02.50 ID:QakIefNJ.net] >>747 それ以前の一般論は正しい、間違いがある、 間違ってすらいない、のどれかだろう 798 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 09:30:19.40 ID:fBsrjfnZ.net] 松本眞先生、2ちゃんねる見てないで仕事してください。 799 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 09:50:16.56 ID:kedbSEw0.net] >>771 PSのコメントから、なんか他にも突っ込みどころ持ってそうなんよね で、そのなかでも誰にでも分かりやすいところってんであけだのが件ので まあこれ2月くらいにも書かれてたけどもさ 800 名前：１３２人目の素数さん [2018/04/05(木) 09:51:06.95 ID:RkSbqJhd.net] ロマンの東工大？？ 801 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 10:27:51.05 ID:3Ptk1EOp.net] 望月さんはなぜ今東工大、加藤Bさんのところにいるんだろう。ますます 802 名前：怪しいな。 [] [ここ壊れてます] 803 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 10:37:29.89 ID:ooVyhosw.net] おまいらストーカーもほどほどにな 804 名前：１３２人目の素数さん mailto:sage [2018/04/05(木) 10:41:26.58 ID:jZ9LLAcb.net] >>775 >>769 wktkイベントの兆候では

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef