Inter-universal geometry と ABC予想 (応援スレ) 74 (903ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
117: １３２人目の素数さん [sage] 2025/08/24(日) 16:44:16.28 ID:jDvM1F2N ◆yH25M02vWFhPへの、Grokのツッコミ 「形式論理を「避ける」というより、 圏論が独自の形式化を提供している側面もある と思うのですが、どのようにお考えでしょうか？」 ◆yH25M02vWFhPへのCopilotのツッコミ 「「形式論理を避ける圏論という表現について」 ここは少し補足したくなります。 圏論は形式論理を“避ける”というより、“再構成する”枠組みとも言えます。 例えば、圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり、 むしろ形式論理を圏論の枠内で再定義しているとも言えるでしょう。」 そもそも◆yH25M02vWFhPは、一階述語論理と公理的集合論が全く理解できないがゆえの嫌悪から わけもわからず高階論理とか圏論とかわめいてるだけなので、さりげなくマジツッコミされても なにいってるのか皆目わからず、返答できない 終わってるな 神戸のサル ◆yH25M02vWFhP（笑） http://rio2016.5ch.net/test/read.cgi/math/1755784703/117
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 786 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.007s