On 2010-06-27, Newberry <newberryxy@gmail.com> wrote: > I was replying to this: > "It implies a listing must exist, but does not provide such a > listing." > > "It", in this context is the statement "all computable reals are > countable." > > If an antidiagonal existed it would prove that there was no such > list.
No, it merely implies that every such listing has an uncomputable antidiagonal, which further implies that the listing itself is an uncomputable function.
