なぜ、ZFC公理まで遡らなくても数学が出来るの？ (123ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
58(2): 11/17(日)07:03 ID:2n2ZlDh9(1/9) AAS
>>55
>>n階算術の体系で証明可能な命題であって、
>>n+1階算術ではより短い証明を持つもの
英語版のWikipediaにこんなこと書かれてないけど？
59(3): 11/17(日)08:24 ID:cugt1V1g(1/12) AAS
>>58
(引用開始)
>>n階算術の体系で証明可能な命題であって、
>>n+1階算術ではより短い証明を持つもの
英語版のWikipediaにこんなこと書かれてないけど？
(引用終り)
なるほど
良い指摘だね
1）まず、wikipedia仏語版が下記だ
非公式の説明：”ある与えられた形式体系で証明可能であるが、その体系における最短の証明が異常に長い、比較的短い主張の明示的な例を構築しました”
省23
62(2): 11/17(日)12:42 ID:cugt1V1g(3/12) AAS
>>61
>>1）まず、wikipedia仏語版が下記だ
>そこにも全くそんなこと書かれてないけど？独自解釈すぎ
いいかな
”fr.wikipedia
（google訳）ゲーデルの加速定理
非公式の説明
クルト・ゲーデルは、第一不完全性定理の証明を応用して、与えられた形式体系で証明可能であるが、その体系における最短の証明が異常に長い、比較的短い主張の明示的な例を構築しました”
ここで
繰り返すが>>59
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.916s*