Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
694(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/02(火)21:01 ID:Xe3fp6ug(3/4) AAS
>>693
>一階述語論理では形式化できないseta数学なんでしょ
>iutとお似合いなんじゃねーの
IUTは 圏論使っていると宣言しているでしょ
そして 圏論は、一階述語論理しばりではない（下記）
外部ﾘﾝｸ[html]:www.utp.or.jp
圏論による論理学 (冊子版)
省34
698: 09/02(火)23:02 ID:0UkiWhPy(9/11) AAS
>>694
>話は逆だよ
話が逆じゃなく、おまえの>>686が間違ってるだけ
何を逆とか言ってごまかしてんだよ
（引用開始）
>>686
1階の公理的集は だいたい 一階述語論理しばりだが
省3
700: 09/02(火)23:17 ID:0UkiWhPy(10/11) AAS
>>694
>自然言語を使う方が、圧倒的に分かり易いんだよ
要するに論理式読めない言い訳してるだけじゃんｗ
主張の概要をつかむには自然言語の方がつかみやすい
主張を正確につかむには論理式の方がつかみやすい
だから両方書けば良いだけ
実際ZFCの公理は両方書かれてる
省1
706: 09/03(水)08:13 ID:avb5LD2g(1) AAS
>>694
>IUTは 圏論使っていると宣言しているでしょ
>そして 圏論は、一階述語論理しばりではない
１．圏論で一階述語論理上の理論で決して書けないことって具体的に何か示せる？
>正しい数学理論は、大体は 形式論理で書けて自動証明なども適用できる
>しかし、現状では 数学定理の自動証明の敷居は高い
>全部の投稿論文の証明には適用できない
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s