2 May
2005
2 May
'05
12:32 p.m.
robert dockins wrote:
Assign finite completely defined lists their usual lengths, and every _|_ terminated or infinite list, length w.
So every infinite object has a special length denoted "w". I assume we wish to make the following statements about "w"
w = w ~(w < w)
Without which "=" and "<" fail to have their intended meaning.
I don't know what's 'your' intended meaning of the length of an infinite
list, but I don't think you can prove or assume that ~(w