Shane, there was a discussion about this on the AGI list way back when, “breaking AIXI-tl”, in which e.g. this would be one of the more technical posts. I think I proved this at least as formally, as you proved that proof that FAI was impossible that I refuted.
But of course this subject is going to take a separate post.
Shane, there was a discussion about this on the AGI list way back when, “breaking AIXI-tl”, in which e.g. this would be one of the more technical posts. I think I proved this at least as formally, as you proved that proof that FAI was impossible that I refuted.
But of course this subject is going to take a separate post.