19/04/12 07:13:47.89 aUo1NtT0.net
>>433
(引用開始)
正しくは
「ゲーデルの加速定理は
弱い形式的体系では非常に長い形式的証明しか存在しないが、
より強い形式的体系では極めて短い形式的証明が存在する、
というような文が存在する、というものである」
形式的体系の強弱は、階の違いによるものだけではない
(引用終り)
全く同じだよ
強い形式的体系の例として、高階論理がある
”n階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在する”
圏論は高階論理を含んでいるし
層は圏論の中だと
厳密な数学的議論ではないが
・筆算 （おっちゃん）（＾＾
↓
・ソロバン
↓
・電卓
↓
・アセンブラ
↓
・C
↓
・エクセル （おれスレ主）（＾＾
まあ、こんな感じじゃね？
高階へ行くと楽だねと（＾＾
楽なかわりに、見えなくなる面もあるけどね