「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
紙の本
スマリヤン数理論理学講義 下巻 不完全性定理の先へ
著者 レイモンド・M.スマリヤン (著),田中 一之 (監訳),川辺 治之 (訳)
数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネ...
スマリヤン数理論理学講義 下巻 不完全性定理の先へ
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
数学者スマリヤンの最後の著作となった数理論理学(数学基礎論)の入門書。得意のパズルを交えた独特の筆致で、読者を数理論理学の深い理解へと誘う。下巻は、再帰的関数論、コンビネータ論理などを収録。解説も掲載。【「TRC MARC」の商品解説】
機知に富む多くの著作で知られるスマリヤンの最後の著作。下巻には再帰的関数論、コンビネータ論理など進んだ話題を収める。【商品解説】
目次
- 第1部 命題論理と一階述語論理の進んだ話題
- 第1章 命題論理の進んだ話題
- 第2章 一階述語論理の進んだ話題
- 第2部 再帰的関数論とメタ数学
- 第3章 再帰的関数論、決定不能性、不完全性
- 第4章 初等形式体系と再帰的枚挙可能性
- 第5章 再帰的関数論
著者紹介
レイモンド・M.スマリヤン
- 略歴
- 〈レイモンド・M.スマリヤン〉1919〜2017年。ニューヨーク生まれ。プリンストン大学でPh.D.を取得。数学者。専門は数理論理学。著書に「パズルランドのアリス」「スマリヤンのゲーデル・パズル」など。
関連キーワード
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む