close
1.

図書
図書
1. アラビアン・ナイトのチェスミステリー : スマリヤンの逆向き解析問題集
Raymond Smullyan著 ; 川辺治之訳
出版情報: 東京 : 共立出版, 2019.10  xiii, 214p ; 20cm
所蔵情報: loading…
目次情報: 続きを見る
第1部 : ハールーン・アッラシードの治世
第2部 : 宝物の物語
第3部 : アラビアン・ナイト
第4部 : 宮殿での物語
第5部 : 魔法と神秘の物語
第6部 : アメリアの物語
付録1 : カジールの宮殿で作られた問題
邦訳付録 : チェスの規則について
第1部 : ハールーン・アッラシードの治世
第2部 : 宝物の物語
第3部 : アラビアン・ナイト
2.

図書
図書
2. スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
レイモンド・スマリヤン著 ; 長尾確, 長尾加寿恵訳
出版情報: 東京 : 白揚社, 2001.3  230p ; 22cm
所蔵情報: loading…
3.

図書
図書
3. スマリヤン先生のブール代数入門 : 嘘つきパズル・パラドックス・論理の花咲く庭園
Raymond Smullyan著 ; 川辺治之訳
出版情報: 東京 : 共立出版, 2008.8  vi, 215p ; 21cm
所蔵情報: loading…
4.

図書
図書
4. スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2014.11  iii, 344p ; 19cm
所蔵情報: loading…
目次情報: 続きを見る
第1部 パズル、パラドックス、無限 : とりとめのない自己紹介
騎士と悪漢の島
不思議なムジカ島
メタパズル4題
認められた騎士と悪漢 ほか
第2部 証明可能性、真理、決定不能性 : 真理と証明可能性
構文論的不完全性定理
段階的証明可能性
形式体系と再帰的関数論
不完全性と決定不能性 ほか
第1部 パズル、パラドックス、無限 : とりとめのない自己紹介
騎士と悪漢の島
不思議なムジカ島
概要: 出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼