Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Dear Julia, Dear Yuri: A mathematical correspondence (2022). Parent comment
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
There are no comments on this comment yet.
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