https://link.springer.com/chapter/10.1007/978-1-4471-0307-3_...
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
An implementation of his Lisp, written to explore the above Tutorial : https://github.com/poppingtonic/chaitin-ait
