MML and KC are conceptually and theoretically highly related concepts, MML is another stab at formalizing Occam's Razor in a more feasible manner, using the same approach as KC. No, they are not in fact identical, if that's what you meant (hence the different names ...)
Saying "my hypothesis has smaller Kolmogorov complexity than yours" is meaningless unless you can make the argument formal.
But saying "Based on Occam's Razor, my hypothesis is smaller than yours" isn't just as meaningless as long as your intuition stays sufficiently fuzzy and ungrounded? Is it an open problem as soon as anyone disagrees (or on what basis would you solve any dispute)? What use would the heuristic be, then?
I guess what I don't understand is how you can embrace Occam's Razor as an intuition, yet argue against the use of the branch of information theory that formalizes it, given there's even computable variants. I agree that to categorically make statements about the KC of most hypotheses is misguided, and I also dislike the misuse of the terminology as mere buzzwords.
However, it is the formalism that our intuition is aspiring to emulate, and to improve our intuition would be to move it further towards the formalized basis it derives from, a move which you seem to reject.
But saying "Based on Occam's Razor, my hypothesis is smaller than yours" isn't just as meaningless as long as your intuition stays sufficiently fuzzy and ungrounded?
It's not just a fuzzy intuition, you can try to count the concepts, but ultimately the argument remains informal. But throwing in "informal" Kolmogorov complexity doesn't help, so what's the point of doing that?
...However, it is the formalism that our intuition is aspiring to emulate, and to improve our intuition would be to move it further towards the formalized basis it
r/HPMOR readers on heroic responsibility - not the OP, the comments. Holy snorkels this is good.