The Limits of Mathematics---Tutorial Version · HackerPapers discussions

The Limits of Mathematics---Tutorial Version — mentioned by linguaz

Wed, 03 Jul 2024 20:42:06 GMT

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 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

Paper and discussion history. A mention is not an endorsement.

The Limits of Mathematics---Tutorial Version — mentioned by davidmathers

Sun, 26 Sep 2010 00:13:32 GMT

The Limits of Mathematics---Tutorial Version http://arxiv.org/abs/chao-dyn/9509010v1 Previously in this LISP code only one-character identifiers were allowed, and arithmetic had to be programmed out. Now identifiers can be many characters long, and arithmetic with arbitrarily large unsigned decimal integers is built in. This and many other changes in the software have made this material much easier to understand and to use.

Paper and discussion history. A mention is not an endorsement.