User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-7484840-20130716081545

@Deedlit11: yes, the iota function can refer to I(n)+1, because that would either have to have to not have a time variable and have not just an uncomputable, but an unapproximateable output, or it includes a time variable, and so I_x(n)+1 and I_x(n) can each refer to both I_y(n)+1 and I_y(n) for y < x, leading to I_y(n) > I_x(n)+1, which is not a contradiction.