CarlShulman comments on A Philosophical Treatise of Universal Induction (Link)