Great #cs paper (as I'm told) for well-defined problems: https://arxiv.org/abs/cs/0206022 I'll be honest and admit that I'm not adept enough in math to understand the proofs. Apparently the guy behind this, #marcushutter - also created the #hutterprize for data compression: https://en.wikipedia.org/wiki/Hutter_Pri.. Impressive career.