Date: Feb 7, 2013 8:14 PM
Subject: Re: Matheology § 210
On 2/7/2013 6:42 PM, Virgil wrote:
> In article
> 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.