不完全性定理の理解のために
著者
書誌事項
不完全性定理の理解のために
（スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳, 上巻）
日本評論社, 2017.9
- タイトル別名
-
A beginner's guide to mathematical logic
Lectures on mathematical logic for understanding the incompleteness theorems
- タイトル読み
-
フカンゼンセイ テイリ ノ リカイ ノ タメ ニ
大学図書館所蔵 件 / 全95件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳: 田中一之
文献: p[352]-354
内容説明・目次
内容説明
スマリヤン論理学の集大成・決定版。数学者レイモンド・Ｍ．スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
目次
- 第１部 一般的な予備知識（数理論理学の起源；無限集合；問題発生！；数学の基礎知識）
- 第２部 命題論理（命題論理事始め；命題論理のタブロー；公理論的命題論理）
- 第３部 一階述語論理（一階述語論理事始め；重要な結果）
- 第４部 体系の不完全性（一般的状況での不完全性；一階算術；形式体系；ペアノ算術；進んだ話題）
「BOOKデータベース」 より