This is by Gregory Chaitin, who also published a pretty interesting & related book called "META MATH!" [1] I especially like the Turing / Godel equivalency stu

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 https://arxiv.org/pdf/math/0404335.pdf