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

I'd wondered what would happen if Lisp and Algorithmic Information Theory teamed up. Great submission!

If Lambda Calculus and AIT team up, then this happens:

https://tromp.github.io/cl/Binary_lambda_calculus.html

This has recently led to a functional Busy Beaver at

https://mathoverflow.net/questions/353514/whats-the-smallest...

https://oeis.org/A333479