I think I completely understand your position. Thank you for sharing. I agree with it, modulo your axiom that the naive weighting was correct.
All of my objections before were because I did not realize you were using that naive weighting.
I do have two problems with the naive weighting:
First, it has the problem that description length is a man-made construct, and is dependent on your language.
Second, there are predicates we can say about the infinite descriptions which are not measurable, and I am not sure what to do with that.
I think I completely understand your position. Thank you for sharing. I agree with it, modulo your axiom that the naive weighting was correct.
All of my objections before were because I did not realize you were using that naive weighting.
I do have two problems with the naive weighting:
First, it has the problem that description length is a man-made construct, and is dependent on your language.
Second, there are predicates we can say about the infinite descriptions which are not measurable, and I am not sure what to do with that.