【単行本】 レイモンド・m・スマリヤン / スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ 送料無料
2,640円(税込)
配送情報
お届け予定日:在庫状況は商品詳細のリンク先を確認下さい
※一部地域・離島につきましては、表示のお届け予定日期間内にお届けできない場合があります。ロットナンバー
218878210
商品説明
ご注文前にお読みください
在庫・特典情報を見る
商品の詳細
ジャンル: 物理・科学・医学
フォーマット: 単行本
出版社: 日本評論社
発売日: 2014年11月
ISBN: 9784535787544
発売国: 日本
その他: 344p 19cm(B6)
SKU: 6029249
在庫・特典情報を見る
商品の詳細
ジャンル: 物理・科学・医学
フォーマット: 単行本
出版社: 日本評論社
発売日: 2014年11月
ISBN: 9784535787544
発売国: 日本
その他: 344p 19cm(B6)
SKU: 6029249
内容詳細
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
目次 : 第1部 パズル、パラドックス、無限(とりとめのない自己紹介/ 騎士と悪漢の島/ 不思議なムジカ島/ メタパズル4題/ 認められた騎士と悪漢 ほか)/ 第2部 証明可能性、真理、決定不能性(真理と証明可能性/ 構文論的不完全性定理/ 段階的証明可能性/ 形式体系と再帰的関数論/ 不完全性と決定不能性 ほか)
目次 : 第1部 パズル、パラドックス、無限(とりとめのない自己紹介/ 騎士と悪漢の島/ 不思議なムジカ島/ メタパズル4題/ 認められた騎士と悪漢 ほか)/ 第2部 証明可能性、真理、決定不能性(真理と証明可能性/ 構文論的不完全性定理/ 段階的証明可能性/ 形式体系と再帰的関数論/ 不完全性と決定不能性 ほか)
レビュー
商品の評価:
-点(0件)
お店の情報
お店の評価:
-点(0件)
連絡・応対
-
配送スピード
-
梱包
-