• 本

証明論入門 復刊

出版社名 共立出版
出版年月 2010年6月
ISBNコード 978-4-320-01935-5
4-320-01935-0
税込価格 3,850円
頁数・縦 191P 22cm
シリーズ名 証明論入門

商品内容

目次

第1章 証明の形式化(命題の形式化
証明の形式化、LKについて ほか)
第2章 自然数論の無矛盾性の証明(自然数論の公理系
無矛盾性の証明の準備 ほか)
第3章 自然数論の無矛盾性:G¨odelの考察(自然数論の、直観主義的自然数論(HA)への翻訳
計算可能なfunctional ほか)
第4章 二階論理(二階論理の意味と問題
二階論理の基礎 ほか)
第5章 最近の話題(序論、第1章、第2章についての追加
哲学と数学基礎論)

出版社
商品紹介

還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、論理関係の教科書に見られない内容を初歩から解説。

著者紹介

竹内 外史 (タケウチ ガイシ)  
元イリノイ大学教授・理学博士
八杉 満利子 (ヤスギ マリコ)  
元京都産業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)