資料詳細

  • 1 件中、 1 件目

【図書】 スマリヤンのゲーデル・パズル

論理パズルから不完全性定理へ --
レイモンド・Ｍ．スマリヤン ／著, 川辺治之 ／訳   -- 日本評論社 -- ２０１４．１１ -- １９ｃｍ -- ３４４ｐ

資料詳細

タイトル スマリヤンのゲーデル・パズル
副書名 論理パズルから不完全性定理へ
著者名等 レイモンド・Ｍ．スマリヤン ／著, 川辺治之 ／訳  
出版 日本評論社 ２０１４．１１
大きさ等 １９ｃｍ ３４４ｐ
分類 410.79
件名 数学遊戯 , ゲーデルの定理
注記 Ｇｏ¨ｄｅｌｉａｎ　ｐｕｚｚｌｅ　ｂｏｏｋ．の翻訳
注記 文献あり　索引あり
著者紹介 【スマリヤン】１９１９年ニューヨーク生まれ。数学者、専門は数理論理学。ピアニスト、奇術師としての顔も持つ。邦訳著書に「パズルランドのアリス１、２」「スマリヤンの決定不能の論理パズル」「シャーロック・ホームズのチェスミステリー」など。
内容紹介 出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだからなし得た、意欲的なパズル本。楽しいパズルを通して、ゲーデルの先駆的発見を解説する。
要旨 出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
目次 第１部　パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢　ほか）；第２部　証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性　ほか）
ISBN(13)、ISBN 978-4-535-78754-4　　 4-535-78754-9
書誌番号 1113218246

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.7 一般書 利用可 - 2053559681 iLisvirtual

ページの先頭へ