Date: Feb 2, 2013 4:46 PM
Author: fom
Subject: Re: WMytheology § 203
On 2/2/2013 2:19 PM, Virgil wrote:

>> Can a potentially infinite list

>> of potentially infinite 0/1

>> sequences have the property that

>

>> if s is a potentially infinite 0/1

>> sequence, then s is a line of L

>

> One cannot ever actually have a potentially infinite list, any more than

> one can have an actually infinite list, one can actually only have a

> finite list with some indication of how that list might be indefinitely

> extended.

>

> Which is as much an abbreviation of a truly infinite list as it is an

> abbreviation of a potentially infinite list.

>

I would guess this is why the Russian

school of constructive mathematics focused

heavily on algorithms as exemplifying the

meaning of potentially infinite. Numbers

are algorithms having secondary algorithms

guaranteeing convergence of the first.

No abbreviations. Wish I knew more about

their work.

On the list for this year's reading.

Tried Sanin's book on constructive reals...

Needed Sanin's paper on constructive logic...

Needed Markov's book on theory of algorithms...

Got them all now. It looks like I will have

the necessary symbol definitions. I was

afraid I might need something by Kolmogorov.