証明論入門

  • ポイントキャンペーン

証明論入門

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判/ページ数 191p/高さ 22X16cm
  • 商品コード 9784320014060
  • NDC分類 410.9

目次

第1章 証明の形式化(命題の形式化;LKの基本定理)
第2章 自然数論の無矛盾性の証明(自然数論の公理系;無矛盾性の証明の準備)
第3章 自然数論の無矛盾性―G¨odelの考察(自然数論の、直観主義的自然数論〔HA〕への翻訳;種々な理論の間の相互関係)
第4章 二階論理(二階論理の意味と問題;実数論の無矛盾性問題;二階の体系の証明論)
第5章 最近の話題