[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
46: 2025/11/13(木)12:36:12.76 ID:HgQBsP45(7/14) AAS
>>10
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
194: 2025/12/02(火)22:53:56.76 ID:WFOQ6grI(9/12) AAS
>>192
外部ﾘﾝｸ:ja.wikipedia.org
定義
2つの群の直積
群G、Hが与えられたとき、その集合としての直積 G×H に、
(g,h)(g′,h′)=(gg′,hh′) for g,g′∈G,h,h′∈H
として演算を定義すると、 G×H は群になる。これを G とH の直積という。
「群G、Hが与えられたとき」ってあるけど、これってすべての群からなるクラスの任意の二つの元の意味ではない？ 違うならどういう意味か教えて
302(1): 2025/12/11(木)15:16:23.76 ID:MVPRer44(1) AAS
数学コミュニティの内戦
動画ﾘﾝｸ[YouTube]
307: 2025/12/12(金)13:16:30.76 ID:1CmfsJhS(2/5) AAS
IUT論文は準備から読みづらく
大量の注釈で構成され大量の新用語が導入されている。
>>227->228
これはIUTが数学でなく「全く新しい理論」だから、
1階論理(一階述語論理)で証明をすっきりと書くことができない
>301
697: 01/10(土)10:03:56.76 ID:kao8g0mW(2/5) AAS
不誠実さを隠しようがないのが
ボディーランゲージ
733(1): 01/14(水)23:19:58.76 ID:DXO0W5ZM(1) AAS
望月氏のIUT-report-2025-10を受けて書かれた
newscientistの記事は読んでたけど
大したこと書かれてないと思ってたから
すっかり忘れとったわー
今読み返してみたら年頭ブログ記事と繋がったわ
このぶんだと
Lean（の専門家）は無能だからiutを理解できないって
いつものパターンで終わる悪寒
917: 03/01(日)07:58:43.76 ID:afq3ZLxn(1) AAS
>>911はやっぱiutに興味なんかない単なるRIMS嫌いの妄想癖持ちか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s