資料詳細

【図書】 決定不能の論理パズル

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

タイトル	決定不能の論理パズル
副書名	ゲーデルの定理と様相論理
著者名等	レイモンド・スマリヤン／著, 長尾確，田中朋之／訳, 　 ,
出版	白揚社１９９０．１１
大きさ等	２２ｃｍ２７９ｐ
分類	410.9
件名	記号論理学 , ゲーデルの定理
注記	Ｆｏｒｅｖｅｒ　ｕｎｄｅｃｉｄｅｄ．／の翻訳
要旨	『ゲーデル、エッシャー、バッハ』、『数学から超数学へ』につづきまた１冊、現代数学の巨人ゲーデルの世界を明快に解説。
目次	１　意外な展開！？；２　偽と真の論理学；３　騎士・奇人・命題論理；４　慎重にいこう；５　整合性のジレンマ；６　自己充足信念とレーブの定理；７　さらなる深みへ；８　決められない！；９　可能世界；１０　事件の核心；１１　フィナーレ
ISBN(13)、ISBN	4826900449
書誌番号	1190370800
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190370800

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/198	一般書	利用可	-	0101059337