タイトルコード |
1000100230097 |
書誌種別 |
図書 |
書名 |
スマリヤン数理論理学 |
書名ヨミ |
スマリヤン スウリ ロンリガク |
|
述語論理と完全性定理 |
言語区分 |
日本語 |
著者名 |
Raymond Smullyan/[著]
高橋 昌一郎/監訳
村上 祐子/訳
|
著者名ヨミ |
Raymond Smullyan タカハシ ショウイチロウ ムラカミ ユウコ |
著者名原綴 |
Smullyan Raymond M. |
出版地 |
東京 |
出版者 |
丸善出版
|
出版年月 |
2014.11 |
本体価格 |
¥3000 |
ISBN |
978-4-621-08785-5 |
ISBN |
4-621-08785-5 |
数量 |
4,196p |
大きさ |
21cm |
分類記号 |
410.96
|
件名 |
記号論理学
|
注記 |
原タイトル:Logical labyrinthsの抄訳 |
注記 |
文献:p189〜190 |
内容紹介 |
「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。 |
目次タイトル |
第Ⅰ部 無限 |
|
第1章 無限の本質 第2章 数学的帰納法 第3章 一般化帰納法,ケーニッヒの補題,コンパクト性 |
|
第Ⅱ部 1階述語論理の基礎的結果 |
|
第4章 命題論理の基礎的結果 第5章 1階述語論理:完全性,コンパクト性,スコーレム-レーヴェンハイムの定理 第6章 正規性定理 |
|
第Ⅲ部 公理系 |
|
第7章 公理的方法入門 第8章 命題論理の公理的方法(続き) 第9章 1階述語論理の公理系 |
|
第Ⅳ部 1階述語論理(続き) |
|
第10章 クレイグの補間補題 第11章 ロビンソンの整合性定理 第12章 ベスの定義可能性定理 第13章 まとめ 第14章 この先にあるもの |