Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
117(1): 08/24(日)16:44 ID:jDvM1F2N(9/11) AAS
◆yH25M02vWFhPへの、Grokのツッコミ
「形式論理を「避ける」というより、
圏論が独自の形式化を提供している側面もある
と思うのですが、どのようにお考えでしょうか？」
◆yH25M02vWFhPへのCopilotのツッコミ
「「形式論理を避ける圏論という表現について」
ここは少し補足したくなります。
圏論は形式論理を“避ける”というより、“再構成する”枠組みとも言えます。
例えば、圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり、
むしろ形式論理を圏論の枠内で再定義しているとも言えるでしょう。」
そもそも◆yH25M02vWFhPは、一階述語論理と公理的集合論が全く理解できないがゆえの嫌悪から
わけもわからず高階論理とか圏論とかわめいてるだけなので、さりげなくマジツッコミされても
なにいってるのか皆目わからず、返答できない
終わってるな 神戸のサル ◆yH25M02vWFhP（笑）
上下前次1-新書関写板覧索設栞歴
あと 778 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s