Inter-universal geometry と ABC予想 (応援スレ) 74 (969ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
692(1): 09/02(火)18:38 ID:7B4TGU0k(6/6) AAS
論理式はもちろん自然言語で書き直せる
論理が分からんというのは、単に論理式が読めないのではなく
どういう推論ができるのかが分からんということ
具体的には∀と∃に関する推論が分かってない
ナイーブに⋀と⋁を無限回使えばいいと思ってる
そんなことできるわけないのは、
ヒトならだれでもわかるが
省1
694(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/02(火)21:01 ID:Xe3fp6ug(3/4) AAS
>>693
>一階述語論理では形式化できないseta数学なんでしょ
>iutとお似合いなんじゃねーの
IUTは 圏論使っていると宣言しているでしょ
そして 圏論は、一階述語論理しばりではない（下記）
外部ﾘﾝｸ[html]:www.utp.or.jp
圏論による論理学 (冊子版)
省34
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s