In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 30 Apr., 21:39, Virgil <vir...@ligriv.com> wrote: > > > While it is not possible to write all digits of an irrational in a > > list of reals, it is possible, however tedious, to write the nth > > digit, for any n, of the nth listed real, which is all that is > > needed for the diagonal argument. > > No. There remain infinitely many lines. And we can prove that in > these lines there are infinitely many diagonals such that for every > n: d_1, ..., d_n is in a line.
WM again claims to be able to do that which he never does: prove something.
But even if WM did prove what he claims he can prove, it is still possible, however tedious, to write the nth digit, for any n, of the nth listed real, which is all that is needed to validate the diagonal argument. --