fom
Posts:
1,030
Registered:
12/4/12
|
|
Re: Matheology § 210
Posted:
Feb 7, 2013 8:14 PM
|
|
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.
|
|
