[logologology]

Occam's razor is formalized in Solomonoff induction but that doesn't mean that it is not still a useful heuristic in Science more generally.

[naasking]

Sure you can use the simpler version heuristically, but the OP's claim is that it is only a heuristic and not a valid logical inference. I'm saying we now have proof that it is logically valid to claim that one should prefer theories with fewer assumptions, all else being equal.