[Haskell-cafe] Functional progr., images, laziness and all therest
william.wood3 at comcast.net
Thu Jun 22 10:25:08 EDT 2006
On Thu, 2006-06-22 at 15:16 +0100, Brian Hulley wrote:
. . .
> But how does this change the fact that y still has 1 more element than yq?
> yq is after all, not a circular list.
> I don't see why induction can't just be applied infinitely to prove this.
The set of all non-negative integers has "one more element" than the set
of all positive integers, however they have the same cardinality,
aleph-null. This phenomenon is the hallmark of infinite sets.
-- Bill Wood
More information about the Haskell-Cafe