Thanks for the pointer to Chaitin, his writing seems approachable: https://link.springer.com/chapter/10.1007/978-1-4471-0307-3_2 https://link.springer.com/chap

Thanks for the pointer to Chaitin, his writing seems approachable: https://link.springer.com/chapter/10.1007/978-1-4471-0307-3_2 https://link.springer.com/chapter/10.1007/978-1-4471-0307-3_... https://inference-review.com/article/doing-mathematics-differently https://inference-review.com/article/doing-mathematics-diffe... > he builds a LISP with it cool, just found these: The Limits of Mathematics---Tutorial Version : https://arxiv.org/abs/chao-dyn/9509010 https://arxiv.org/abs/chao-dyn/9509010 An implementation of his Lisp, written to explore the above Tutorial : https://github.com/poppingtonic/chaitin-ait https://github.com/poppingtonic/chaitin-ait