資料詳細

検索条件

著者

アレックス・アイリフ

ハイライト

一覧へ戻る

スマリヤンのゲーデル・パズル利用可

レイモンド・Ｍ．スマリヤン／著 -- 日本評論社 -- 2014.11 -- 410.79

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	書庫	410.7/ｽﾏﾘ/一般Ｈ	119535501	一般	利用可

ページの先頭へ

資料詳細

タイトル	スマリヤンのゲーデル・パズル
書名ヨミ	スマリヤン　ノ　ゲーデル　パズル
副書名	論理パズルから不完全性定理へ
著者名	レイモンド・Ｍ．スマリヤン／著, 川辺治之／訳
著者ヨミ	スマリヤン，レーモンド・Ｍ． , カワベ，ハルユキ
出版者	日本評論社
出版年	2014.11
ページ数等	３４４ｐ
大きさ	１９ｃｍ
内容細目	文献あり　索引あり
原書名	Ｇｏ¨ｄｅｌｉａｎ　ｐｕｚｚｌｅ　ｂｏｏｋ．∥の翻訳
一般件名	数学遊戯 , ゲーデルの定理
ISBN	4-535-78754-9
ISBN13桁	978-4-535-78754-4
定価	２４００円
問合わせ番号（書誌番号）	1102059797
NDC8版	410.79
NDC9版	410.79
内容紹介	出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
著者紹介	【スマリヤン】１９１９年ニューヨーク生まれ。数学者、専門は数理論理学。ピアニスト、奇術師としての顔も持つ。邦訳著書に「パズルランドのアリス１、２」「スマリヤンの決定不能の論理パズル」「シャーロック・ホームズのチェスミステリー」など。
著者紹介	【川辺】１９８５年東京大学理学部卒。現在、日本ユニシス（株）総合技術研究所上席研究員。訳書に「群論の味わい」「数学で織りなすカードマジックのからくり」「この本の名は？」「箱詰めパズルポリオミノの宇宙」「記号論理学」など。

ページの先頭へ

内容一覧

タイトル	著者名	ページ
第１部　パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢　ほか）
第２部　証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性　ほか）

ページの先頭へ