Hacker News new | past | comments | ask | show | jobs | submit login
How to Run Algorithmic Information Theory on a Computer (1995) (arxiv.org)
73 points by pizza on May 20, 2020 | hide | past | favorite | 3 comments



This 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


I'd wondered what would happen if Lisp and Algorithmic Information Theory teamed up. Great submission!


If Lambda Calculus and AIT team up, then this happens:

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

https://oeis.org/A333479




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: