On 2/7/2013 6:42 PM, Virgil wrote: > In article > <firstname.lastname@example.org>, > WM <email@example.com> wrote: > >>> In ordinary set theory the definable real numbers are listable. >> >> No. The list if defined, would have a defined anti-diagonal. >> And of an undefined list > > How can one have an undefined list? >
I think I did it once with a program running on a PDP-11. Like WMoron, the program never halted.