証明論入門
著者
書誌事項
証明論入門
共立出版, 2010.6
復刊
- タイトル別名
-
数学基礎論
復刊証明論入門
- タイトル読み
-
ショウメイロン ニュウモン
大学図書館所蔵 件 / 全83件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「数学基礎論」増補版(1974年刊)を改題改訂した「証明論入門」(1988年刊)の復刊
文献: p[186]-187
内容説明・目次
目次
- 第１章 証明の形式化（命題の形式化；証明の形式化、ＬＫについて ほか）
- 第２章 自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備 ほか）
- 第３章 自然数論の無矛盾性：Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論（ＨＡ）への翻訳；計算可能なｆｕｎｃｔｉｏｎａｌ ほか）
- 第４章 二階論理（二階論理の意味と問題；二階論理の基礎 ほか）
- 第５章 最近の話題（序論、第１章、第２章についての追加；哲学と数学基礎論）
「BOOKデータベース」 より