I think people missed a joke here. I mean, seriously, EY is not so stupid as to think that it is 4 bits literally. And if it is 4 symbols, and symbols are arbitrary size, then it’s not ‘plus a constant’, it’s multiply by a log2(nsymbols in alphabet) plus a constant (suppose I make Turing machine with 8-symbol tape, then on this machine I can compress arbitrary long programs of other machine into third length plus a constant).
I think people missed a joke here. I mean, seriously, EY is not so stupid as to think that it is 4 bits literally. And if it is 4 symbols, and symbols are arbitrary size, then it’s not ‘plus a constant’, it’s multiply by a log2(nsymbols in alphabet) plus a constant (suppose I make Turing machine with 8-symbol tape, then on this machine I can compress arbitrary long programs of other machine into third length plus a constant).
No, really. It can be 4 literal bits and a sufficiently arbitrary constant. It’s still a joke and I rather liked it myself.
Four.
Plus a constant.
I think people missed a joke here. I mean, seriously, EY is not so stupid as to think that it is 4 bits literally. And if it is 4 symbols, and symbols are arbitrary size, then it’s not ‘plus a constant’, it’s multiply by a log2(nsymbols in alphabet) plus a constant (suppose I make Turing machine with 8-symbol tape, then on this machine I can compress arbitrary long programs of other machine into third length plus a constant).
No, really. It can be 4 literal bits and a sufficiently arbitrary constant. It’s still a joke and I rather liked it myself.
Yes. I was addressing what I thought might be sensible reason not to like the joke given that F=ma is 4 symbols (so is “four”).
Then my hypothesis is simpler: GOD.
Eliezer: My hypothesis is even simpler: ME!
As long as the GOD is simple and not too knowable. If he knows everything (about the Universe), he is even more complex than the Universe.
The same logic applies to EY’s comment :)