Inter-universal geometry と ABC予想 (応援スレ) 74 (892ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
62: １３２人目の素数さん [sage] 2025/08/23(土) 17:23:56.00 ID:XQOxXTSd >>36 >21世紀では >”素朴集合論”というか自然言語を援用する論理が >復権している気がする ⋀も⋁も∀も∃も読めない高卒 ◆yH25M02vWFhPの妄想 >勿論、自然言語→形式論理に翻訳できることを確認しながらね 自然言語を論理式に翻訳できない高卒 ◆yH25M02vWFhP（笑） >集合論より 圏論が使われる場合が増えている気がする >圏論は”意味論的な柔軟性をもち高階論理との親和性がある” 集合論の初歩も分からん◆yH25M02vWFhPに 圏論など分からんから諦めろ 一階述語論理も分からん◆yH25M02vWFhPに 二階述語論理など分からんから諦めろ >グダグダの推論規則は不要で、圏論の規則に吸収される 述語論理の推論規則すら理解できん◆yH25M02vWFhPには いかなる規則も分からんから諦めろ >>37-39 いくらコピペしても、高校で数学終わった◆yH25M02vWFhPには 全く理解できんから諦めろ http://rio2016.5ch.net/test/read.cgi/math/1755784703/62
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 830 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s