4 ms·
How to Run Algorithmic Information Theory on a Computer (1995)
- ianandrich 6y agoI'd wondered what would happen if Lisp and Algorithmic Information Theory teamed up. Great submission!
- tromp 6y agoIf Lambda Calculus and AIT team up, then this happens: https://tromp.github.io/cl/Binary_lambda_calculus.html https://tromp.github.io/cl/Binary_lambda_calculus.html This has recently led to a functional Busy Beaver at https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form https://mathoverflow.net/questions/353514/whats-the-smallest... https://oeis.org/A333479 https://oeis.org/A333479
- bentona 6y agoThis is by Gregory Chaitin, who also published a pretty interesting & related book called "META MATH!" [1] I especially like the Turing / Godel equivalency stuff he discusses. [1] https://arxiv.org/pdf/math/0404335.pdf https://arxiv.org/pdf/math/0404335.pdf