top | item 40864937 (no title) Cacti | 1 year ago gregory chaitin has an accessible version of the math, if you’re interested. he builds a LISP with it. discuss order hn newest linguaz|1 year ago Thanks for the pointer to Chaitin, his writing seems approachable: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 itcool, just found these:The Limits of Mathematics---Tutorial Version : https://arxiv.org/abs/chao-dyn/9509010An implementation of his Lisp, written to explore the above Tutorial : https://github.com/poppingtonic/chaitin-ait
linguaz|1 year ago Thanks for the pointer to Chaitin, his writing seems approachable: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 itcool, just found these:The Limits of Mathematics---Tutorial Version : https://arxiv.org/abs/chao-dyn/9509010An implementation of his Lisp, written to explore the above Tutorial : https://github.com/poppingtonic/chaitin-ait
linguaz|1 year ago
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