現代論理学 （新装版）

安井 邦夫【著】

世界思想社（2021/04発売）

• サイズ A5判／ページ数 215p／高さ 21cm
• 商品コード 9784790717553
• NDC分類 116
• Cコード C3010

目次

第１章　命題論理学（トートロジー；自然推論；公理系）
第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）
第３章　形式的数論（形式的数論Ｚ；Ｚの定理　その１；Ｚの定理　その２；数論的関係と関数の表現可能性）
第４章　帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）
第５章　不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）

著者等紹介

安井邦夫［ヤスイクニオ］
１９７０年京都大学大学院文学研究科博士課程修了。専攻、哲学。現在、京都大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。

[Go Extreme]

命題論理学： 命題結合 真理関数 トートロジー 代入，置換，双対性 標準形，関数的完全性 自然推論 公理系 Hilbert型命題算LP 仮定からの演繹 重要な定理 LPの無矛盾性 LPの完全性 3つの命題算の同等性 述語論理学： 自然推論 公理系 解釈、モデル、完全性 解釈 恒真式 無矛盾性とモデルの存在 完全性定理 形式的推論 帰納的関数： 帰納的関数 帰納的関係 累積帰納法 帰納的関数と表現可能性 不完全性定理

2021/07/25