[Haskell-cafe] Functional progr., images, laziness and all therest

[Brian Hulley]

Jon Fairbairn wrote:
> On 2006-06-22 at 15:16BST "Brian Hulley" wrote:
>> minh thu wrote:
>>> y and yq are infinite...
>>
>> But how does this change the fact that y still has 1 more element
>> than yq? yq is after all, not a circular list.
>
> infinity+1 = infinity

Surely this is just a mathematical convention, not reality! :-)

>
>> I don't see why induction can't just be applied infinitely
>> to prove this.
>
> because (ordinary) induction won't go that far.

I wonder why?
For any finite list yq, |y| == |yq| + 1
So considering any member yq (and corresponding y) of the set of all finite 
lists, |y| == |yq| + 1

Couldn't an infinite list just be regarded as the maximum element of the 
(infinite) set of all finite lists?

Regards, Brian.
-- 
Logic empowers us and Love gives us purpose.
Yet still phantoms restless for eras long past,
congealed in the present in unthought forms,
strive mightily unseen to destroy us.

http://www.metamilk.com