書籍詳細:スマリヤンのゲーデル・パズル

スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ

の画像の画像
  • 紙の書籍
定価:税込 2,640円(本体価格 2,400円)
在庫あり
発刊年月
2014.11(下旬刊)
ISBN
978-4-535-78754-4
判型
四六判
ページ数
352ページ
Cコード
C3041
ジャンル

内容紹介

機知に富む論理パズルから、最後はゲーデルの不完全性定理の“完全な”証明に到達。スマリヤンだからなし得た、意欲的なパズルの書。

目次

第1部 パズル、パラドックス、無限



1  とりとめのない自己紹介

2  騎士と悪漢の島

3  不思議なムジカ島

4  メタパズル4題

5  認められた騎士と悪漢

6  パラドックス?

7  無限と数学的帰納法

8  自己参照入門

9  不動点パズル

10 奇妙な処理系

11 判定装置を錯綜させる

12 そのほかのゲーデル的パズル



第2部 証明可能性、真理、決定不能性



13 真理と証明可能性

14 構文論的不完全性定理

15 段階的証明可能性

16 形式体系と再帰的関数論

17 不完全性と決定不能性

18 一階算術

19 算術的真理は形式化できない

20 ペアノ算術の不完全性

書評掲載案内

■2015年春号(150号)『ニコリ』