Inter-universal geometry と ABC予想 (応援スレ) 74 (972ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
117(1): 08/24(日)16:44 ID:jDvM1F2N(9/11) AAS
◆yH25M02vWFhPへの、Grokのツッコミ
「形式論理を「避ける」というより、
圏論が独自の形式化を提供している側面もある
と思うのですが、どのようにお考えでしょうか？」
◆yH25M02vWFhPへのCopilotのツッコミ
「「形式論理を避ける圏論という表現について」
ここは少し補足したくなります。
省7
123(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)17:35 ID:+A9mxT/6(4/9) AAS
>>117
ご苦労様です
>一階述語論理
多分 ”一階述語論理”しばりなのが、だれも 実務の数学で
ZFCとか公理的集合論を使わなくなった理由だろう
いまどきの数学は、複雑化しているから ”一階述語論理”しばりでといわれてもね ；ｐ）
書く方も 読む方もたまらんでしょ
省25
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s