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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe