ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

Inter-universal geometry と ABC予想 (応援スレ) 74

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>117 > ◆yH25M02vWFhPへの、Grokのツッコミ > 「形式論理を「避ける」というより、 > 圏論が独自の形式化を提供している側面もある > と思うのですが、どのようにお考えでしょうか？」 > > ◆yH25M02vWFhPへのCopilotのツッコミ > 「「形式論理を避ける圏論という表現について」 > ここは少し補足したくなります。 > 圏論は形式論理を“避ける”というより、“再構成する”枠組みとも言えます。 > 例えば、圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり、 > むしろ形式論理を圏論の枠内で再定義しているとも言えるでしょう。」 > > そもそも◆yH25M02vWFhPは、一階述語論理と公理的集合論が全く理解できないがゆえの嫌悪から > わけもわからず高階論理とか圏論とかわめいてるだけなので、さりげなくマジツッコミされても > なにいってるのか皆目わからず、返答できない > > 終わってるな　神戸のサル ◆yH25M02vWFhP（笑）
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.010s