Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

But this just misunderstands the definition. In the standard definition you pick _some_ Turing-complete language, and then define K(s) with respect to that language. You can then go on to show that in the limit of longer and longer strings, it does not make much difference which language you pick.


Precisely.

The author defines language as a mapper from input to output, which is necessary but not sufficient. Its L_silly (written in Ruby) is not a language since it uses "eval" which depends on the entirety of Ruby.




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

Search: