On Friday, 21 February 2014 22:57:03 UTC+1, Virgil wrote: > In article <firstname.lastname@example.org>, > > email@example.com wrote: > > > > > Do you know an n such that b_n is infinite? Certainly not. > > If you have a list of finite entries like > > > 1 > > 11 > > 111 > > ... > > > then the diagonal cannot be longer than all entries because each of its > > digits is restricted to a finite index. >
> Does WM claim that there is any one row as long as any one column in the > competed diagram? > Does Virgil claim that there is any one FIS of a column or the diagonal that is longer than every line? > > > Unless he does, there can be a string of 1's in a column or diagnal that > is longer than any string of 1's in any row.
Unless he does, there cannot be a string of 1's in a column or diagonal that is longer than any string of 1's in any row. >
> And if he does, he must tell us which row and which column. > And if he does, he must tell us which FIS.
But, Virgil, it is really not useful to maintain this discussion. It could only assist critiques of undefinable reals. And you do like them so much!