That’s a good point, I should add a section addressing this. I don’t know what you mean that it’s the same contradiction as in Goedel’s theorem though—I suppose AIXI is usually proven uncomputable by a diagonalization argument which is also a proof technique used in Goedel’s incompleteness theorem? But I am not sure how far that analogy goes.
That’s a good point, I should add a section addressing this. I don’t know what you mean that it’s the same contradiction as in Goedel’s theorem though—I suppose AIXI is usually proven uncomputable by a diagonalization argument which is also a proof technique used in Goedel’s incompleteness theorem? But I am not sure how far that analogy goes.