証明論入門 復刊 [単行本]

証明論入門 復刊 [単行本] の 商品概要

• 目次（「BOOK」データベースより）

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

• 出版社からのコメント

  還元法による証明論を初歩から解説した入門書

• 内容紹介

  還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門（数学基礎論 改題）』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  竹内 外史(タケウチ ガイシ)
  元イリノイ大学教授・理学博士
  
  八杉 満利子(ヤスギ マリコ)
  元京都産業大学教授・理学博士

証明論入門 復刊 [単行本] の商品スペック