I think there is a typo in your formula, because the number of bits you get is negative. Going back to Yudkowsky’s post, I think the correct formula (using your approximations of sizes) is log|Rd||{θ∈Rd∣L(θ)≤L}|, or −log|{θ∈Rd∣L(θ)≤L}||Rd| to be closer to the entropy notation.
I think there is a typo in your formula, because the number of bits you get is negative. Going back to Yudkowsky’s post, I think the correct formula (using your approximations of sizes) is log|Rd||{θ∈Rd∣L(θ)≤L}|, or −log|{θ∈Rd∣L(θ)≤L}||Rd| to be closer to the entropy notation.
Yeah, you’re right, fixed.