I can just write “3^^^3”. The interpreter prefix to that to turn it into a concrete universe-possibility is finite and rather small (1Mb to be conservative)
3^^^3*2^(-2^20) is still totally huge.
Edit: but then we’re actually interested in relative utility. (which just makes things worse, but for the sake of completeness...) Do the same thing with a couple billion utils and maybe 750kb for a program that simulates a more plausible universe.
(I’m not sure how to actually prove anything in SI, where “prove” would satisfy a mathematician. I’m not even sure it’s possible to prove anything interesting)
I can just write “3^^^3”. The interpreter prefix to that to turn it into a concrete universe-possibility is finite and rather small (1Mb to be conservative)
3^^^3*2^(-2^20) is still totally huge.
Edit: but then we’re actually interested in relative utility. (which just makes things worse, but for the sake of completeness...) Do the same thing with a couple billion utils and maybe 750kb for a program that simulates a more plausible universe.
(I’m not sure how to actually prove anything in SI, where “prove” would satisfy a mathematician. I’m not even sure it’s possible to prove anything interesting)