no canonical universal turing machine for solomonoff induction