Comment by Paracompact 10 hours ago A model of lambda calculus with a much smaller Kolmogorov complexity, then. 0 comments Paracompact Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗