ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > 理学 > 数学 > 数学一般
出版社名：日本評論社
出版年月：2014年11月
ISBN：978-4-535-78754-4
３４４Ｐ　１９ｃｍ
スマリヤンのゲーデル・パズル　論理パズルから不完全性定理へ
レイモンド・Ｍ・スマリヤン／著　川辺治之／訳
 
組合員価格 税込 2,376円
(通常価格 税込 2,640円)
割引率 10%
お取り寄せ
お届け日未定
※ご注文が集中した場合、お届けが遅れる場合がございます。
機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な”証明に到達。スマリヤンだからなし得た、意欲的パズル本。
機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な”証明に到達。スマリヤンだからなし得た、意欲的パズル本。
内容紹介・もくじなど
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
もくじ情報：第１部　パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢　ほか）；第２部　証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性　ほか）
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
もくじ情報：第１部　パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢　ほか）；第２部　証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性　ほか）
著者プロフィール
スマリヤン，レイモンド・Ｍ．(スマリヤン，レイモンドＭ．)
１９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学
スマリヤン，レイモンド・Ｍ．(スマリヤン，レイモンドＭ．)
１９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学

同じ著者名で検索した本

スマリヤン数理論理学講義　下巻/不完全性定理の先へ
レイモンド・Ｍ・スマリヤン／著　田中一之／監訳　川辺治之／訳
スマリヤン数理論理学講義　上巻/不完全性定理の理解のために
レイモンド・Ｍ・スマリヤン／著　田中一之／監訳　川辺治之／訳
タオは笑っている　愉快な公案集
レイモンド・Ｍ．スマリヤン／著　桜内篤子／訳
スマリヤンの決定不能の論理パズル　ゲーデルの定理と様相理論
レイモンド・スマリヤン／著　田中朋之／訳　長尾確／訳
スマリヤンの究極の論理パズル　数の不思議からゲーデルの定理へ
レイモンド・スマリヤン／著　長尾確／訳　長尾加寿恵／訳
スマリヤンの無限の論理パズル　ゲーデルとカントールをめぐる難問奇問
レイモンド・スマリヤン／著　長尾確／訳
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用約款に基づきます。
このサイトについて
ご利用ガイド
利用約款
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.