|
|
Re: Matheology § 203
Posted:
Feb 1, 2013 4:46 PM
|
|
I will rephrase.
Let a predicate, P, be said to have the
orange property, if P(s) is true
for every (in the potential sense)
potentially infinite 0/1 sequence s.
According to WM
A potentially infinite list, L,
of potentially infinite 0/1 sequences
can be such that
P_L(s): s is a line of L
has the orange property
Let a potentially infinite list, L,
of potentially infinite 0/1 sequences
be such that
P_L(s): s is a line of L
has the orange property
Let s be a potentially infinite
0/1 sequence.
Does this imply that s is
a line of L?
|
|
