ゲーデルの不完全性定理

著者 : レイモンド・スマリヤン 高橋昌一郎

• 丸善出版 (1996年7月1日発売)

作品紹介・あらすじ

驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。

感想・レビュー・書評

[sourfoxさんの感想 · 2006年9月26日]

タルスキーの定理を使った証明が出ている