不完全性定理の理解のために
Author(s)
Bibliographic Information
不完全性定理の理解のために
（スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳, 上巻）
日本評論社, 2017.9
- Other Title
-
A beginner's guide to mathematical logic
Lectures on mathematical logic for understanding the incompleteness theorems
- Title Transcription
-
フカンゼンセイ テイリ ノ リカイ ノ タメ ニ
Available at / 95 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監訳: 田中一之
文献: p[352]-354
Description and Table of Contents
Description
スマリヤン論理学の集大成・決定版。数学者レイモンド・Ｍ．スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
Table of Contents
- 第１部 一般的な予備知識（数理論理学の起源；無限集合；問題発生！；数学の基礎知識）
- 第２部 命題論理（命題論理事始め；命題論理のタブロー；公理論的命題論理）
- 第３部 一階述語論理（一階述語論理事始め；重要な結果）
- 第４部 体系の不完全性（一般的状況での不完全性；一階算術；形式体系；ペアノ算術；進んだ話題）
by "BOOK database"
