> Am Mittwoch, 5. Februar 2014 17:41:13 UTC+1 schrieb Ben Bacarisse: > >> > Look, every finite definition of the tails can be used. In its >> > simplest form use the tree or list of all terminating rational >> > numbers. Then Cantor's diagonal argument fails at every level with >> > finite index. And further levels are not subject to diagonalization. >> >> Whatever this means, > > It means the same as the list of all terminating rationals. The > diagonal argument cannot produce an antidiagonal that differs from all > entries of the list.
You split the thread again. Do you do this when feeling cornered? Will it have any effect if I ask you to stop doing it?