|
何冊か読んできた不完全性定理の入門書の中でも、この新刊は『ゲーデルの哲学―不完全性定理と神の存在論』(高橋昌一郎著)と双璧をなす分かりやすさ＆面白さだ。自分のような門外漢が読んでもわりとすんなり理解できる。
とりわけ論理記号列をゲーデル数に変換するやり方は、そういうことだったのか！と目からウロコである。
ただ各章の冒頭に付された“微小説”なる小文は、つまらない上に著者の自己満足ばかり鼻につくので飛ばし読み。まぁいかにも竹内薫らしいといえばらしい。
竹内は物理学のイメージが強かったので、数学基礎論や論理学分野の本書が出たときには少し意外な気がしたが、もともとは科学哲学が専攻だったそうだ。
この記事を読んだ人は、こんな記事も読んでいます未読書日記２ 『不完全性定理―数学的体系のあゆみ』 |
世界の仕組み
-
詳細
コメント（1）
コメント（1）
