Godel's Proof

Godel's Proof

Goedel's Proof by Ernest Nagel　を読み始めました。買うなり、図書館で借りるなりして日本語(『ゲーデルは何を証明したか』)で読もうと思っていたのですが、安かったので英語で読むことにしました。買ったのはKindle版です。英語版には『ゲーデル、エッシャー、バッハ』のホフスタッターが序文を加えているほか、本文の改訂も行っているようなことが書かれていました。

今日はホフスタッターの序文の部分を読みました。