Inter-universal geometry と ABC予想 (応援スレ) 74 (969ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
706: 09/03(水)08:13 ID:avb5LD2g(1) AAS
>>694
>IUTは 圏論使っていると宣言しているでしょ
>そして 圏論は、一階述語論理しばりではない
１．圏論で一階述語論理上の理論で決して書けないことって具体的に何か示せる？
>正しい数学理論は、大体は 形式論理で書けて自動証明なども適用できる
>しかし、現状では 数学定理の自動証明の敷居は高い
>全部の投稿論文の証明には適用できない
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s