Gödel's incompleteness theorems
这本书追溯了数学发展中一些令数学家们也表示惊讶的发现，如非欧几里得几何的发现如何震惊了19世纪的数学家以及哥德尔不完备定理如何让逻辑学家们沮丧。