Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
734(1): 09/04(木)12:42 ID:ggAcMhRe(2/4) AAS
「圏を一階述語論理で公理化する」で検索してな
738(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/04(木)13:45 ID:YqcoVM+6(6/8) AAS
>>734
>「圏を一階述語論理で公理化する」で検索してな
多分、それはそれでありと思うが
時代は、脱一階述語論理だと思うよ
下記 ゲーデルの加速定理
『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在するというものである』
脱一階述語論理を進めないと
省28
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s