[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
274(3): 2023/07/03(月)08:12 ID:f05x76gn(2/2) AAS
>>それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明>>を持つものが存在するというものである。
そのn階算術の体系の証明可能な命題の証明の長さの最小値は
n→∞のとき有界であるとは思えない。
275(1): 2023/07/03(月)08:24 ID:x5daDujY(4/5) AAS
>>274
ありがとう
∞カテゴリーかな
詳しくないので、下記でも
外部ﾘﾝｸ:infinitytopos.wordpress.com
はじまりはKan拡張全ての概念はKan拡張である
∞カテゴリー
省1
340(1): 2023/07/04(火)17:54 ID:xZu413TU(4/15) AAS
>>271-273
> ある分野やある手法に対しての
> 加速定理を提供する能力が、
> 圏論にはあると思っています
いかにも素人の誤った考え
圏論は「修辞」
> ゲーデルの加速定理：
省37
365(1): 2023/07/04(火)21:34 ID:mrIl8A04(2/4) AAS
>>340
>>>274
>>>n階算術の体系で証明可能な命題であって、
>>>n+1階算術ではより短い証明を持つものが存在する
>> n階算術の体系の証明可能な命題の証明の長さは
>> n→∞のとき有界であるとは思えない。
>ω階算術も形式的体系だから
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.936s*