本ページはアフィリエイトプログラムによる収益を得ています
- Amazon.co.jp ・本 (344ページ)
- / ISBN・EAN: 9784535787544
感想・レビュー・書評
-
【選書フェア2015】
資料ID:98150937
請求記号:410.79||S
配置場所:工枚選書フェア詳細をみるコメント0件をすべて表示 -
原題: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 ペアノ算術の不完全性 -
請求記号 410.79/Sm 8
全3件中 1 - 3件を表示