An appropriate universal Turing machine
It sounds like this solution is (a) a version of Solomonoff Induction, and (b) similarly suffering from the arbitrary language problem—depending on which language you use to code up the programs. Right?
It sounds like this solution is (a) a version of Solomonoff Induction, and (b) similarly suffering from the arbitrary language problem—depending on which language you use to code up the programs. Right?