資料詳細

【図書】 スマリヤンの決定不能の論理パズル

ゲーデルの定理と様相理論 --
レイモンド・スマリヤン／著, 田中朋之／訳, 長尾確／訳 -- 白揚社 -- ２００８．５ -- ２１ｃｍ -- ２８１ｐ

タイトル	スマリヤンの決定不能の論理パズル
副書名	ゲーデルの定理と様相理論
著者名等	レイモンド・スマリヤン／著, 田中朋之／訳, 長尾確／訳
出版	白揚社２００８．５
大きさ等	２１ｃｍ２８１ｐ
分類	410.9
件名	ゲーデルの定理
注記	Ｆｏｒｅｖｅｒ　ｕｎｄｅｃｉｄｅｄ．／の翻訳
注記	『決定不能の論理パズル』（１９９０年刊）の改題新装版
注記	索引あり
要旨	悪魔のパズル、騎士と奇人のパズル、鳥女のパズル、数々の難問から学ぶ不完全性定理と様相論理。
目次	１　意外な展開！？；２　偽と真の論理学；３　騎士・奇人・命題論理；４　慎重にいこう；５　整合性のジレンマ；６　自己充足信念とレーブの定理；７　さらなる深みへ；８　決められない！；９　可能世界；１０　事件の核心；１１　フィナーレ
ISBN(13)、ISBN	978-4-8269-0142-0　　 4-8269-0142-9
書誌番号	1108039455
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1108039455

所蔵

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

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