On Jan 25, 9:11 am, WM <mueck...@rz.fh-augsburg.de> wrote: > On 25 Jan., 09:07, William Hughes <wpihug...@gmail.com> wrote: > > > On Jan 25, 8:57 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > "Write a sequence like xxxxxxxxxx... and do never stop" > > > Perfectly acceptable finite description of an infinite sequence. > > Of course, nothing however that could be diagonalized in a Cantor-list > or could be the result of diagonalization.
Why not? The diagonalization of a list with finite description is a finite desciption.
Consider the list with every element 0
The result of diagonalization is 111...
(from which it follows that there is no finite description of all infinite sequences with finite description.)