証明論入門

Author(s)

Bibliographic Information

証明論入門

竹内外史, 八杉満利子共著

共立出版, 2010.6

復刊

Other Title

数学基礎論

復刊証明論入門

Title Transcription

ショウメイロン ニュウモン

Available at  / 84 libraries

Note

「数学基礎論」増補版(1974年刊)を改題改訂した「証明論入門」(1988年刊)の復刊

文献: p[186]-187

Description and Table of Contents

Table of Contents

  • 第１章　証明の形式化（命題の形式化；証明の形式化、ＬＫについて　ほか）
  • 第２章　自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備　ほか）
  • 第３章　自然数論の無矛盾性：Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論（ＨＡ）への翻訳；計算可能なｆｕｎｃｔｉｏｎａｌ　ほか）
  • 第４章　二階論理（二階論理の意味と問題；二階論理の基礎　ほか）
  • 第５章　最近の話題（序論、第１章、第２章についての追加；哲学と数学基礎論）

by "BOOK database"

Details

  • NCID
    BB02541217
  • ISBN
    • 9784320019355
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    2, 2, 191p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top