Comment by Cacti

gregory chaitin has an accessible version of the math, if you’re interested. he builds a LISP with it.