スマリヤン数理論理学講義 下巻「不完全性定理の先へ」
レイモンド・Ｍ・スマリヤン／著 田中一之／監訳 川辺治之／訳
発売日：2018年9月
- 巻の書名
- 不完全性定理の先へ
- ISBN
- 978-4-535-78851-0
- 著者情報
- スマリヤン，レイモンド・Ｍ．（スマリヤン，レイモンドＭ．）（Ｓｍｕｌｌｙａｎ，Ｒａｙｍｏｎｄ Ｍ．）
１９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学。著書Ｗｈａｔ ｉｓ ｔｈｅ Ｎａｍｅ ｏｆ Ｔｈｉｓ Ｂｏｏｋ？（邦訳『この本の名は？―嘘つきと正直者をめぐる不思議な論理パズル』、日本評論社）が斬新な論理パズルの本としてマーチン・ガードナーに紹介され、一躍有名となる。その後もパズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。２０１７年、９７歳で逝去
田中 一之（タナカ カズユキ）
１９５５年生まれ。カリフォルニア大学バークレー校でＰｈ．Ｄ．を取得。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論
川辺 治之（カワベ ハルユキ）
１９８５年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・Ｍ・スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のジョークも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
機知に富む多くの著作で知られるスマリヤンの最後の著作。下巻には再帰的関数論、コンビネータ論理など進んだ話題を収める。
目次
第１部 命題論理と一階述語論理の進んだ話題（命題論理の進んだ話題
一階述語論理の進んだ話題）
第２部 再帰的関数論とメタ数学（再帰的関数論、決定不能性、不完全性
初等形式体系と再帰的枚挙可能性
再帰的関数論
二重化による一般化
メタ数学とのつながり）
第３部 コンビネータ論理の構成要素（コンビネータ論理事始め
さまざまなコンビネータ
賢者、預言者、それらの二重化
完全体系と部分体系
コンビネータ、再帰的関数論、決定不能性）
商品詳細
- 出版社名
- 日本評論社
- 対象年齢
- 一般
- フォーマット
- 単行本
- 原題
- 原タイトル：Ａ ＢＥＧＩＮＮＥＲ’Ｓ ＦＵＲＴＨＥＲ ＧＵＩＤＥ ＴＯ ＭＡＴＨＥＭＡＴＩＣＡＬ ＬＯＧＩＣ
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
