Inter-universal geometry と ABC予想 (応援スレ) 74 (978ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
668: １３２人目の素数さん [] 2025/09/02(火) 08:55:28.42 ID:CgKIxbLR 667 >Ω={1,2,3,4,5,6}^N そして、集合{1,2,3,4,5,6}^N といえば 関数N→{1,2,3,4,5,6}の全体である http://rio2016.5ch.net/test/read.cgi/math/1755784703/668
679: １３２人目の素数さん [] 2025/09/02(火) 15:06:24.05 ID:CgKIxbLR ところで、二階論理が"categorical"という記述を見て 字面だけで「圏論的」と読む素人が多いが、初歩的誤読 正しくは「範疇的」、つまり、モデルがみな同型という意味である ついでにいうと圏論(category theory)が範疇的(categorical)というのも 字面だけで即断する素人が必ずといっていいほどやらかす誤読である http://rio2016.5ch.net/test/read.cgi/math/1755784703/679
680: １３２人目の素数さん [] 2025/09/02(火) 15:12:36.97 ID:CgKIxbLR >>678 ＞普段の数学は、一階述語論理しばりは うれしくないってことですね それ、典型的な素人の発言 一階述語論理は完全性定理が成立するのでうれしい 二階述語論理は標準モデルに関して完全性定理が成立しない ヘンキンモデルなら完全性定理が成り立つだろう、と「したり顔」でいう人がいるが それは一階述語論理上の理論として構築できる二階述語論理であり 当然ながら範疇性は成立しない 二階述語論理は綺麗だが、人間には扱えず不便 これが現実 綺麗ごとをやたらと喜ぶのは 自分では何も考えず何もしない素人だけ http://rio2016.5ch.net/test/read.cgi/math/1755784703/680
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.922s*