"Yes. That includes both the case where the len..."

https://arbital.com/p/5d4

by Eliezer Yudkowsky Jul 14 2016


Yes. That includes both the case where the length is specified outside the program, and the case where we use a prefix-free encoding. Actually I'm not sure what you're asking here - why wouldn't prepending 0 to a program change its behavior in whatever Universal Turing Machine you used? If the first bit always has to be 1, it might as well be omitted.