不完全性定理の先へ
著者
書誌事項
不完全性定理の先へ
（スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳, 下巻）
日本評論社, 2018.9
- タイトル別名
-
A beginner's further guide to mathematical logic
Beyond the incompleteness theorems
- タイトル読み
-
フカンゼンセイ テイリ ノ サキ エ
大学図書館所蔵 件 / 全85件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳: 田中一之
文献: p[299]-302
内容説明・目次
内容説明
スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・Ｍ・スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のジョークも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
目次
- 第１部 命題論理と一階述語論理の進んだ話題（命題論理の進んだ話題；一階述語論理の進んだ話題）
- 第２部 再帰的関数論とメタ数学（再帰的関数論、決定不能性、不完全性；初等形式体系と再帰的枚挙可能性；再帰的関数論；二重化による一般化；メタ数学とのつながり）
- 第３部 コンビネータ論理の構成要素（コンビネータ論理事始め；さまざまなコンビネータ；賢者、預言者、それらの二重化；完全体系と部分体系；コンビネータ、再帰的関数論、決定不能性）
「BOOKデータベース」 より