[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
703: 01/10(土)15:53 ID:Es67ILrU(1/2) AAS
【訃報】天才チンパンジー「アイ」逝去 49歳 京都大学が公表 [478973293]
2chｽﾚ:news
704: 01/10(土)15:53 ID:Es67ILrU(2/2) AAS
【訃報】天才チンパンジーアイ 逝去 [668024367]
2chｽﾚ:poverty
705: 01/10(土)19:01 ID:4GRDHWAD(2/2) AAS
⚫︎2023年8月
現状に関する簡潔な報告
IUTをめぐって 望月新一
4つの論文が、柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、といった国際的に著名な数学者からなる特別編集委員会によって編集されたPubl. RIMSの特別号に掲載されたにも関わらず、
略 スレ>61
・2014年12月
望月新一 IUTの自己検証では
京大PRIMS特別編集委員の数学者
がIUTに全く素人でIUTを判断する資格がないと言ってたにも関わらず、国際的に著名な数学者へw
・川上量生企画望月新一監修加藤文元著IUT本では望月新一語のIUTは数学でなく全く新しい理論と言ってたにも関わらず、数学者のscholze stix氏を罵倒している。
省2
706(1): 01/10(土)19:13 ID:kao8g0mW(3/5) AAS
悲しいことだが仕方がない
前橋の選挙結果は
悲しいことになるだろうが
悲しむべき事態になるよりはまし
707(1): 01/10(土)19:20 ID:Bm9hKm+K(5/8) AAS
>>706
セックスって犯罪でしたっけ？
708: 01/10(土)19:37 ID:Bm9hKm+K(6/8) AAS
愛国●違いの見苦しい足掻き
2chｽﾚ:math
709(2): 01/10(土)19:39 ID:Bm9hKm+K(7/8) AAS
Benjamin Collasはフランスでは少数派らしい
710(1): 01/10(土)20:05 ID:kao8g0mW(4/5) AAS
>>707
不倫を犯罪よりも忌み嫌う人の割合が問題
711: 01/10(土)20:28 ID:Bm9hKm+K(8/8) AAS
>>710
セックスは本能的行動であって
こんなことを倫理という奴は
正真正銘の精神異常者である
712: 01/10(土)20:45 ID:kao8g0mW(5/5) AAS
不倫のことをセックスと言う？
713(1): 01/10(土)21:16 ID:qu83iCjA(1/2) AAS
望月さんが言うような
基礎論の専門家の意見を聞いてみたいね
誰か基礎論の人発言しないかね
714: 01/10(土)21:19 ID:qu83iCjA(2/2) AAS
>>709
>Benjamin Collasはフランスでは少数派らしい
研究者としか出てないけど
RIMSで職に就いてないの？
715: 01/10(土)23:46 ID:ntCu1RaN(1/3) AAS
>>709
p.scholzeは国際的な評価が高い
seminaire Bourbaki
2026.3.28
Peter Scholze — Geometric Langlands,
after Gaitsgory, Raskin, ...
ブルバキセミナー
2026年3月28日
p.scholze
幾何学的ラングランズ
省3
716: 01/10(土)23:48 ID:ntCu1RaN(2/3) AAS
外部ﾘﾝｸ:breakthroughprize.org
717: 01/10(土)23:59 ID:ntCu1RaN(3/3) AAS
>>713
望月新一教授の2026ブログ
「また論文を公開した2012年以降も、
何名かの基礎論の専門家にも
目を通していただいていますが、
みんな口を揃えてまさしく
特に新奇性のない、当たり前なことしか書かれていないという
趣旨の評価や総括をしています。」
これはscholze stixレポートへの回答書.川上量生企画望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」 (>>15)->19の監修者望月新一の意見と矛盾しているにも関わらず、
省3
718: 01/11(日)00:04 ID:BybTnHDb(1) AAS
数学基礎論論理を応用したlean
定理証明支援系の専門家kevin
buzzardによれば、(>>34)
実際には2500年前から数学のやり方は驚くほど変化していない。
閉鎖的なパラダイムシフト論とIUT構築によるabc予想の解決は京都とりまきのみ定理の茶番劇。
ABC予想は、著名な学術誌京大PRIMSへ証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想だ。
719: 01/11(日)06:45 ID:CFrGjkFJ(1/2) AAS
124 名前：ファイヤーボールスプラッシュ(東京都) [US][sage] 投稿日：2026/01/10(土) 14:34:45.70 ID:Y3a+YzBP0 [2/2]
>>115
>>117
そういうことじゃないんだよな。先生は、幼児でもおちんちんやおまんまん見られると恥ずかしいって感覚を
人間だけは産まれながらに持っているってことを答えて欲しかった。アダムとイブの原罪なんだよ
720: 01/11(日)06:45 ID:CFrGjkFJ(2/2) AAS
150 名前：ツームストンパイルドライバー(みょ) [CN][sage] 投稿日：2026/01/10(土) 19:50:13.44 ID:Uf+wn5iD0
>>124
原始的な狩猟採集社会では幼児は排泄や局部丸出しを恥ずかしく思うことはないよ
認知の発達と属する社会の秩序によって恥の観念は生まれる
嬰児は抱っこ中にウンコするのもおむつ外されて拭かれるのもぜーんぜん嫌がらないでしょ
原罪なんかないの
古代人の無知な作り話だよ
721: 01/11(日)09:16 ID:bLyYlzFq(1) AAS
前橋市長選挙関係のyoutubeを流しながら
722(1): 01/11(日)14:55 ID:GanizPaJ(1/2) AAS
>>34
外部ﾘﾝｸ:repository.kulib.kyoto-u.ac.jp
723: 01/11(日)14:57 ID:GanizPaJ(2/2) AAS
>>722
数理解析研究所講究録別冊
2019, B73: 51-64
幾何学基礎論
ヒルベルトからタルスキへ
(数学史研究)
足立恒雄
724(1): 01/11(日)15:54 ID:m8MUs4Hi(1) AAS
ユークリッド幾何でなければ双曲幾何になるというように書かれているけれども、
楕円幾何は最後の数行にそういう言葉は出てくるが、無視されているのはなぜ？
ある直線に含まれない点を通って、元の直線に交わらない直線が唯一である
とするのが、ユークリッド平面の幾何。元の直線に交わらない直線が
少なくとも2つあるというのが双曲平面の幾何。
元の直線に交わらない直線は一つもないとするのが、楕円平面の幾何。
この三通りの場合で尽くされているから、3通りがあるはずなんだけ
れども。なぜか、多くの非ユークリッド幾何では双曲幾何しか
取り上げず、楕円幾何は存在しないかのような扱い。
（楕円幾何のモデルとしては、通常の2次元球面上で
省3
725: 01/11(日)16:40 ID:m9cpcz6S(1) AAS
>>724
楕円幾何は直線が円になっちゃうから
平行線公準以外の公理も否定する必要がある
つまり平行線公準だけなくした場合は
ユークリッド幾何か双曲幾何かの二択
と、いつかどこかでだれかに教わったような・・・（笑）
726: 01/12(月)19:58 ID:H+UVgcPk(1/2) AAS
順序の公理3
1直線上にある任意の3点の内で他の2点の間にあるものは1点より多くない。
これは
同一直線上にある相異なる3点A,
B,Cに対し、ただ１つの点が存在しその点は他の2点間にある。
円周では成り立たない。
727: 01/12(月)20:45 ID:H+UVgcPk(2/2) AAS
・
ユークリッドの平行線公理。
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が1つだけ存在する :
・
ユークリッドの平行線公理の否定命題
ある直線 αと α外の点 A があって, Aを通り αと交わらない直線が2本以上存在する :
728(1): 01/13(火)18:38 ID:OHkIuxVT(1/3) AAS
ユークリッド原論からの発展。
・5つの公準の公理系を整理発展したヒルベルト公理系から1階述語論理のタルスキ公理系へ。
・ピタゴラスの定理からは
ガウスの内在的曲面論を経て
一般化したリーマン幾何学へ。
リーマン「幾何学の基礎をなす仮説について」には
定曲率の曲面を接触球の考察から
の分類がある。
729(1): 01/13(火)18:46 ID:OHkIuxVT(2/3) AAS
>>728
定曲率の曲面は、
曲率=0.可展面の円柱.
曲率>0.楕円幾何.球面
曲率<0 .双曲幾何に対応してる (サドルとか)
730: 01/13(火)18:54 ID:OHkIuxVT(3/3) AAS
パラダイムシフトの妄想IUTは茶番劇
731: 01/14(水)20:03 ID:xOqqz3oS(1/2) AAS
>>729
これは
・ユークリッド原論からは図形の平行移動と回転と鏡映による合同変換群= 等長変換がある。
・クラインのエルランゲルプログラムより幾何が変換群より分類される。
・定曲率の曲面はミンディングの定理より等長変換だ。
これらより
定曲率の曲面の幾何は
K>0 楕円幾何.
k=0 ユークリッド平面. K=0 )
K<0双曲幾何.
省1
732: 01/14(水)21:04 ID:xOqqz3oS(2/2) AAS
外部ﾘﾝｸ[rb]:pantodon.jp
733(1): 01/14(水)23:19 ID:DXO0W5ZM(1) AAS
望月氏のIUT-report-2025-10を受けて書かれた
newscientistの記事は読んでたけど
大したこと書かれてないと思ってたから
すっかり忘れとったわー
今読み返してみたら年頭ブログ記事と繋がったわ
このぶんだと
Lean（の専門家）は無能だからiutを理解できないって
いつものパターンで終わる悪寒
734: 01/15(木)00:30 ID:jQjaDT2S(1) AAS
>>733
望月さんが自分でやるんじゃなかったのか
735: 01/15(木)02:31 ID:5Wc40I5l(1) AAS
どこまでも他責思考
736: 01/15(木)13:14 ID:2rtgXjBG(1/2) AAS
ラングランズプログラムの
wilesFLTは数学語。
IUTのIUT語は孤立した閉鎖的な望月新一語。両者を混同するな
737(1): 01/15(木)13:16 ID:2rtgXjBG(2/2) AAS
2014年12月
望月新一本人のIUTの検証
・P8
>ラングランズプログラムに代表
されるような「表現的アプローチ」
は大きな研究の流れの一つですが、数論における全ての本質的な
現象は「その参加に入る」あるいは
「その特別な場合に当たる」と
いたような考え方は様々な数論現象の実態と整合しないものと
理解しています。
省3
738: 01/16(金)08:06 ID:792kOLgo(1) AAS
筋が通っていさえすれば
誰も文句は言わないのだろうが
739(1): 01/16(金)16:31 ID:jGohyoof(1/4) AAS
>>737
> 望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
望月新一教授本人が認めている
IUTは本人しか理解できないと。
IUTは数学ではない。(>>17)
DuppyもjoshiもトンデモIUTの亜流に過ぎないしnoideaのトンデモから数学は生み出されない。
abc予想の証明でギャップはなんでも
ありで致命的 cor.3.12。
省4
740: 01/16(金)17:52 ID:pQfnXU68(1) AAS
そこで言う language とは the language of first-order logic の意味？
741: 01/16(金)18:26 ID:jGohyoof(2/4) AAS
違うと思うね
IUT語は望月新一語で「だれも 話したことがない、新しい言語」だから。
1階論理の言語と無関係だしタルスキの公理系に失礼だわ。
・IUT Language p51
“IUT theory is constructed on an entirely new framework and language/conceptual system that cannot be expressed within the paradigm of general mathematics.”
742: 01/16(金)18:28 ID:jGohyoof(3/4) AAS
違うと思うね
IUT語は望月新一語で「だれも 話したことがない、新しい言語」だから。
1階論理の言語と無関係だしタルスキの公理系に失礼だわ。
・IUT Language p51
“IUT theory is constructed on an entirely new framework and language/conceptual system that cannot be expressed within the paradigm of general mathematics.”
743: 01/16(金)18:34 ID:jGohyoof(4/4) AAS
>>301
なぜ1階論理か？
744(1): 01/16(金)22:26 ID:BLZSUYZn(1/2) AAS
>>739
dupuyのスペルを間違ってる
dupuyとjoshiを並べるのは間違い
dupuyが積極的に発言したことは有益で評価に値する
彼は数学的に間違ったことを言ってないし
iutによるabc予想の証明も明確に否定してる
（それでなぜMから絶交されてないのかは謎）
彼がiutを高く評価している（いた？）のはそうだが
それは価値観の問題にすぎない
価値観を否定する方が反数学的
745(1): 01/16(金)22:38 ID:BLZSUYZn(2/2) AAS
woitブログでのdupuy対scholzeの論争も
professionalなものだった
sはdに対してなんら悪印象を持っていないと思う
746(1): 01/16(金)23:18 ID:4dtT6S0M(1) AAS
joshi は自分の論文を lean で書いてみせるといってるらしいから少なくともそれで一区切りつくわな。
失敗した場合に正直に「ダメでした」って報告があること前提だけど。
成功すればもちろん成功したコードを公開するだろうし、そのとき ABC の照明も一気に解決になる。こっちの可能性はまぁないだろうけど。
747: 01/16(金)23:35 ID:JGXdBLz5(1) AAS
>>746
>joshi は自分の論文を lean で書いてみせるといってる
おお！
ABC予想がとうとう証明されることになるのか
748(1): 01/17(土)00:03 ID:9zDaTgPe(1/24) AAS
>>745
Dupuyなら、
NHKスペシャルで
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、 望月理論は数学の世界で生き続けていると思うのです」
と数学ではないIUT信奉者だと発言したものの、
望月新一本人から望月新一ブログでは
「デュプイ氏の場合：
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。」
省3
749: 01/17(土)00:06 ID:NVJHS3k7(1) AAS
>>748
>IUTの理解者は望月新一しかおらずIUTは数学ではない。
数学ではあるでしょ
既存の数学を革新すると言ってるだけで
750(1): 01/17(土)00:21 ID:9zDaTgPe(2/24) AAS
>数学ではあるでしょ
既存の数学を革新すると言ってるだけで
望月新一本人がパラダイムシフトされ
望月新一語で書かれた全く新しい理論と言っている。
>>17
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
751: 01/17(土)00:33 ID:9zDaTgPe(3/24) AAS
>>744
数学とIUTの混同は数学の破壊に
なります。
752(1): 01/17(土)00:45 ID:9zDaTgPe(4/24) AAS
もっといえば
>iutによるabc予想の証明も明確に否定してる
それは望月新一のみ理解者のIUTについて
修行がたりないからだろう、
IUTの構築しabc予想を証明する以外に
証明はない。
と言われている
753(1): 01/17(土)00:47 ID:IbH21JXT(1) AAS
>>750
それでも数学じゃないかな
754(1): 01/17(土)01:02 ID:9IhRhgwL(1/6) AAS
>>301
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。
755: 01/17(土)01:05 ID:9zDaTgPe(5/24) AAS
>>753
>id:IbH21JXT
IUTは本人しか理解できないといってるが、ご本人ですか？
756: 01/17(土)01:22 ID:9zDaTgPe(6/24) AAS
>>754
はい
実閉体の条件が必要です
757(1): 01/17(土)01:26 ID:9IhRhgwL(2/6) AAS
いや、だから、「だから」の前後が論理的につながってないと
758: 01/17(土)01:30 ID:9zDaTgPe(7/24) AAS
>>757
具体的には？
759: 01/17(土)01:31 ID:9IhRhgwL(3/6) AAS
具体的も何もなくて、だからの前が後ろの理由になってない、それがすべて
日本語わかる？
760(1): 01/17(土)01:32 ID:9IhRhgwL(4/6) AAS
逆に聞くけど、なんでだからの前が後ろの理由になってるかを説明してみて
761: 01/17(土)01:48 ID:9zDaTgPe(8/24) AAS
>>760
タルスキの実閉体わかります？
762: 01/17(土)02:04 ID:9IhRhgwL(5/6) AAS
「タルスキの実閉体（Tarski's real closed field）」とは、数学者タルスキがモデル理論（特に量化子消去）の観点から研究し、その理論が完全性と決定可能性を持つことを証明した、実数の性質を記述する一階論理の理論体系のことです。
完全性、決定可能性はこの理論の特性であって、
>1階述語論理だから
ではないと言ってるんだけど
763(1): 01/17(土)02:34 ID:9zDaTgPe(9/24) AAS
検索したら、
アルフレッド・タルスキは、一階述語論理（一階論理）の枠組みでユークリッド幾何学を公理化（一階幾何）し、その体系が完全かつ決定可能であることを証明したことで知られています。
タルスキと一階述語論理 真理概念の定義: タルスキは形式言語（特に一階述語論理の言語）における「真理」の概念を厳密に定義する「意味論的真理説」を提唱しました。これは現代論理学の基礎の一つとなっています。
意味論の基礎: 現在の論理学の授業で学ばれる「タルスキ・モデル」は、彼の真理定義の考え方を基にしており、一階述語論理の意味論に不可欠なものです。
タルスキと一階幾何（初等幾何学）
公理系の構築: タルスキは1926年頃に、ユークリッド幾何学を集合論的な概念を導入せずに、純粋に一階述語論理の言語のみで記述できる公理系を考案しました。
原始概念: この公理系では、「点」のみを個体変数とし、原始述語として「3点間の介在関係 (betweenness)」と「2つの線分の合同関係 (congruence of segments)」の2つのみを用います。
重要な成果: タルスキは、自身の一階幾何の公理系が以下の重要な特性を持つことを証明しました:
無矛盾性: 矛盾を含まない。
完全性: その言語で表現できる任意の命題が、公理系から証明されるか、あるいはその否定が証明されるかのどちらかである。
省3
764: 01/17(土)03:19 ID:9IhRhgwL(6/6) AAS
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
は「一階理論は必ず完全.無矛盾」という誤解を生みかねないのが気に入らないだけ。
>タルスキの公理系によって示された通りユークリッド幾何学の一階理論は完全.無矛盾.実閉体の条件で決定可能だ。
の方が良いように思う。
ちなみに健全て本当？（健全⇒無矛盾は言えるが逆は言えない）
765: 01/17(土)05:00 ID:9zDaTgPe(10/24) AAS
>>763
続き
・タルスキは一階述語論理という論理的枠組みを用いて、実閉体という代数的構造がユークリッド幾何学の性質を完全に捉えており、さらにその理論がアルゴリズム的に解決可能であるという驚くべき事実を証明したのです。
・健全性・完全性・決定可能性のセット 。
タルスキは、自身の公理系において単に健全性だけでなく、健全性・完全性・決定可能性を証明しました。
つまり、タルスキの公理系において「正しい（真）」と直観的に思えることは、すべて形式的に「証明」でき、その逆（証明できれば正しい）もまた成り立つという、非常に強力で美しい基礎付けがなされています。
4. 補足：ヒルベルト公理系との違い
タルスキの公理系はヒルベルトの公理系と異なり、一階述語論理（First-order logic）で定式化されているため、完全性や決定可能性といったメタ数学的な性質が保証されています。
766(4): 01/17(土)06:04 ID:v0wV1g1P(1) AAS
おっすオラオカルトマニア！ 君等Physical Review Lettersに載ったこれ読んだ？
外部ﾘﾝｸ:journals.aps.org
これの示す内容は元の量子情報に対して暗号化拡張を施すことで、実質的に元の量子情報と同じコア情報を持つ情報を作り、量子複製不可能定理を克服するって論文だよな
つまり何が言いたいかっていうと、俺が以前から指摘していた行列の話になるけど
これら元の行列と境界暗号化拡張行列の間には
行列サイズが違い、固有値も異なる行列なのに、コア情報が同一な充満多重同型的な関係性があるってことになる
以前ここに書いていた、ランク1密度行列の最外殻情報からのコア情報の復元のLEAN4も完成したし
この論文と100%確実に関係があると俺は判断した
やっぱりIUTは正しいよ
767: 01/17(土)11:13 ID:9zDaTgPe(11/24) AAS
論文の内容は、
コピーできない量子情報を“暗号化して複製”：量子技術の根本的制約を矛盾なく乗り越える新手法
〜量子複製禁止定理と矛盾しない“暗号化クローン”生成プロトコルの開発に成功〜
ですね。
768: 01/17(土)11:17 ID:9zDaTgPe(12/24) AAS
外部ﾘﾝｸ:www.kyushu-u.ac.jp
769(2): 01/17(土)11:56 ID:4L0ElCbn(1/10) AAS
>>752
iutの根幹であるfunctorial algorithmが
本当に数学になっているかという問題があって
望月側の主張ではspeciesの理論で正当化できることになってる
（望月レポート「Rpt2018」及び山下サーベイのRemark 3.4.4.）
dupuyはこれを認めてないけどモデル理論のinterpretationで
正当化できるかもと言ってて
現時点で出来るところと出来てないところを明確にしてる
（dupuy論文のほかiugc conferenceの講演スライド）
これは完全に真っ当な数学
省1
770(1): 01/17(土)12:00 ID:FwKm4A4e(1) AAS
>>769
論点がはっきりしてきたようで
好ましい
771(1): 01/17(土)12:30 ID:9zDaTgPe(13/24) AAS
>>769->770
2019年4月発刊の望月新一監修加藤文元著宇宙と宇宙をつなぐ数学は
scholze stixレポートへの回答で
2021年IUTの拡がり(望月新一委員長)
の公式HPに記載された公式本。
・
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
省14
772: 01/17(土)12:38 ID:9zDaTgPe(14/24) AAS
数学とIUTを混同しながら
数学を破壊するアンチ数学の動きか？
2030ICMに日本が立候補するために
IUTが数学でないと困るからだろうw
773: 01/17(土)12:44 ID:j9LyAEqT(1) AAS
もとから iut の問題点なんかはっきりしてる。
現時点で世界中のだれも述語論理をもちいた形式化に成功できないこと。
フィールズ賞数学者でさえペンローズの階段のように「こちらを立てればこちらが立たず」のような状態で論文全体で通ずる解釈ができないと断じ、数学史に名を連ねることになるであろう師匠にも投げ出された状態
もう様子見の段階など遠にすぎた。形式化不可能と断じていい段階。
本人もそれをわかってるから Lean で形式化できることを証明するプロジェクトはやらない理由をあーだこーだあげつらってる状態。
もう終わってるよ。終わってるのをみとめられない信者がグダグダいってるだけ。
774(1): 01/17(土)13:12 ID:4L0ElCbn(2/10) AAS
>>771
数学者個人がiutに本質的なアイディアがあると信じて
それを真っ当な数学にしようと努力することに
なんの問題があるわけ？
坊主憎けりゃ袈裟まで憎いってか
775(1): 01/17(土)13:18 ID:9zDaTgPe(15/24) AAS
>>774
トンデモから数学は生まれない
776: 01/17(土)13:21 ID:9zDaTgPe(16/24) AAS
モデル理論はタルスキからw
777(1): 01/17(土)13:28 ID:4L0ElCbn(3/10) AAS
>>775 幾らでも生まれるよ
あんた数学をなんも知らんでしょ
トンデモ夢物語からアイディアを得るなんてゴマンとある
経路積分とか、量子場の理論とか、一元体とかetc etc
グロモフとかウィッテンといったビジョナリーだっている
778: 01/17(土)13:30 ID:4L0ElCbn(4/10) AAS
いずれにせよ
個人がそれに賭けることに
批難すべき点は一切ない
779(1): 01/17(土)13:34 ID:9zDaTgPe(17/24) AAS
>経路積分とか、量子場の理論とか、
これトンデモでなく物理だ
IUT信奉者あちらのcultスレへいけよ
780: 01/17(土)13:41 ID:9zDaTgPe(18/24) AAS
>>2
781(2): 01/17(土)13:56 ID:4L0ElCbn(5/10) AAS
>>779 じゃあ一元体は？
経路積分だって数学としてはトンデモだろ
俺はiut信奉者でも何でもないけど
信奉者がいても全く問題ないと思ってるよ
数学は自由だから
ただしウソはいかん
トンデモだって切り捨てる方が反数学的
思想警察は数学板から出てけよ
782(1): 01/17(土)14:00 ID:9zDaTgPe(19/24) AAS
>>781
>経路積分だって数学としてはトンデモだろ
間違い
783(1): 01/17(土)14:13 ID:4L0ElCbn(6/10) AAS
>>782 じゃあどうやって数学的に実現すんの？
だいたいmotivだろうがmonstrous moonshineだろうがetc etc
実現するまでは夢物語だったんだから
現時点でトンデモであることが
研究価値がないことを意味しないのは明らかだ
784: 01/17(土)14:27 ID:9zDaTgPe(20/24) AAS
>>783
トンデモくん
検索してみたら
785: 01/17(土)14:55 ID:4L0ElCbn(7/10) AAS
はいはい、逃げたね
ついでに一元体についてもお願い
786(1): 01/17(土)15:12 ID:4L0ElCbn(8/10) AAS
おまえひょっとして（しなくとも？）応援スレ79で
嘘ばっか吐いて証拠を要求されたら
＞じゃあまっとけや
＞あさってくるわ
って言って帰ってこなかったヤツだろｗ
2chｽﾚ:math
787: 01/17(土)15:24 ID:9zDaTgPe(21/24) AAS
>>786
トンデモくん
人違いだけど
やっぱりIUT信奉者じゃん
788(4): 01/17(土)15:35 ID:4L0ElCbn(9/10) AAS
あそ、嘘吐きと同一視したことは悪かったな
しかし引用先で嘘吐きを叩いてるのがiut信奉者に
見えるってんのならお前の妄想だろうな
あと経路積分や一元体が数学として成立してるって
主張に挙証責任があるのはお前だから
＞検索してみたら
は答えになってねーよ
789: 01/17(土)15:47 ID:9zDaTgPe(22/24) AAS
IUT応援スレはIUT信奉者のスレッド
>>62
レス>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
省25
790: 01/17(土)15:52 ID:9zDaTgPe(23/24) AAS
>>788
トンデモ対嘘つきということ？
まあ あちらでどうぞ
791: 01/17(土)17:16 ID:4L0ElCbn(10/10) AAS
結局、経路積分や一元体が数学として成立してるって証拠はないんだな
成立してないもんな
同様にiutが成立してなくても即無価値ということにはならないわな
少なくともdupuyのやってることには十分に意味があるよ
標準的なモデル理論に収まってるから
792: 01/17(土)17:37 ID:9zDaTgPe(24/24) AAS
>>777
>トンデモ夢物語からアイディアを得るなんてゴマンとある
経路積分とか、量子場の理論とか、
一元体とか
経路積分や場の量子論や試論の
一元体もトンデモ夢物語かw
793: 01/17(土)18:38 ID:o/sU07if(1) AAS
>>781
>一元体は？
ダメかもね
794: 01/17(土)22:30 ID:vuIoZZO6(1) AAS
非ユークリッド幾何が成立可能な幾何学
であることを見いだしたガウスは、この
世界は大きなスケールでは実際に非ユー
クリッド空間なのではないだろうかと
思ったのかどうなのか、地球上の大きな
三角形の内角の和を測量で計って誤差の
範囲で2直角であることと矛盾しないと
いうような測定結果を得ていたようだった
が（しかしそれは光の経路が直線である
ということを暗黙に前提としている）。
795: 01/17(土)22:58 ID:Vx9NHU6o(1) AAS
伝説
796: 01/18(日)03:22 ID:8XLu/h16(1/6) AAS
おっすオラオカルトマニア！
>>766で書いた、ランク1密度行列の最外殻情報からのコア情報の一意復元のLEAN4置いておく
外部ﾘﾝｸ:ideone.com
これと>>766の論文を組み合わせて考察してみてってAIに頼むとなかなかに面白いよ
2つとも読ませて考察させたあとに、
「これら理論は、違うサイズ、違う固有値の行列が実質的に同じ情報を持ち得るということを示しており、私はそれら行列が望月新一のIUTに則り充満多重同型であると考えますがいかがですか？」
って聞いてみるとさらに面白い
797: 01/18(日)05:14 ID:8XLu/h16(2/6) AAS
ランク1密度行列の復元定理の、IUT同型(これを作ったCHATGPT5は充満多重同型って使いたがらないんだよね)まで言及した別ver
外部ﾘﾝｸ:ideone.com
def IUTIso := ...
theorem IUTIso_implies_equal
これは 圏論的に言えば：
情報忘却関手がrank-one 圏では忠実かつ充満という主張らしい
・通常のIUT: 異なる数学的宇宙（舞台）の間で、特定の対称性（リンク）を通して情報を復元する。
・このコード: 異なる BQState（内部ベクトル u,vは不可視＝別宇宙）の間で、境界 BoundaryCol（リンク）を通して全体 DensityMatrix を復元する。
・BoundaryCol は「テータリンク」の抽象化である
コード内の以下の部分は、単なる「列の一致」以上の意味を持ちます。
省12
798: 01/18(日)05:25 ID:TW9sDGRp(1/6) AAS
論文にかいてある証明と Lean のコード全然ちがうやん？
なにこれ？
799: 01/18(日)05:41 ID:TW9sDGRp(2/6) AAS
論文では Pauli operator というのをつかって unitary encrypted cloning operation なるものを構成してその Unitary Operator の full full quantum capacity を計算すると 1 になるという事を示してるらしい。それが物理的に何意味してるのかはさっぱりわからんけど Lean code にはそんなもん全然でてこないし、逆に Lean code のほうには論文に全然でてこない境界一致がどうとか何にも関係ない話でてくるし
はったりなん？
800: 01/18(日)05:50 ID:8XLu/h16(3/6) AAS
え？>>766の論文をlean4化したなんて書いたっけ俺
あくまでも>>766で書いた、ランク1密度行列の最外殻情報からのコア情報の一意復元のLEAN4置いておく
なんだけど？
801: 01/18(日)05:54 ID:TW9sDGRp(3/6) AAS
これはあかん
意図的にミスリーディング狙ってるとしか思えない
802: 01/18(日)05:55 ID:TW9sDGRp(4/6) AAS
やっぱり信者こんなんしかおらん
上下前次1-新書関写板覧索設栞歴
あと 200 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s