"In science, Occam's razor is used as a heuristic guide in the development of theoretical models, rather than as a rigorous arbiter between candidate models."
Isn't Universal Induction non-computable? What logics does it work in and which ones are beyond its reach? Is it applied purely to countable set of all programs or could it extend to real-world as well? One would expect it holds in precisely structured logics like first-order predicate logic, so that's not a surprise.
https://en.wikipedia.org/wiki/Occam%27s_razor:
"In science, Occam's razor is used as a heuristic guide in the development of theoretical models, rather than as a rigorous arbiter between candidate models."
Looking at Universal Induction:
https://en.wikipedia.org/wiki/Solomonoff%27s_theory_of_induc...
Isn't Universal Induction non-computable? What logics does it work in and which ones are beyond its reach? Is it applied purely to countable set of all programs or could it extend to real-world as well? One would expect it holds in precisely structured logics like first-order predicate logic, so that's not a surprise.