I do use programs that give probabilistic outputs here. See claim 1 and the setup section.
I am fairly sure that there is a version of Solomonoff induction where the programs themselves output probabilities, and it’s equivalent in the limit to the version where programs output binary answers. I think it’s called ‘stochastic’ Solomonoff induction, or something like that.
I hadn’t actually realised how load-bearing this might be for the proof until you pointed it out though. Thank you.
I do use programs that give probabilistic outputs here. See claim 1 and the setup section.
I am fairly sure that there is a version of Solomonoff induction where the programs themselves output probabilities, and it’s equivalent in the limit to the version where programs output binary answers. I think it’s called ‘stochastic’ Solomonoff induction, or something like that.
I hadn’t actually realised how load-bearing this might be for the proof until you pointed it out though. Thank you.