Date: Feb 7, 2013 8:14 PM
Author: fom
Subject: Re: Matheology § 210

On 2/7/2013 6:42 PM, Virgil wrote:
> In article
> <8774876a-a93e-42fc-ba5d-a3aebfa4308e@u21g2000vbo.googlegroups.com>,
> WM <mueckenh@rz.fh-augsburg.de> 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.