[bentona]

This is by Gregory Chaitin, who also published a pretty interesting & related book called "META MATH!" [1]

I especially like the Turing / Godel equivalency stuff he discusses.

[1] https://arxiv.org/pdf/math/0404335.pdf