[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
Inter-universal geometry と ABC予想 42 http://rio2016.5ch.net/test/read.cgi/math/1572150086/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
810: １３２人目の素数さん [sage] 2019/12/15(日) 02:40:00.96 ID:7Z7ks2Cy >>808 さすがにあれがB本人だとは思えないんですけどね なんで私のレス>>430に答えられないの？ということです あれはjinかjin同様のIUT関係者のパパラッチだと思うのですよ ただ、B本人の可能性も全く捨てきれないのは、ひょっとしたらIUT説法を拝聴していただけで、 概要と結論だけを鵜呑みにしている可能性もあるからです Bが詳細なサーベイやレポートを書かない限りは彼の理解など分かりませんからね http://rio2016.5ch.net/test/read.cgi/math/1572150086/810
811: １３２人目の素数さん [] 2019/12/15(日) 12:01:18.94 ID:4bvLAASC ない証明の破綻を具体的に指摘せよという悪魔の証明を求めるだけで 人事予算やりたい放題 本まで売れて 人生バラ色 http://rio2016.5ch.net/test/read.cgi/math/1572150086/811
812: １３２人目の素数さん [sage] 2019/12/15(日) 12:24:23.74 ID:53DMvjSJ 何か進展ないの？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/812
813: １３２人目の素数さん [] 2019/12/15(日) 15:24:09.31 ID:oddjJlmk >>791 スマホで読んだら広告で切れてるのでどこにABC予想の話があるのかとしばらく気付きませんでしたw 自然同型といえば、例えばunique up to isomというのも近い話で、こういうものは結構強い条件ですから、 ある程度具体的な話をしている時にはあまり間違えないんですね ところが、∞圏とか三角圏みたいな自由度も抽象性も高い理論になればなるほど間違いが増える というか、後で見てみたら結構雑だったと言われる論文は多分たくさんあるでしょう 確かFaltingsのホッジ理論の完全系列も最初は大間違いだったみたいですね これは古典的にはオイラーの時代の解析とコーシー以降の解析の違いにも言えるかもしれません 勿論、厳密ではなくとも話は伝わるという事もあるわけで、Scholzeとかの件の論文がどういう話なのかは よくわかりません。要するに厳密ではなくても意義がある、という事は普通にありえますからね IUTについての言及は、どの程度否定的なのかはわからないけど、皮肉なのは間違いないでしょうねw 自然同型というのは便利な言葉だけど、ある議論の目的ありきで話をしている時には よく見たら情報が抜けているとか、逆に恣意性が加わっている可能性に注意しなければならない 特に過度の術語を駆使した理論というのは非常に危険ですね。皮肉を言われても仕方ありません http://rio2016.5ch.net/test/read.cgi/math/1572150086/813
814: １３２人目の素数さん [sage] 2019/12/15(日) 16:41:11.52 ID:oddjJlmk 個人的にはAnabelioidの計算の議論だけ取ったら特に問題ないと思うんですけどね スリム圏というのは加法的な計算を1関手で済ませるための構成だろうし、エタールテータを局所的な対数殻で 計算するのは、関数の定義と単遠アーベルの定義から 必然的なのは確かです 重度の問題は基本的に乗法部分でしょう。何が一番おかしいのかと言えば、モノイド対象の標準的分裂を 利用して計算するという中で、宇宙全体で非自明な計算を実現するために非可換性とラベルを合わせて 辻褄を合わせなければならないことです。まあ、実際にはもう少しおかしいと思う所もあるけど http://rio2016.5ch.net/test/read.cgi/math/1572150086/814
815: １３２人目の素数さん [] 2019/12/16(月) 12:29:20.47 ID:sUWlqwcS >厳密ではなくても意義がある、 という事は普通にありえますね IUTの場合 オカルトマニア氏を 想起してしまうんだが、、 http://rio2016.5ch.net/test/read.cgi/math/1572150086/815
816: １３２人目の素数さん [sage] 2019/12/16(月) 13:37:00.15 ID:XoXAwyA2 >厳密ではなくても意義がある、 まずは本人や取り巻きが「厳密ではない」と認めないと 「IUTは将来の数学の目標」という方向にすら進めないんだなあ http://rio2016.5ch.net/test/read.cgi/math/1572150086/816
817: １３２人目の素数さん [sage] 2019/12/17(火) 22:06:56.34 ID:XBPaypvG >>814 まあ、アナベリオイドやラベルの発想があったからこそ、対数テータ格子とその非可換性という着想が得られたわけですね 2015年にショルツとメールでのやり取りで「対数テータ格子の非可換性」が問題になったそうなので、 やはり当時からラベルの問題、アナベリオイド幾何学の使用がショルツらには引っかかっていたのかもしれません SSレポにアナベリオイド関連論文の参照がないのもそういうことでしょう。SSにとっては不必要・無意味だ、と でも、この部分こそがIUTの基礎なんですけどね ホッジ・アラケロフ、絶対遠アーベル、組合せ論的遠アーベル、p進タイヒミュラーについて問題があるとは聞いたことがないです やはりIUTの構築自体の問題と捉えられているようです ちょっとぼかして書きますが、RIMSに行った知り合いの中にも、IUTそのものはよく分からないが、 絶対遠アーベルやアナベリオイド幾何学に対する関心のほうが強い人が多い感じがします 実際、弟子を除けば論文やレポを書いたのはKirti Joshiぐらいで、これはIUTそのものではなく絶対遠アーベルと形式群の話 弟子だって南出を除けば遠アーベル関連しかないでしょう あと、バザードのブログの件は後で書きます。感想ありがとうございます http://rio2016.5ch.net/test/read.cgi/math/1572150086/817
818: １３２人目の素数さん [] 2019/12/18(水) 20:10:29.94 ID:m7IcSTCT 中学数学からはじめる微分積分 https://www.youtube.com/watch?v=4p1rwfXbCoY&t=4341s 高校と大学の積分は決定的に違う？微分積分学の基本定理は実はすごい！ https://www.youtube.com/watch?v=V9i_zlbssbs&t=475s 中学数学からはじめる相対性理論 https://www.youtube.com/watch?v=voFHToRM4xI&t=10s 理学部と工学部の違いとは？ https://www.youtube.com/watch?v=eJH4nKU6mJA&t=80s 線を描くだけ！万能視覚的かけ算【インド式計算】 https://www.youtube.com/watch?v=Sj6Y43D76GA 大学と大学院の違い https://www.youtube.com/watch?v=xBKAEvTegN8 東大院生がYouTuberになった理由 https://www.youtube.com/watch?v=pEqdjYJoyms 塾講師をはじめる君へ【新人講師・教師の方へ】 https://www.youtube.com/watch?v=z-EtLRtDlzY なぜ勉強するのか https://www.youtube.com/watch?v=Kpfae1U2uFE http://rio2016.5ch.net/test/read.cgi/math/1572150086/818
819: １３２人目の素数さん [] 2019/12/19(木) 06:16:28.20 ID:vUsZDapA IUT翼賛スレ https://rio2016.5ch.net/test/read.cgi/math/1573769803/485-486 大阪の愛国馬鹿が発狂中ｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1572150086/819
820: １３２人目の素数さん [] 2019/12/19(木) 07:25:47.73 ID:MJq0roQH 巣へお帰り http://rio2016.5ch.net/test/read.cgi/math/1572150086/820
821: １３２人目の素数さん [] 2019/12/19(木) 21:12:11.06 ID:+9fThvdv 北大の森田って死んだの？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/821
822: １３２人目の素数さん [sage] 2019/12/19(木) 21:44:35.73 ID:OCXHAKyf ホッジ予想のコンラッドの弟子も消えたよ http://rio2016.5ch.net/test/read.cgi/math/1572150086/822
823: １３２人目の素数さん [] 2019/12/20(金) 02:06:38.42 ID:yiLw1Jz8 0645 しろ@huwa_cororon 11月27日 苦節6ヶ月、初満点&一等賞です！ https://twitter.com/huwa_cororon/status/1199593474128896000 https://twitter.com/5chan_nel (5ch newer account) http://rio2016.5ch.net/test/read.cgi/math/1572150086/823
824: １３２人目の素数さん [] 2019/12/20(金) 02:42:27.44 ID:rpmq4fRE IUTから消える人は・・・？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/824
825: １３２人目の素数さん [sage] 2019/12/20(金) 14:45:41.22 ID:ttwVfhV6 １）アイデアがある ２）発達する ３）完成する ４）その部分ではだれも間違わなくなる（何が間違いかの議論の余地がなくなる） 近代では４）をもって３）とし、３）をもって数学的確かさとするという信念が 科学者に共有されていて、いわゆる数学的プラトニズムとして世界観として共有されてきた。 ところが今の時代を動かす技術のディープラーニングであるとかビッグデータであるとかは ３）の水準を満たさず、しかし技術としては有用さの水準を満たしている。 数学は数学的プラトニズムとの近接性から、数学自体が数学的プラトニズムの性質を 満たして表現ないし存在すべきという方向性で発達した経緯がある。 ところが望月さんの数学はおそらくその表現の性質が数学的プラトニズムの要件を満たしていない。 つまり誰がどの部分を読んでも同じように理解され疑問の余地がないものとして 自然に普及する性質を持たない。 なので形式への拒否が強い。しかしその拒否はディープラーニングやビッグデーターへの 拒否感、つまり何か中身がわからないのに一定の手続きを踏むと十分に有用な結果が出るという そのブラックボックス感の得体のなさへの恐れと同一の恐れではないか。 その恐れはあるいはコンピューターの数学研究への利用への拒否と同じ動機によるものかも しれない。それは数学者が大航海時代に対数表を計算するためにひたすら計算を繰り返した 職人の地位に転落する恐れともいえるようなものだ。 それはともあれ、少なくとも、数学は人間のなしうる行為の中で 本質的に最も高尚なものであると思うのであれば 望月さんの数学が少なくともその形式の範囲ではすでにある数学の一部しか表現できないと 証明されるのでない限り、その形式の非正統性をもって望月さんの数学を否定する理由に すべきではないと思う。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/825
826: １３２人目の素数さん [] 2019/12/20(金) 16:53:14.10 ID:vUqDEWsx うだうだポエムを書いているが2020年のプロジェクトで大きな問題が次々解決して IUTを笑っていた連中が来年の今頃は真っ青になっているさ http://rio2016.5ch.net/test/read.cgi/math/1572150086/826
827: １３２人目の素数さん [sage] 2019/12/20(金) 17:51:09.96 ID:5RleJ5Qn どこで損切りできるかが運命の分かれ目 http://rio2016.5ch.net/test/read.cgi/math/1572150086/827
828: １３２人目の素数さん [] 2019/12/20(金) 18:09:46.93 ID:ZuU0i/Zb >2020年のプロジェクトで大きな問題が 次々解決 おや、既にRIMSは解決している と報告している。 RIMSは平成22-27年度事業評価に ついて「望月新一による宇宙際タイヒ ミューラー理論の構築とその結果と しての ABC 予想の解決は、特筆すべき 出来事である」と既に文科省へ現況 調査表で報告した。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/828
829: １３２人目の素数さん [sage] 2019/12/20(金) 18:17:51.70 ID:1eCzK2On 公務員はやらかしてもほっとけば済むからな http://rio2016.5ch.net/test/read.cgi/math/1572150086/829
830: １３２人目の素数さん [] 2019/12/20(金) 19:19:16.24 ID:ylfrCRaM ２０２０年の予言 望月新一の件で、安倍晋三が失脚するｗ http://rio2016.5ch.net/test/read.cgi/math/1572150086/830
831: １３２人目の素数さん [] 2019/12/20(金) 20:50:24.49 ID:vUqDEWsx ２０２０年は 望月新一が数学史に名を刻み、安倍晋三が自民党総裁4選して首相続投する http://rio2016.5ch.net/test/read.cgi/math/1572150086/831
832: １３２人目の素数さん [sage] 2019/12/20(金) 23:21:08.89 ID:dN89NZ8a >>825 申し訳ないが、あなたの文章を読んでいるとB本人かBのエピゴーネンにしか見えません ツッコミどころ満載なんですが、以下2点に絞って書きます ・ブラックボックスの件 これはIUTや望月に対してではなく、理解者たちに向けられた言葉。正しいと思うならなぜ理解可能で詳細な説明ができないのかということ 理解者たちはこのブラックボックスを解析できたわけだ。にも拘らず、その内容をなぜ説明せず、「3.12は原論文参照」としたり、 長大なまとめコピペにしたり、望月反論レポの超絶劣化簡略版コピペFAQしか書けないのかということ さらに、コンラッドのオックスフォード・レポにもあるが、立ち話でも20分ぐらいあれば説明して理解してもらえるはずだろう、ということ これができないから「理解者たちは3.12を“ブラックボックス化”している」と言われるわけだ つまり、ブラックボックスそのものではなく、理解者たちが“ブラックボックス化”しているということ ・望月の数学の件 これはIUTに限定してのことだと思うが、あなたのレスの最終段落は私には意味不明です そもそもナンセンスで理解不可能、望月本人でさえ“general nonsense techniques”と言っているもので、 ロバーツの言葉を借りれば“private fan dance”にか見えないものです 要するに、あまりにおかしくてまともに相手はできない、ということです 以上、2点に絞って長々と書きましたが、望月（のIUT）を擁護したいならもっと具体的に書いて下さい 理解者や支持者、擁護したい人たちに決定的にかけているのは具体的に、詳細に、納得できるように書くことです まず、充満多重同型の解説から始めて下さい http://rio2016.5ch.net/test/read.cgi/math/1572150086/832
833: １３２人目の素数さん [sage] 2019/12/20(金) 23:54:13.21 ID:dN89NZ8a ついでに言っておくが、ファルティングスをして「理解不能、望月が何をやっているのか全く分からない」とまで言わしめたもので、 当然、私ごとき凡才にはIUTは数学にすら見えない 私語りで恐縮だが、私自身はIUTをまともな数学だと思ったことは一度もない ジョイス『フィネガンズ・ウェイク』やマラルメ『イジチュール』の数学版だと書いて、過去スレでcanonicalなバカだと罵倒されたこともあるｗ 実際はこの偉大な文学作品の劣化版にしか見えないけどね もっと正確には、ある種の現代音楽に近いと思った。今思うととんでもない勘違いで、作曲家や作品名は挙げないけど。 私は哲学、文学、絵画などよりも音楽からインスピレーションを受けやすいタイプなので、その辺でIUTに関心を持った 今となっては全くの無駄だと思うし、上記の文学を読み返したり、現代音楽を聴き直す方が私自身にとってはよほど建設的なんだけどね まあ、IUTは暇潰しに多少読んだし、数学以外でも多くのこと（問題点）を考えられるから時々このスレを見て長文を書いてしまう次第ｗ 私語りスミマセンでした orz http://rio2016.5ch.net/test/read.cgi/math/1572150086/833
834: １３２人目の素数さん [sage] 2019/12/21(土) 00:06:57.89 ID:R5zXcFKP 確かに望月さんの数学がブラックボックスでなければならないという理由はないですね 数学は人の為すことなのでそれは人の責任ではないかといわれればその通りです。すみません。 望月さんの数学を数学的プラトニズムの要件を満たして表現するとなると、 たぶん多くの作業が必要で、例えば数学史では点列コンパクトの概念が コンパクト性の概念に出世魚のように名前が変わり現れるとか 多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と その手続き（やその組み合わせ）にも拘わらず保存される性質のリストとして 網羅的に書き出す必要が出てくるのだと思います。 またその手続きの分類が現在の圏論を拡張した範囲で網羅しつくせるという保証もなく ならばある圏論の拡張の小さなテストケースとそれにより定義される限られた性質の 組み合わせでまずは一つ成果を出そうというのが現状だと思うのです。 それがＡＢＣ予想という少し野心的な内容になり扱いがセンセーショナルになったのは歴史上の悲劇だと思います。 じゃあお前が何か「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその性質の組み合わせの範囲で書かれた証明だ」というような啓蒙的な例を書けと言われると実際わたくしは一介のディレッタントに過ぎず その力がないのです。 その力がないのになぜ上のような文章を書くのかというとつまり 「あまりにおかしくてまともに相手をできない」たぐいのものに触発されて やはり「あまりにおかしくてまともに相手をできない」ものを書いたのではないかと 確かにだんだんと頭が冷めてきた次第です。 思いがけぬお叱りの文章をいただき反省しております。どうもすみませんでした。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/834
835: １３２人目の素数さん [sage] 2019/12/21(土) 00:24:02.10 ID:R5zXcFKP ＞多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と それを→それを同一のものとして これが抜けると文意をなしませんね 重ね重ねすみません http://rio2016.5ch.net/test/read.cgi/math/1572150086/835
836: １３２人目の素数さん [sage] 2019/12/21(土) 00:30:20.20 ID:R5zXcFKP ＞「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその性質の組み合わせの範囲で書かれた証明だ」 「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその数学的性質に対応する既存の数学での数学性質で」「これがその性質の組み合わせの範囲で書かれた証明だ」 としないとダメですね でないとブラックボックスにしているという批判に対応していませんね http://rio2016.5ch.net/test/read.cgi/math/1572150086/836
837: １３２人目の素数さん [] 2019/12/21(土) 07:18:21.86 ID:UgqFkv4n >>833 > 過去スレでcanonicalなバカだと罵倒されたこともあるｗ まるで自分がバカでないかのような物言いだがそれは間違っている http://rio2016.5ch.net/test/read.cgi/math/1572150086/837
838: １３２人目の素数さん [] 2019/12/21(土) 07:54:51.23 ID:sDHAtJ3L 圏の拡張よりアナルの拡張に興味があります http://rio2016.5ch.net/test/read.cgi/math/1572150086/838
839: １３２人目の素数さん [] 2019/12/21(土) 11:12:03.76 ID:RiKZpZyq 馬鹿が支持してる時点でIUTはダメだね https://rio2016.5ch.net/test/read.cgi/math/1573769803/ ２０２０年の予言 望月新一の件で、安倍晋三が失脚するｗ http://rio2016.5ch.net/test/read.cgi/math/1572150086/839
840: １３２人目の素数さん [] 2019/12/21(土) 11:15:43.87 ID:RiKZpZyq >>832 ＞まず、充満多重同型の解説から始めて下さい 「充満多重同型」ってそもそも論文中で定義されてるの？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/840
841: １３２人目の素数さん [sage] 2019/12/21(土) 13:18:23.28 ID:R5zXcFKP ＞ここで,用語の説明ですが,宇宙際Teichm ̈uller理論では,ある2つの対象A,Bに対して, ＞AからBへの射のなすある(通常空でない)集合を多重射(poly-morphism)と, ＞AからBへの同型射のなすある(通常空でない)集合を多重同型(poly-isomorphism)と, ＞AからBへの同型射全体のなす集合を充満多重同型(full poly-isomorphism)と呼びます. これ？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/841
842: １３２人目の素数さん [sage] 2019/12/21(土) 13:31:21.06 ID:R5zXcFKP 射がどのように同型であるかという性質の例として「円分物」の説明があるということですかね その「円分物」というのがよくわかんないんですよね基礎学力不足で・・・ 点列コンパクトとコンパクト性の例なら「被覆」の説明として例が作れる気がしますが 「射が「被覆」という性質で同型」ってどうやって式に書くのやら・・・ http://rio2016.5ch.net/test/read.cgi/math/1572150086/842
843: １３２人目の素数さん [sage] 2019/12/21(土) 13:48:50.51 ID:R5zXcFKP B←A：ｆ（∃Ｓ∃｛Ｕｊ｝i∈Ｉ｜Ｓ＝Ｕ＿i∈Ｉ Ｕi） こんな感じ？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/843
844: １３２人目の素数さん [sage] 2019/12/21(土) 14:06:14.42 ID:eI2xnVZT >>841 この定義ってなんか駄目なん？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/844
845: １３２人目の素数さん [sage] 2019/12/21(土) 14:08:34.64 ID:R5zXcFKP おんなじ形式で点列コンパクトを書くと Ｒｎの部分集合ＫはＫの任意の点列がＫの点に収束する部分列を含む Ｂ←Ａ：ｆ（∃Ｒｎ∃Ｋ｜部分列はＫの任意の点列がＫの点に収束する、みたいな式） で両方の射にたとえばＣ１とＣ２とか名前を付けると Ｃ１とＣ２の扱いに同一の部分があるとしてさらに名前をつけ 射の型Ｃは被覆で同型を与えその基礎的性質は以下のように記述される として記述できる形式がないとダメなんですが、まあなんか式の形が同じとして 「式の形が同じ」というのを式で書くとどうなるかというと http://rio2016.5ch.net/test/read.cgi/math/1572150086/845
846: １３２人目の素数さん [sage] 2019/12/21(土) 14:09:17.33 ID:R5zXcFKP >>844 全然ダメじゃないと思いますよ http://rio2016.5ch.net/test/read.cgi/math/1572150086/846
847: １３２人目の素数さん [sage] 2019/12/21(土) 14:17:28.99 ID:R5zXcFKP そこは数学的な中身に応じて射の性質の定義のリストを作って 「中身に意味があるからリストの最小単位として妥当だろう」とコンセンサスを作るしかない。 すると望月さんの数学は要は既存の数学をある方法で清書してみせたのに過ぎない のかな？ それがかえって難読であるというのはむしろ可能性を示していて実際には その延長線上には数学全体の記述がすっきり読みやすいものに整理されるという 地平がひろがっている、と。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/847
848: １３２人目の素数さん [sage] 2019/12/21(土) 14:18:15.50 ID:R5zXcFKP 満足しました。お騒がせしました。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/848
849: １３２人目の素数さん [sage] 2019/12/21(土) 14:24:20.12 ID:R5zXcFKP 絶対遠アーベル アナベリオイド幾何学 みたいなのは内容がわからないのでコメントしづらいですが新しいのでしょう 望月さんの頭のなかでは数学がある種清書された形式で扱われているので 発見が出やすいのでしょう 清書法の清書が普及すれば数学界全体でも発見がより容易になり それが全体に貢献するというのはいうまでもありません 望月さんえらい では http://rio2016.5ch.net/test/read.cgi/math/1572150086/849
850: １３２人目の素数さん [] 2019/12/21(土) 16:35:18.78 ID:RiKZpZyq >>846 >>841は具体的な条件が全く記されていないので 不十分とかいう以前に無意味ですね http://rio2016.5ch.net/test/read.cgi/math/1572150086/850
851: １３２人目の素数さん [sage] 2019/12/21(土) 17:13:25.21 ID:R5zXcFKP >>850 集合論における空集合の定義みたいなもので 空集合も集合の要素としての具体的な内容は全く記されていませんが 不十分ないし無意味ではなく、これもそのようなものかと。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/851
852: １３２人目の素数さん [] 2019/12/21(土) 17:25:07.79 ID:RiKZpZyq >>851 空集合は全く要素を持たない集合と定義されているので これで完全に意味をもつ http://rio2016.5ch.net/test/read.cgi/math/1572150086/852
853: １３２人目の素数さん [sage] 2019/12/21(土) 17:32:33.54 ID:R5zXcFKP >>852 多重射(poly-morphism)はAからBへの射のなすある(通常空でない)集合である。 多重同型(poly-isomorphism)はAからBへの同型射のなすある(通常空でない)集合である。 充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合である。 と書けばよいということでしょうか。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/853
854: １３２人目の素数さん [sage] 2019/12/21(土) 17:34:48.92 ID:ucYznWes >>851 私は論文一ミリも読んでないので事情がよくわからないのですが>>841を定義だと考えて後で何か困るんですか？ 後で定義ではそんな事言ってなかったろみたいな？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/854
855: １３２人目の素数さん [sage] 2019/12/21(土) 17:38:59.06 ID:R5zXcFKP >>854 わたしも何も問題ないという立場です。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/855
856: １３２人目の素数さん [sage] 2019/12/21(土) 18:09:58.61 ID:rmMbDG2D IPSは潰されそうになり 古澤さんはアメリカに差し出されるなか IUTは完全放置ww http://rio2016.5ch.net/test/read.cgi/math/1572150086/856
857: １３２人目の素数さん [] 2019/12/21(土) 18:26:33.29 ID:RiKZpZyq >>853 「ある集合」という言い方が「なんらかの条件を満たす集合」と読める そうではなく、”空でなければどんな集合でもよい”のであれば ”多重射(poly-morphism)はAからBへの射のなす(通常空でない)集合” ”多重同型(poly-isomorphism)はAからBへの同型射のなす(通常空でない)集合” ”充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合” と書けばよい 君は上記の意味だと理解しているのか？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/857
858: １３２人目の素数さん [sage] 2019/12/21(土) 18:48:16.52 ID:R5zXcFKP >>857 そのとおりです。文意を読み取れておらずもうしわけございませんでした。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/858
859: １３２人目の素数さん [] 2019/12/21(土) 18:53:24.01 ID:RiKZpZyq >>858 了解 http://rio2016.5ch.net/test/read.cgi/math/1572150086/859
860: １３２人目の素数さん [] 2019/12/21(土) 19:44:47.67 ID:sIb5c2QE >>833 >>834 凄い適当でもあり他方で確信もあり口を挟みますが、IUTのような議論はABC予想の証明に不可欠では ありません。普通の普遍性を満たす完備、余完備な圏論を用いた証明が存在することは 近年の方向性から明らかです。8年経ってこの有り様では、別証明が出てきて定着するほうが先かもしれない http://rio2016.5ch.net/test/read.cgi/math/1572150086/860
861: １３２人目の素数さん [sage] 2019/12/21(土) 19:49:10.77 ID:R5zXcFKP >>860 IUTの議論がABC予想の証明に不可欠ではない、という意見には賛成します。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/861
862: １３２人目の素数さん [sage] 2019/12/21(土) 19:56:31.73 ID:sIb5c2QE エタール基本群（EFG）の位置付けについては難しい所があるが、モノイド上という新たな条件はあれど、 エタール基本群の一種の忘却関手を取って数体の非自明な解析的不変量が計算されるとはちょっと考えがたい そんなに代数体のディオファントス幾何は単純ではないし、実際にはEFGの部分群ではなくて 一種の拡張を考えないといけないはずなんだよね。本当に難しいんですよ、私もこの数年で調べたんだけど そこでIU形式主義+Anabelioidの枠組みが効果的かどうかが全てで、ここには書かないが 論理的に不十分なんじゃないかなと思う。アイデアの有無についてショルツを舐めちゃいけない 絶対ガロア群のトポロジーによる一般化など、perfectoidだけではない射程を持っている それだけの数学者もアイデアが不十分と感じるというのは、もはや文学というよりプラトニズムに 関わるレベルでの疑念だと言えるんじゃないですか http://rio2016.5ch.net/test/read.cgi/math/1572150086/862
863: １３２人目の素数さん [sage] 2019/12/21(土) 20:48:05.11 ID:jmuA+gqL 充満多重同型の定義は原論文にちゃんとある その上で、星の「ある(通常空でない)集合」は原論文の定義そのままのsubsetのこと 山下のサーベイでの多重射・多重同型の定義だが、これはこの同型がIUTで実際どう使われるかを先取りして書いた側面がある つまり、“possibly empty”は忘却関手を指している さらに、SSレポ脚注では“possibly indeterminate”とあり、これはエタール輸送不定性を指している 当たり前のことだが、定義だけ見てそれがどう使われるのか見なければ何も分からない 充満多重同型と書かれて、この「充満」って何？と思うのが普通 多重「同型」ということは充満忠実になっていて、さらにこれらすべてを充満として考えるの？ 充満-充満忠実？ え？でも“forgettig the histories of operations”とか言って忘却関手を強調し続けるんだよね？どうなってるの？ 充満多重同型は絶対ガロア群G１→G2の関係性でエタール輸送不定性を生じるものでしょ？さらに位相構造を忘れる、と？ ま、こんな疑問は当たり前に出てくる 前にも書いたけど、充満多重同型はΘリンクを考えるという発想を前提としてみなければ全く分からない つまり、Θリンク総体として「充満」多重同型を見なければ完全に意味不明になる http://rio2016.5ch.net/test/read.cgi/math/1572150086/863
864: １３２人目の素数さん [] 2019/12/21(土) 20:57:13.95 ID:RiKZpZyq >>863 その書き込みを待っていた で、その上で質問 Θリンクって何？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/864
865: １３２人目の素数さん [sage] 2019/12/21(土) 21:13:02.81 ID:jmuA+gqL >>864 う〜んとですね、もう自分で調べてくださいｗ B本でもいいし、星入門でもいいですから…… 上の充満多重同型だって論文やサーベイで語検索をかければすぐ出てきますよ その上で、先ず自分で読む、考える、ほかの人の考えを訊く。当たり前のことだと思うんですけどね まあ、IUT読むよりは他のことをやった方がいいですよ 私は暇潰しとは言え読んじゃったのでｗ 他にも幸か不幸か読んじゃった人がこのスレに少なくとも一人はいるので、 暇潰しでここを利用しているだけです http://rio2016.5ch.net/test/read.cgi/math/1572150086/865
866: １３２人目の素数さん [] 2019/12/21(土) 21:14:57.21 ID:RiKZpZyq >>860 ＞IUTのような議論はABC予想の証明に不可欠ではありません。 つまり、Scholzeや他の人が、他の方法でABC予想を証明してしまい 業績をかっさらってしまう可能性があるってことですね http://rio2016.5ch.net/test/read.cgi/math/1572150086/866
867: １３２人目の素数さん [] 2019/12/21(土) 21:19:35.90 ID:RiKZpZyq >>865 ボクは数論屋じゃないんで 読んでも分からないですよｗ ということで他人に聞く これ一番ラクちんな勉強法で 実は数学者でもこれが得意な人が少なくないとかｗ ＞IUT読むよりは他のことをやった方がいいですよ ええ、だから読んじゃった人から聞いてすませようかと（極悪） http://rio2016.5ch.net/test/read.cgi/math/1572150086/867
868: １３２人目の素数さん [sage] 2019/12/21(土) 22:09:08.21 ID:jmuA+gqL >>813 バザードの考え方は彼のブログを読めば分かるので、IUTは彼からすれば（私もそうだし、ロバーツもそうでしょう）、 同型＝等式ではない、もっと厳密に注意深く取り扱わなければならないという警鐘に対する極端な逆張りですね 望月の考えは「同型⊂充満多重同型」ですよ。だから何でもできる 圏論の望月流の利用（濫用？悪用？私的流用？ｗ）ですかね ショルツの件はご存じだと思っていました。彼の今年の大学での講義“Condensed Mathematics”ですね ネット上にPDFもあるし、youtubeにMSRIでの講義もあります。バザードのチャットでも盛り上がっていたようです ちょっと読んだだけで詳しく分からないのであまり書けません 「理論的な数学」と「厳密な数学」というバザードの問題意識は、言葉を換えれば現代数学版デカルト『方法序説』ですね 詩や雄弁術は才能が必要だが、数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる、と それをコンピュータ証明で実現しようということですね しかし、その前に人間、それも優れた数学者たちによって理解され正しいと判定され、それを形式化しなければならない そのうえでコンピュータ証明する、と http://rio2016.5ch.net/test/read.cgi/math/1572150086/868
869: １３２人目の素数さん [sage] 2019/12/21(土) 22:27:31.23 ID:jmuA+gqL >>862 う〜ん、やはり私にはIUTは文学にしか見えませんね。つまり、ショルツのIUTに関する主な関心事である、 抽象vs.具象、「望月は抽象と具象と厳密に区別していない」という指摘ですね そういう意味ではちょうど先に書いたマラルメなどはプラトニストかつヘーゲル主義者です 詩人、それも象徴派の最高峰に位置する詩人で、極めて抽象的な思考の持ち主ですが、詩は語(mot)の選択と組合せという 具体的で、即物的で、唯物論的なものです 彼の詩に「類推の魔」というものがあります。タイトルだけでいえばIUTにピッタリではないでしょうかｗ 望月はSSのdrasticな単純化を彼らの「嗜好/美学」のように感じたと書いていましたが、SSだけでなくIUTに懐疑or否定的な見解を 持つ人にとっては望月こそが遠アーベル幾何学を中心に彼の「嗜好/美学」に拘って複雑怪奇なものを書いたと見えるでしょうね http://rio2016.5ch.net/test/read.cgi/math/1572150086/869
870: １３２人目の素数さん [sage] 2019/12/22(日) 00:13:36.90 ID:rvGvJ0P7 >>868 ああなるほど。仲間とDAGを重視してる事しか知りませんでしたが、ラングランズプログラムにDAGを 上手く応用するための理論か。やっぱり大物感あるなあ、ユニークな視点がコンツェビッチに似てる http://rio2016.5ch.net/test/read.cgi/math/1572150086/870
871: １３２人目の素数さん [] 2019/12/22(日) 01:52:06.01 ID:0p8SHIpA >>867 僕は数論屋でもなく数学に無知ですね IUTならB本を読んだらいかが http://rio2016.5ch.net/test/read.cgi/math/1572150086/871
872: １３２人目の素数さん [sage] 2019/12/22(日) 07:13:05.54 ID:NiwtZSFu 来年のワークショップで、effective ABCが解けた、と発表するんかね？南出氏のプレゼンで。 数学史上、エラいことだよね。 ABCだけでも凄いけど。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/872
873: １３２人目の素数さん [] 2019/12/22(日) 07:51:10.86 ID:dWgKJ6XY ＞数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる ＞それをコンピュータ証明で実現しよう 良識はあてになりませんね 公理やら定義やらの無矛盾性は良識では見分けられないですよ コンピュータ証明では、公理から定理を導く証明のチェックは可能ですが 肝心の公理が無矛盾性を満たさない場合、いかなる定理も導けますから そもそも公理系自体が無意味になりますね http://rio2016.5ch.net/test/read.cgi/math/1572150086/873
874: １３２人目の素数さん [] 2019/12/22(日) 11:04:44.03 ID:druy3BGR テータリンクはB本読めば概要は理解できると思うよ オカルトマニアの俺ですら概要はなんとなく理解できるもの それを数学的に厳密にどういうかっていうと非常に難しいけど ぶっちゃけB本の範囲内の概要でいうテータリンクの枠組みであれば リンクする部分が対称性を持って繋がれるものであればほぼ何でもいけるって解釈でもいいんじゃない 本当に厳密にはたぶん、正則構造を維持できるものでなければ駄目 正則性公理を満たせる入れ子構造同士でなければテータリンクは成立しないと推測できる しかし、このテータリンクは何度も言うように あるデータに対して同等の複数のデータが与えられたときに 複数の舞台からみて正則性公理を互いに満たし合える構造同士であればよいだろうって予測はできる ここが同じこと延々と書いてるたまに俺の相手をしてくれる人と相容れない部分なんじゃないの 双遠アーベル(この場合複数だから双子じゃないけど2n)と単遠アーベルが舞台からの見方次第で両方成立するっていう この新しい概念を導入した上で、正則性公理をそれぞれの舞台から見た結果を組み合わせることで満たし合える構造(正則構造) を維持している必要性がIUTにおけるテータリンクの枠組みを成立させるためには生じる ってのが俺の考え それで行列表現におけるデータにおいて、複数の舞台から見て正則性公理を満たし合えることが 対称性的に逆行列とかエルミート共役をとれるというような話と繋がっていて、そこから 正則性公理中の無限の入れ子構造の連続性につながるって枠組みが見えてくる たぶんこの部分で楕円曲線系のお話とぶつかっていくんだと俺の直感的には思うよ カブリIPMU？東大？から女性の専門家が合流した？って話が前に出てたけどとても良いことのように思える まぁ俺の直感を普通の数学と違う考え方と表現でうだうだ書いても、ここの人はほぼまともに考えるつもりないみたいだろうから無駄だろうけど 俺はぜひ真面目に考えて見てもらいたい http://rio2016.5ch.net/test/read.cgi/math/1572150086/874
875: １３２人目の素数さん [] 2019/12/22(日) 11:37:53.69 ID:druy3BGR >>874 対称性的に逆行列とかエルミート共役をとれるっておかしいな 対称性的に逆行列とかエルミート共役を取ったときに、ある一定の条件を満たす(単純例で言えば、ある舞台から見たときに自身になるとか) と訂正しておく、ここは俺には数学的に上手く言語化できないわ http://rio2016.5ch.net/test/read.cgi/math/1572150086/875
876: １３２人目の素数さん [] 2019/12/22(日) 11:57:43.46 ID:dWgKJ6XY >>874 ＞テータリンクはB本読めば概要は理解できる じゃ、質問 テータリンクのテータって何？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/876
877: １３２人目の素数さん [] 2019/12/22(日) 12:03:53.43 ID:dWgKJ6XY >>874 ＞正則性公理をそれぞれの舞台から見た結果を組み合わせることで満たし合える構造(正則構造) 正則性公理の英語名はaxiom of regularity 正則構造の英語名はholomorphic structure それぞれの「正則」の意味が異なりますが 分かってますか？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/877
878: １３２人目の素数さん [sage] 2019/12/22(日) 12:26:24.63 ID:OW1C1cWj >>860 不可欠でないと言い切るとは難しいかと http://rio2016.5ch.net/test/read.cgi/math/1572150086/878
879: １３２人目の素数さん [] 2019/12/22(日) 13:59:02.06 ID:XxcuQU0+ >カブリIPMU？東大？から女性の 専門家が合流した？って話が前に 出てたけどとても良いことのように 思える まぁ俺の直感 オカルトマニア氏はIUTのパロディ としては興味があるよ。 直感類推数物混同数秘術のIUT論文 をめざしてね 東大から山下氏がRIMS助教になった がIUTとは無関係でしょ。 数学で非局所境界条件のあるAPS指数 定理を物理からドメインウォール有質量 フェルミオンより非局所を避けて 同じ結果を導いた。 (非局所条件は相対論の因果律を破る。 弦理論は非局所でも因果律を破らない が相対論的場の量子論は局所因果律が 要請される) この物理結果を数学の古田幹雄氏 山下氏たちが数学の立場で次元を １つ上げ証明した。 良い仕事をしていますね arxivを参照しました http://rio2016.5ch.net/test/read.cgi/math/1572150086/879
880: １３２人目の素数さん [] 2019/12/22(日) 14:42:05.24 ID:druy3BGR >>876 対数テータ格子のテータだったり テータ関数のテータじゃないの その辺B本で言葉単体で説明してる部分あったか覚えてないな 星さんの入門を軽く流し読みした俺の理解としては、対称性情報の行列だと解釈しているよ 機械学習で最適化するコスト関数のΘと同じことでしょ？ すべてと考えるとすると無限次元になるんじゃないの 3+1次元空間で考えるなら7+1次元の対称性情報行列が核になるんじゃないか ずっと前に書いたけど、1*2*3*5＝30と互いに素な数がオイラーのトーシェント関数から8つあるからね これはすなわち正則性公理中の無限の入れ子構造の数値的表現の最も原初的なものであると言える 違ってたらゴメンな B本でテータリンクという概要で説明していたのは覚えているし理解もしているけど なんにせよそういう些事の問答は個人的にどうでもいいや >>877 俺は何度も書いてるけど直感的に書いてるから 厳密に違ってることを揚げ足取られても理解できないわ 単純に俺の言っているのは、量子力学が完全に適用できる正則構造と 正則性公理を複数の舞台で満たした上でそれらが内部的に抱える無限の入れ子構造が 歪み＝不定性を考慮した上で、同一であるっていう直感的予測の上に成り立ってる論理だから http://rio2016.5ch.net/test/read.cgi/math/1572150086/880
881: １３２人目の素数さん [sage] 2019/12/22(日) 14:50:46.76 ID:dWgKJ6XY >>880 >量子力学が完全に適用できる正則構造と >正則性公理を複数の舞台で満たした上で >それらが内部的に抱える無限の入れ子構造が >歪み＝不定性を考慮した上で、 >同一であるっていう直感的予測 ポストモダン？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/881
882: １３２人目の素数さん [sage] 2019/12/22(日) 14:56:36.93 ID:dWgKJ6XY ID:druy3BGRはもしかして精神科に通院してます？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/882
883: １３２人目の素数さん [sage] 2019/12/22(日) 14:56:54.14 ID:Z+l8F4KG 数学と物理を結びつけようという思考様式自体がすでに古臭い http://rio2016.5ch.net/test/read.cgi/math/1572150086/883
884: １３２人目の素数さん [sage] 2019/12/22(日) 14:58:36.77 ID:dWgKJ6XY ワードサラダ https://ja.wikipedia.org/wiki/%E3%83%AF%E3%83%BC%E3%83%89%E3%82%B5%E3%83%A9%E3%83%80 ワードサラダ（Word salad）、言葉のサラダとは、文法としては正しいが、意味が破綻している文章のこと。 精神医学では思考障害の一つに分類され、認知症、統合失調症、頭部損傷患者、言動性チックなどにみられる。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/884
885: １３２人目の素数さん [] 2019/12/22(日) 15:07:44.80 ID:druy3BGR ご新規さんしかいないのかな 随分前から俺はここにいるから常連さんは俺がどういうやつかは知ってると思うし 俺の言っている予測が尽く物理方面から論文出てきてるってのも 定期的に見てれば分かると思うんだけどね 俺はIUTがやりたいわけでなくて、万物の理論を探求したいの その道具としてIUTがどうやら正しかろうっていう直感で書いてる 量子重力には対称性はない ― 大栗機構長らが証明 https://www.ipmu.jp/ja/20190619-symmetry これによって示される 物理的に近似でしかありえない宇宙と、磁気単極子の予測 および電子はそれ自体がもつれている量子マイクロブラックホールだって予測 これも上にも書いた室温で電荷が量子力学的体制によって運ばれているって研究で示唆される これらをもう2年くらい前からずっとこのスレ含めて俺は予測して書いていた 磁気単極子は2つの舞台から見たときの宇宙に概念上存在する つまり、3+1次元空間においてはそれらを構成する7+1次元空間を考えたときに それを7+1次元空間の一つの極である3+1次元空間から見たときに、概念上存在して見えるってことになる ってこれももう何度もこのスレに書いてた気がするけど、詳しくは覚えてないな別のスレかもしれない http://rio2016.5ch.net/test/read.cgi/math/1572150086/885
886: １３２人目の素数さん [sage] 2019/12/22(日) 15:09:22.63 ID:dWgKJ6XY https://rio2016.5ch.net/test/read.cgi/math/1573769803/526 発言のトンチンカンな点を指摘したら発● 多分精神科で診てもらってるんだろう http://rio2016.5ch.net/test/read.cgi/math/1572150086/886
887: １３２人目の素数さん [] 2019/12/22(日) 15:11:17.69 ID:druy3BGR それと俺の文章がワードサラダに見えるってのは 単に数学だけじゃなく物理的な研究まで俺が引用した上で 数学で表される定性的で厳密な文章でない素人の文章だからそう見えるだけでしょ 本当の糖質はこんな文章じゃないよ http://rio2016.5ch.net/test/read.cgi/math/1572150086/887
888: １３２人目の素数さん [sage] 2019/12/22(日) 15:12:07.24 ID:dWgKJ6XY >>885 言い訳は結構です 精神科で診て貰ったことはありますか？ もしないなら診て貰ったほうがいいです 「物理に固執する」というのも症状の一つですから http://rio2016.5ch.net/test/read.cgi/math/1572150086/888
889: １３２人目の素数さん [] 2019/12/22(日) 15:15:46.81 ID:druy3BGR 自分たちの尺度で分からない あるいは素人のレベルに合わせて理解するのがめんどくさいことになると糖質扱いするのは 物理スレでも数学スレでも同じか 本当にそういうのが真理の探求を遅らせてると思うよ http://rio2016.5ch.net/test/read.cgi/math/1572150086/889
890: １３２人目の素数さん [sage] 2019/12/22(日) 15:15:59.41 ID:dWgKJ6XY >>887 そもそも数学や物理が分かってる人なら書かない類の文章です そういう文章を平然と書ける時点で精神的に正常でない可能性が大です 統合失調症でないとしても統合失調型人格障害の可能性は大です https://ja.wikipedia.org/wiki/%E7%B5%B1%E5%90%88%E5%A4%B1%E8%AA%BF%E5%9E%8B%E3%83%91%E3%83%BC%E3%82%BD%E3%83%8A%E3%83%AA%E3%83%86%E3%82%A3%E9%9A%9C%E5%AE%B3 統合失調型人格障害の診断基準 ・関係念慮を持ち偶然の出来事に特別な意味づけをするが、確信を持っている関係妄想はではない。 ・文化規範から離れた奇妙なあるいは魔術的な信念があり、テレパシーや予知などで、簡単な儀式を伴うこともある。 ・無いものがあるように感じるというように、知覚の変容がある場合がある。 ・過剰に具体的であったり抽象的であったり、普通とは違った形で言葉を用いたりするなどの奇異な話し方をする。 ・妄想様観念を持ち、疑い深く、自分を陥れようとしているのではないかなどと考える。 ・不適切または限定された感情は、良好な対人関係を保つのに必要なことをうまく扱えない。 ・奇妙な癖や外観は、視線を合わせなかったり、だらしのないあるいは汚れた服装などの特徴を持つことがある。 ・親族以外にほとんど友人がいない。 ・過剰な社会不安は、慣れによって減じることはなく、妄想的な恐怖によってである。 http://rio2016.5ch.net/test/read.cgi/math/1572150086/890
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 112 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s