サイト内検索

詳細検索

送料無料(~12/31)

1,000円以上の注文で3%OFFクーポン(1202-06)

hontoレビュー

予約購入について
  • 「予約購入する」をクリックすると予約が完了します。
  • ご予約いただいた商品は発売日にダウンロード可能となります。
  • ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
  • 商品の発売日は変更となる可能性がございますので、予めご了承ください。

みんなのレビュー2件

みんなの評価5.0

評価内訳

  • 星 5 (0件)
  • 星 4 (0件)
  • 星 3 (0件)
  • 星 2 (0件)
  • 星 1 (0件)
2 件中 1 件~ 2 件を表示

2015/12/19 14:47

投稿元:ブクログ

【選書フェア2015】
資料ID:98150937
請求記号:410.79||S
配置場所:工枚選書フェア

2015/02/09 03:24

投稿元:ブクログ

原題:THE GODELIAN PUZZLE BOOK
著者:Raymond M Smullyan(1919-)
翻訳:川辺治之

【目次】
第1部 パズル、パラドックス、無限
1  とりとめのない自己紹介
2  騎士と悪漢の島
3  不思議なムジカ島
4  メタパズル4題
5  認められた騎士と悪漢
6  パラドックス?
7  無限と数学的帰納法
8  自己参照入門
9  不動点パズル
10 奇妙な処理系
11 判定装置を錯綜させる
12 そのほかのゲーデル的パズル

第2部 証明可能性、真理、決定不能性
13 真理と証明可能性
14 構文論的不完全性定理
15 段階的証明可能性
16 形式体系と再帰的関数論
17 不完全性と決定不能性
18 一階算術
19 算術的真理は形式化できない
20 ペアノ算術の不完全性

2 件中 1 件~ 2 件を表示