スマリヤンのゲーデル・パズル―論理パズルから不完全性定理へ [単行本]

スマリヤンのゲーデル・パズル―論理パズルから不完全性定理へ の 商品概要

• 要旨（「BOOK」データベースより）

  出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。

• 目次

  第1部　パズル、パラドックス、無限
  
  1 　とりとめのない自己紹介
  2　 騎士と悪漢の島
  3 　不思議なムジカ島
  4　 メタパズル4題
  5　 認められた騎士と悪漢
  6 　パラドックス？
  7 　無限と数学的帰納法
  8　 自己参照入門
  9 　不動点パズル
  10 奇妙な処理系
  11 判定装置を錯綜させる
  12 そのほかのゲーデル的パズル
  
  第2部　証明可能性、真理、決定不能性
  
  13 真理と証明可能性
  14 構文論的不完全性定理
  15 段階的証明可能性
  16 形式体系と再帰的関数論
  17 不完全性と決定不能性
  18 一階算術
  19 算術的真理は形式化できない
  20 ペアノ算術の不完全性

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  スマリヤン,レイモンド・M.(スマリヤン,レイモンドM.／Smullyan,Raymond M.)
  １９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学
  
  川辺 治之(カワベ ハルユキ)
  １９８５年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社総合技術研究所上席研究員

• 出版社からのコメント

  機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な” 証明に到達。スマリヤンだからなし得た、意欲的パズル本。

• 著者について

  レイモンド・M・スマリヤン (レイモンド エム スマリヤン)
  数理論理学者
  
  川辺治之 (カワベ ハルユキ)
  日本ユニシス株式会社

スマリヤンのゲーデル・パズル―論理パズルから不完全性定理へ の商品スペック