スマリヤンの無限の論理パズル―ゲーデルとカントールをめぐる難問奇問 (スマリヤンのむげんのろんりパズル―ゲーデルとカントールをめぐるなんもんきもん)

原題は、
SATAN, CANTOR, AND INFINITY
and other mind-boggling puzzles

レイモンド・Ｍ・スマリヤン著の
論理パズル本にして
(無限にかかわる)集合論についての入門書。

------------------------------------------------------

【目次】

はじめに

ＰＡＲＴ Ⅰ　論理の魔術
　１　嘘つきは誰だ！
　２　魔術師の回想
　３　アナベル姫誘拐事件
　４　カジールが結婚できた理由
　５　嘘の疫病
　６　右手，それとも左手
　７　ときどき黙る島
ＰＡＲＴ Ⅱ　パズルとメタパズル
　８　魔術師の叔父の思い出
　９　惑星オグ
　１０　メタパズル
ＰＡＲＴ Ⅲ　自己増殖ロボット
　１１　ロボットの島
　１２　クインシー教授の古典的システム
　１３　ばかげたものから簡単なものへ
ＰＡＲＴ Ⅳ　ゲーデル的パズル
　１４　自己言及，そして相互言及
　１５　ミニチュア版ゲーデル的言語
ＰＡＲＴ Ⅴ　どうしてそうなるのか？
　１６　考えるべきこと
　１７　時間，そして変化について
ＰＡＲＴ Ⅵ　無限への旅
　１８　無限とは何か？
　１９　カントールの大発見
　２０　パラドックス発生！
　２１　パラドックスの解消
　２２　連続体問題
ＰＡＲＴ Ⅶ　ハイパーゲーム，パラドックス，そしてひとつの物語
　２３　ハイパーゲーム
　２４　またパラドックス？
　２５　悪魔，カントール，そして無限

　訳者あとがき
　索引

------------------------------------------------------

• http://bookweb.kinokuniya.co.jp/htm/...