[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
810: 2019/12/15(日)02:40 ID:7Z7ks2Cy(2/2) AAS
>>808
さすがにあれがB本人だとは思えないんですけどね
なんで私のレス>>430に答えられないの？ということです
あれはjinかjin同様のIUT関係者のパパラッチだと思うのですよ
ただ、B本人の可能性も全く捨てきれないのは、ひょっとしたらIUT説法を拝聴していただけで、
概要と結論だけを鵜呑みにしている可能性もあるからです
Bが詳細なサーベイやレポートを書かない限りは彼の理解など分かりませんからね
811: 2019/12/15(日)12:01 ID:4bvLAASC(1) AAS
ない証明の破綻を具体的に指摘せよという悪魔の証明を求めるだけで
人事予算やりたい放題 本まで売れて 人生バラ色
812: 2019/12/15(日)12:24 ID:53DMvjSJ(1) AAS
何か進展ないの？
813(1): 2019/12/15(日)15:24 ID:oddjJlmk(1/2) AAS
>>791
スマホで読んだら広告で切れてるのでどこにABC予想の話があるのかとしばらく気付きませんでしたw
自然同型といえば、例えばunique up to isomというのも近い話で、こういうものは結構強い条件ですから、
ある程度具体的な話をしている時にはあまり間違えないんですね
ところが、∞圏とか三角圏みたいな自由度も抽象性も高い理論になればなるほど間違いが増える
というか、後で見てみたら結構雑だったと言われる論文は多分たくさんあるでしょう
確かFaltingsのホッジ理論の完全系列も最初は大間違いだったみたいですね
省7
814(1): 2019/12/15(日)16:41 ID:oddjJlmk(2/2) AAS
個人的にはAnabelioidの計算の議論だけ取ったら特に問題ないと思うんですけどね
スリム圏というのは加法的な計算を1関手で済ませるための構成だろうし、エタールテータを局所的な対数殻で
計算するのは、関数の定義と単遠アーベルの定義から
必然的なのは確かです
重度の問題は基本的に乗法部分でしょう。何が一番おかしいのかと言えば、モノイド対象の標準的分裂を
利用して計算するという中で、宇宙全体で非自明な計算を実現するために非可換性とラベルを合わせて
辻褄を合わせなければならないことです。まあ、実際にはもう少しおかしいと思う所もあるけど
815: 2019/12/16(月)12:29 ID:sUWlqwcS(1) AAS
>厳密ではなくても意義がある、
という事は普通にありえますね
IUTの場合 オカルトマニア氏を
想起してしまうんだが、、
816: 2019/12/16(月)13:37 ID:XoXAwyA2(1) AAS
>厳密ではなくても意義がある、
まずは本人や取り巻きが「厳密ではない」と認めないと
「IUTは将来の数学の目標」という方向にすら進めないんだなあ
817: 2019/12/17(火)22:06 ID:XBPaypvG(1) AAS
>>814
まあ、アナベリオイドやラベルの発想があったからこそ、対数テータ格子とその非可換性という着想が得られたわけですね
2015年にショルツとメールでのやり取りで「対数テータ格子の非可換性」が問題になったそうなので、
やはり当時からラベルの問題、アナベリオイド幾何学の使用がショルツらには引っかかっていたのかもしれません
SSレポにアナベリオイド関連論文の参照がないのもそういうことでしょう。SSにとっては不必要・無意味だ、と
でも、この部分こそがIUTの基礎なんですけどね
ホッジ・アラケロフ、絶対遠アーベル、組合せ論的遠アーベル、p進タイヒミュラーについて問題があるとは聞いたことがないです
省6
818: 2019/12/18(水)20:10 ID:m7IcSTCT(1) AAS
中学数学からはじめる微分積分
動画ﾘﾝｸ[YouTube]
高校と大学の積分は決定的に違う？微分積分学の基本定理は実はすごい！
動画ﾘﾝｸ[YouTube]
中学数学からはじめる相対性理論
動画ﾘﾝｸ[YouTube]
理学部と工学部の違いとは？
省11
819: 2019/12/19(木)06:16 ID:vUsZDapA(1) AAS
IUT翼賛スレ
2chｽﾚ:math
大阪の愛国馬鹿が発狂中ｗｗｗｗｗｗｗ
820: 2019/12/19(木)07:25 ID:MJq0roQH(1) AAS
巣へお帰り
821: 2019/12/19(木)21:12 ID:+9fThvdv(1) AAS
北大の森田って死んだの？
822: 2019/12/19(木)21:44 ID:OCXHAKyf(1) AAS
ホッジ予想のコンラッドの弟子も消えたよ
823: 2019/12/20(金)02:06 ID:yiLw1Jz8(1) AAS
0645
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
Twitterﾘﾝｸ:huwa_cororon
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
824: 2019/12/20(金)02:42 ID:rpmq4fRE(1) AAS
IUTから消える人は・・・？
825(1): 2019/12/20(金)14:45 ID:ttwVfhV6(1) AAS
１）アイデアがある
２）発達する
３）完成する
４）その部分ではだれも間違わなくなる（何が間違いかの議論の余地がなくなる）
近代では４）をもって３）とし、３）をもって数学的確かさとするという信念が
科学者に共有されていて、いわゆる数学的プラトニズムとして世界観として共有されてきた。
ところが今の時代を動かす技術のディープラーニングであるとかビッグデータであるとかは
省17
826: 2019/12/20(金)16:53 ID:vUqDEWsx(1/2) AAS
うだうだポエムを書いているが2020年のプロジェクトで大きな問題が次々解決して
IUTを笑っていた連中が来年の今頃は真っ青になっているさ
827: 2019/12/20(金)17:51 ID:5RleJ5Qn(1) AAS
どこで損切りできるかが運命の分かれ目
828: 2019/12/20(金)18:09 ID:ZuU0i/Zb(1) AAS
>2020年のプロジェクトで大きな問題が
次々解決
おや、既にRIMSは解決している
と報告している。
RIMSは平成22-27年度事業評価に
ついて「望月新一による宇宙際タイヒ
ミューラー理論の構築とその結果と
省3
829: 2019/12/20(金)18:17 ID:1eCzK2On(1) AAS
公務員はやらかしてもほっとけば済むからな
830: 2019/12/20(金)19:19 ID:ylfrCRaM(1) AAS
２０２０年の予言
望月新一の件で、安倍晋三が失脚するｗ
831: 2019/12/20(金)20:50 ID:vUqDEWsx(2/2) AAS
２０２０年は
望月新一が数学史に名を刻み、安倍晋三が自民党総裁4選して首相続投する
832(1): 2019/12/20(金)23:21 ID:dN89NZ8a(1/2) AAS
>>825
申し訳ないが、あなたの文章を読んでいるとB本人かBのエピゴーネンにしか見えません
ツッコミどころ満載なんですが、以下2点に絞って書きます
・ブラックボックスの件
これはIUTや望月に対してではなく、理解者たちに向けられた言葉。正しいと思うならなぜ理解可能で詳細な説明ができないのかということ
理解者たちはこのブラックボックスを解析できたわけだ。にも拘らず、その内容をなぜ説明せず、「3.12は原論文参照」としたり、
長大なまとめコピペにしたり、望月反論レポの超絶劣化簡略版コピペFAQしか書けないのかということ
省11
833(2): 2019/12/20(金)23:54 ID:dN89NZ8a(2/2) AAS
ついでに言っておくが、ファルティングスをして「理解不能、望月が何をやっているのか全く分からない」とまで言わしめたもので、
当然、私ごとき凡才にはIUTは数学にすら見えない
私語りで恐縮だが、私自身はIUTをまともな数学だと思ったことは一度もない
ジョイス『フィネガンズ・ウェイク』やマラルメ『イジチュール』の数学版だと書いて、過去スレでcanonicalなバカだと罵倒されたこともあるｗ
実際はこの偉大な文学作品の劣化版にしか見えないけどね
もっと正確には、ある種の現代音楽に近いと思った。今思うととんでもない勘違いで、作曲家や作品名は挙げないけど。
私は哲学、文学、絵画などよりも音楽からインスピレーションを受けやすいタイプなので、その辺でIUTに関心を持った
省3
834(1): 2019/12/21(土)00:06 ID:R5zXcFKP(1/16) AAS
確かに望月さんの数学がブラックボックスでなければならないという理由はないですね
数学は人の為すことなのでそれは人の責任ではないかといわれればその通りです。すみません。
望月さんの数学を数学的プラトニズムの要件を満たして表現するとなると、
たぶん多くの作業が必要で、例えば数学史では点列コンパクトの概念が
コンパクト性の概念に出世魚のように名前が変わり現れるとか
多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と
その手続き（やその組み合わせ）にも拘わらず保存される性質のリストとして
省12
835: 2019/12/21(土)00:24 ID:R5zXcFKP(2/16) AAS
＞多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と
それを→それを同一のものとして
これが抜けると文意をなしませんね
重ね重ねすみません
836: 2019/12/21(土)00:30 ID:R5zXcFKP(3/16) AAS
＞「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその性質の組み合わせの範囲で書かれた証明だ」
「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその数学的性質に対応する既存の数学での数学性質で」「これがその性質の組み合わせの範囲で書かれた証明だ」
としないとダメですね
でないとブラックボックスにしているという批判に対応していませんね
837: 2019/12/21(土)07:18 ID:UgqFkv4n(1) AAS
>>833
> 過去スレでcanonicalなバカだと罵倒されたこともあるｗ
まるで自分がバカでないかのような物言いだがそれは間違っている
838: 2019/12/21(土)07:54 ID:sDHAtJ3L(1) AAS
圏の拡張よりアナルの拡張に興味があります
839: 2019/12/21(土)11:12 ID:RiKZpZyq(1/9) AAS
馬鹿が支持してる時点でIUTはダメだね
2chｽﾚ:math
２０２０年の予言
望月新一の件で、安倍晋三が失脚するｗ
840: 2019/12/21(土)11:15 ID:RiKZpZyq(2/9) AAS
>>832
＞まず、充満多重同型の解説から始めて下さい
「充満多重同型」ってそもそも論文中で定義されてるの？
841(3): 2019/12/21(土)13:18 ID:R5zXcFKP(4/16) AAS
＞ここで,用語の説明ですが,宇宙際Teichm ̈uller理論では,ある2つの対象A,Bに対して,
＞AからBへの射のなすある(通常空でない)集合を多重射(poly-morphism)と,
＞AからBへの同型射のなすある(通常空でない)集合を多重同型(poly-isomorphism)と,
＞AからBへの同型射全体のなす集合を充満多重同型(full poly-isomorphism)と呼びます.
これ？
842: 2019/12/21(土)13:31 ID:R5zXcFKP(5/16) AAS
射がどのように同型であるかという性質の例として「円分物」の説明があるということですかね
その「円分物」というのがよくわかんないんですよね基礎学力不足で・・・
点列コンパクトとコンパクト性の例なら「被覆」の説明として例が作れる気がしますが
「射が「被覆」という性質で同型」ってどうやって式に書くのやら・・・
843: 2019/12/21(土)13:48 ID:R5zXcFKP(6/16) AAS
B←A：ｆ（∃Ｓ∃｛Ｕｊ｝i∈Ｉ｜Ｓ＝Ｕ＿i∈Ｉ Ｕi）
こんな感じ？
844(1): 2019/12/21(土)14:06 ID:eI2xnVZT(1) AAS
>>841
この定義ってなんか駄目なん？
845: 2019/12/21(土)14:08 ID:R5zXcFKP(7/16) AAS
おんなじ形式で点列コンパクトを書くと
Ｒｎの部分集合ＫはＫの任意の点列がＫの点に収束する部分列を含む
Ｂ←Ａ：ｆ（∃Ｒｎ∃Ｋ｜部分列はＫの任意の点列がＫの点に収束する、みたいな式）
で両方の射にたとえばＣ１とＣ２とか名前を付けると
Ｃ１とＣ２の扱いに同一の部分があるとしてさらに名前をつけ
省3
846(1): 2019/12/21(土)14:09 ID:R5zXcFKP(8/16) AAS
>>844
全然ダメじゃないと思いますよ
847: 2019/12/21(土)14:17 ID:R5zXcFKP(9/16) AAS
そこは数学的な中身に応じて射の性質の定義のリストを作って
「中身に意味があるからリストの最小単位として妥当だろう」とコンセンサスを作るしかない。
すると望月さんの数学は要は既存の数学をある方法で清書してみせたのに過ぎない
のかな？
それがかえって難読であるというのはむしろ可能性を示していて実際には
その延長線上には数学全体の記述がすっきり読みやすいものに整理されるという
地平がひろがっている、と。
848: 2019/12/21(土)14:18 ID:R5zXcFKP(10/16) AAS
満足しました。お騒がせしました。
849: 2019/12/21(土)14:24 ID:R5zXcFKP(11/16) AAS
絶対遠アーベル
アナベリオイド幾何学
みたいなのは内容がわからないのでコメントしづらいですが新しいのでしょう
望月さんの頭のなかでは数学がある種清書された形式で扱われているので
発見が出やすいのでしょう
清書法の清書が普及すれば数学界全体でも発見がより容易になり
それが全体に貢献するというのはいうまでもありません
省2
850(1): 2019/12/21(土)16:35 ID:RiKZpZyq(3/9) AAS
>>846
>>841は具体的な条件が全く記されていないので
不十分とかいう以前に無意味ですね
851(2): 2019/12/21(土)17:13 ID:R5zXcFKP(12/16) AAS
>>850
集合論における空集合の定義みたいなもので
空集合も集合の要素としての具体的な内容は全く記されていませんが
不十分ないし無意味ではなく、これもそのようなものかと。
852(1): 2019/12/21(土)17:25 ID:RiKZpZyq(4/9) AAS
>>851
空集合は全く要素を持たない集合と定義されているので
これで完全に意味をもつ
853(1): 2019/12/21(土)17:32 ID:R5zXcFKP(13/16) AAS
>>852
多重射(poly-morphism)はAからBへの射のなすある(通常空でない)集合である。
多重同型(poly-isomorphism)はAからBへの同型射のなすある(通常空でない)集合である。
充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合である。
と書けばよいということでしょうか。
854(1): 2019/12/21(土)17:34 ID:ucYznWes(1) AAS
>>851
私は論文一ミリも読んでないので事情がよくわからないのですが>>841を定義だと考えて後で何か困るんですか？
後で定義ではそんな事言ってなかったろみたいな？
855: 2019/12/21(土)17:38 ID:R5zXcFKP(14/16) AAS
>>854
わたしも何も問題ないという立場です。
856: 2019/12/21(土)18:09 ID:rmMbDG2D(1) AAS
IPSは潰されそうになり
古澤さんはアメリカに差し出されるなか
IUTは完全放置ww
857(1): 2019/12/21(土)18:26 ID:RiKZpZyq(5/9) AAS
>>853
「ある集合」という言い方が「なんらかの条件を満たす集合」と読める
そうではなく、”空でなければどんな集合でもよい”のであれば
”多重射(poly-morphism)はAからBへの射のなす(通常空でない)集合”
”多重同型(poly-isomorphism)はAからBへの同型射のなす(通常空でない)集合”
”充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合”
と書けばよい
省1
858(1): 2019/12/21(土)18:48 ID:R5zXcFKP(15/16) AAS
>>857
そのとおりです。文意を読み取れておらずもうしわけございませんでした。
859: 2019/12/21(土)18:53 ID:RiKZpZyq(6/9) AAS
>>858
了解
860(3): 2019/12/21(土)19:44 ID:sIb5c2QE(1/2) AAS
>>833
>>834
凄い適当でもあり他方で確信もあり口を挟みますが、IUTのような議論はABC予想の証明に不可欠では
ありません。普通の普遍性を満たす完備、余完備な圏論を用いた証明が存在することは
近年の方向性から明らかです。8年経ってこの有り様では、別証明が出てきて定着するほうが先かもしれない
861: 2019/12/21(土)19:49 ID:R5zXcFKP(16/16) AAS
>>860
IUTの議論がABC予想の証明に不可欠ではない、という意見には賛成します。
862(1): 2019/12/21(土)19:56 ID:sIb5c2QE(2/2) AAS
エタール基本群（EFG）の位置付けについては難しい所があるが、モノイド上という新たな条件はあれど、
エタール基本群の一種の忘却関手を取って数体の非自明な解析的不変量が計算されるとはちょっと考えがたい
そんなに代数体のディオファントス幾何は単純ではないし、実際にはEFGの部分群ではなくて
一種の拡張を考えないといけないはずなんだよね。本当に難しいんですよ、私もこの数年で調べたんだけど
そこでIU形式主義+Anabelioidの枠組みが効果的かどうかが全てで、ここには書かないが
論理的に不十分なんじゃないかなと思う。アイデアの有無についてショルツを舐めちゃいけない
絶対ガロア群のトポロジーによる一般化など、perfectoidだけではない射程を持っている
省2
863(1): 2019/12/21(土)20:48 ID:jmuA+gqL(1/4) AAS
充満多重同型の定義は原論文にちゃんとある
その上で、星の「ある(通常空でない)集合」は原論文の定義そのままのsubsetのこと
山下のサーベイでの多重射・多重同型の定義だが、これはこの同型がIUTで実際どう使われるかを先取りして書いた側面がある
つまり、“possibly empty”は忘却関手を指している
さらに、SSレポ脚注では“possibly indeterminate”とあり、これはエタール輸送不定性を指している
当たり前のことだが、定義だけ見てそれがどう使われるのか見なければ何も分からない
充満多重同型と書かれて、この「充満」って何？と思うのが普通
省6
864(1): 2019/12/21(土)20:57 ID:RiKZpZyq(7/9) AAS
>>863
その書き込みを待っていた
で、その上で質問
Θリンクって何？
865(1): 2019/12/21(土)21:13 ID:jmuA+gqL(2/4) AAS
>>864
う〜んとですね、もう自分で調べてくださいｗ
B本でもいいし、星入門でもいいですから……
上の充満多重同型だって論文やサーベイで語検索をかければすぐ出てきますよ
その上で、先ず自分で読む、考える、ほかの人の考えを訊く。当たり前のことだと思うんですけどね
まあ、IUT読むよりは他のことをやった方がいいですよ
私は暇潰しとは言え読んじゃったのでｗ 他にも幸か不幸か読んじゃった人がこのスレに少なくとも一人はいるので、
省1
866: 2019/12/21(土)21:14 ID:RiKZpZyq(8/9) AAS
>>860
＞IUTのような議論はABC予想の証明に不可欠ではありません。
つまり、Scholzeや他の人が、他の方法でABC予想を証明してしまい
業績をかっさらってしまう可能性があるってことですね
867(1): 2019/12/21(土)21:19 ID:RiKZpZyq(9/9) AAS
>>865
ボクは数論屋じゃないんで 読んでも分からないですよｗ
ということで他人に聞く これ一番ラクちんな勉強法で
実は数学者でもこれが得意な人が少なくないとかｗ
＞IUT読むよりは他のことをやった方がいいですよ
ええ、だから読んじゃった人から聞いてすませようかと（極悪）
868(1): 2019/12/21(土)22:09 ID:jmuA+gqL(3/4) AAS
>>813
バザードの考え方は彼のブログを読めば分かるので、IUTは彼からすれば（私もそうだし、ロバーツもそうでしょう）、
同型＝等式ではない、もっと厳密に注意深く取り扱わなければならないという警鐘に対する極端な逆張りですね
望月の考えは「同型⊂充満多重同型」ですよ。だから何でもできる
圏論の望月流の利用（濫用？悪用？私的流用？ｗ）ですかね
ショルツの件はご存じだと思っていました。彼の今年の大学での講義“Condensed Mathematics”ですね
ネット上にPDFもあるし、youtubeにMSRIでの講義もあります。バザードのチャットでも盛り上がっていたようです
省6
869: 2019/12/21(土)22:27 ID:jmuA+gqL(4/4) AAS
>>862
う〜ん、やはり私にはIUTは文学にしか見えませんね。つまり、ショルツのIUTに関する主な関心事である、
抽象vs.具象、「望月は抽象と具象と厳密に区別していない」という指摘ですね
そういう意味ではちょうど先に書いたマラルメなどはプラトニストかつヘーゲル主義者です
詩人、それも象徴派の最高峰に位置する詩人で、極めて抽象的な思考の持ち主ですが、詩は語(mot)の選択と組合せという
具体的で、即物的で、唯物論的なものです
彼の詩に「類推の魔」というものがあります。タイトルだけでいえばIUTにピッタリではないでしょうかｗ
省2
870: 2019/12/22(日)00:13 ID:rvGvJ0P7(1) AAS
>>868
ああなるほど。仲間とDAGを重視してる事しか知りませんでしたが、ラングランズプログラムにDAGを
上手く応用するための理論か。やっぱり大物感あるなあ、ユニークな視点がコンツェビッチに似てる
871: 2019/12/22(日)01:52 ID:0p8SHIpA(1) AAS
>>867
僕は数論屋でもなく数学に無知ですね
IUTならB本を読んだらいかが
872: 2019/12/22(日)07:13 ID:NiwtZSFu(1) AAS
来年のワークショップで、effective ABCが解けた、と発表するんかね？南出氏のプレゼンで。
数学史上、エラいことだよね。
ABCだけでも凄いけど。
873: 2019/12/22(日)07:51 ID:dWgKJ6XY(1/15) AAS
＞数学はすべての人間に備わっている良識（bon sens）があれば正誤を見分けられる
＞それをコンピュータ証明で実現しよう
良識はあてになりませんね
公理やら定義やらの無矛盾性は良識では見分けられないですよ
コンピュータ証明では、公理から定理を導く証明のチェックは可能ですが
肝心の公理が無矛盾性を満たさない場合、いかなる定理も導けますから
そもそも公理系自体が無意味になりますね
874(3): 2019/12/22(日)11:04 ID:druy3BGR(1/7) AAS
テータリンクはB本読めば概要は理解できると思うよ
オカルトマニアの俺ですら概要はなんとなく理解できるもの
それを数学的に厳密にどういうかっていうと非常に難しいけど
ぶっちゃけB本の範囲内の概要でいうテータリンクの枠組みであれば
リンクする部分が対称性を持って繋がれるものであればほぼ何でもいけるって解釈でもいいんじゃない
本当に厳密にはたぶん、正則構造を維持できるものでなければ駄目
正則性公理を満たせる入れ子構造同士でなければテータリンクは成立しないと推測できる
省15
875: 2019/12/22(日)11:37 ID:druy3BGR(2/7) AAS
>>874
対称性的に逆行列とかエルミート共役をとれるっておかしいな
対称性的に逆行列とかエルミート共役を取ったときに、ある一定の条件を満たす(単純例で言えば、ある舞台から見たときに自身になるとか)
と訂正しておく、ここは俺には数学的に上手く言語化できないわ
876(1): 2019/12/22(日)11:57 ID:dWgKJ6XY(2/15) AAS
>>874
＞テータリンクはB本読めば概要は理解できる
じゃ、質問
テータリンクのテータって何？
877(1): 2019/12/22(日)12:03 ID:dWgKJ6XY(3/15) AAS
>>874
＞正則性公理をそれぞれの舞台から見た結果を組み合わせることで満たし合える構造(正則構造)
正則性公理の英語名はaxiom of regularity
正則構造の英語名はholomorphic structure
それぞれの「正則」の意味が異なりますが
分かってますか？
878: 2019/12/22(日)12:26 ID:OW1C1cWj(1) AAS
>>860
不可欠でないと言い切るとは難しいかと
879: 2019/12/22(日)13:59 ID:XxcuQU0+(1) AAS
>カブリIPMU？東大？から女性の
専門家が合流した？って話が前に
出てたけどとても良いことのように
思える まぁ俺の直感
オカルトマニア氏はIUTのパロディ
としては興味があるよ。
直感類推数物混同数秘術のIUT論文
省16
880(1): 2019/12/22(日)14:42 ID:druy3BGR(3/7) AAS
>>876
対数テータ格子のテータだったり
テータ関数のテータじゃないの
その辺B本で言葉単体で説明してる部分あったか覚えてないな
星さんの入門を軽く流し読みした俺の理解としては、対称性情報の行列だと解釈しているよ
機械学習で最適化するコスト関数のΘと同じことでしょ？
すべてと考えるとすると無限次元になるんじゃないの
省12
881: 2019/12/22(日)14:50 ID:dWgKJ6XY(4/15) AAS
>>880
>量子力学が完全に適用できる正則構造と
>正則性公理を複数の舞台で満たした上で
>それらが内部的に抱える無限の入れ子構造が
>歪み＝不定性を考慮した上で、
>同一であるっていう直感的予測
ポストモダン？
882: 2019/12/22(日)14:56 ID:dWgKJ6XY(5/15) AAS
ID:druy3BGRはもしかして精神科に通院してます？
883(1): 2019/12/22(日)14:56 ID:Z+l8F4KG(1) AAS
数学と物理を結びつけようという思考様式自体がすでに古臭い
884: 2019/12/22(日)14:58 ID:dWgKJ6XY(6/15) AAS
ワードサラダ
外部ﾘﾝｸ:ja.wikipedia.org
ワードサラダ（Word salad）、言葉のサラダとは、文法としては正しいが、意味が破綻している文章のこと。
精神医学では思考障害の一つに分類され、認知症、統合失調症、頭部損傷患者、言動性チックなどにみられる。
885(3): 2019/12/22(日)15:07 ID:druy3BGR(4/7) AAS
ご新規さんしかいないのかな
随分前から俺はここにいるから常連さんは俺がどういうやつかは知ってると思うし
俺の言っている予測が尽く物理方面から論文出てきてるってのも
定期的に見てれば分かると思うんだけどね
俺はIUTがやりたいわけでなくて、万物の理論を探求したいの
その道具としてIUTがどうやら正しかろうっていう直感で書いてる
量子重力には対称性はない ― 大栗機構長らが証明
省10
886: 2019/12/22(日)15:09 ID:dWgKJ6XY(7/15) AAS
2chｽﾚ:math
発言のトンチンカンな点を指摘したら発●
多分精神科で診てもらってるんだろう
887(1): 2019/12/22(日)15:11 ID:druy3BGR(5/7) AAS
それと俺の文章がワードサラダに見えるってのは
単に数学だけじゃなく物理的な研究まで俺が引用した上で
数学で表される定性的で厳密な文章でない素人の文章だからそう見えるだけでしょ
本当の糖質はこんな文章じゃないよ
888: 2019/12/22(日)15:12 ID:dWgKJ6XY(8/15) AAS
>>885
言い訳は結構です
精神科で診て貰ったことはありますか？
もしないなら診て貰ったほうがいいです
「物理に固執する」というのも症状の一つですから
889(1): 2019/12/22(日)15:15 ID:druy3BGR(6/7) AAS
自分たちの尺度で分からない
あるいは素人のレベルに合わせて理解するのがめんどくさいことになると糖質扱いするのは
物理スレでも数学スレでも同じか
本当にそういうのが真理の探求を遅らせてると思うよ
890: 2019/12/22(日)15:15 ID:dWgKJ6XY(9/15) AAS
>>887
そもそも数学や物理が分かってる人なら書かない類の文章です
そういう文章を平然と書ける時点で精神的に正常でない可能性が大です
統合失調症でないとしても統合失調型人格障害の可能性は大です
外部ﾘﾝｸ:ja.wikipedia.org
統合失調型人格障害の診断基準
・関係念慮を持ち偶然の出来事に特別な意味づけをするが、確信を持っている関係妄想はではない。
省8
上下前次1-新書関写板覧索設栞歴
あと 112 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s