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