[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
872(1): 2019/09/08(日)14:45 ID:bH+0Hw/z(3/4) AAS
カット除去による無矛盾性証明に関しては、
林晋の「形式化と無矛盾性証明のパラドックス」
（林晋編著「パラドックス」（日本評論社）に収録）
を読まれたい
要するに、自然数論の証明がカットを含んでいないなら無矛盾である、
と自然数論でも証明できるので、一般の自然数論の証明から
必ずカットを除去できるならば、無矛盾性が証明できるという発想だが
省2
874: 2019/09/08(日)15:11 ID:bH+0Hw/z(4/4) AAS
>>872
ついでにいうと、カットの無い証明に関する証明可能性述語は
第二不完全性定理の証明の前提である可導性条件を満たさないので
第二不完全性定理（自然数論の無矛盾性証明が自然数論で証明できない）
に反するように見える結果が証明できる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s