On Sun, Apr 06, 2003 at 05:52:30AM -0700, Paul wrote:
I just said you can *compare* them, I didn't say test whether they're
identical. Obviously comparing internal representations is a tricky
business, and may have three results: "yes, the lists they generate
are equal", "no, the lists they ge
> Tom Christiansen wrote:
> >>Unless I'm very wrong, there are more whole numbers than natural
> >>numbers. An induction should prove that there are twice as many.
> >
> >
> > We're probably having a language and/or terminology collision. By natural
> > numbers, I mean the positive integers. B
Tom Christiansen wrote:
Unless I'm very wrong, there are more whole numbers than natural
numbers. An induction should prove that there are twice as many.
We're probably having a language and/or terminology collision. By natural
numbers, I mean the positive integers. By whole numbers, I mean th
--- Matthijs van Duin <[EMAIL PROTECTED]> wrote:
> I just said you can *compare* them, I didn't say test whether they're
> identical. Obviously comparing internal representations is a tricky
> business, and may have three results: "yes, the lists they generate
> are equal", "no, the lists they
On Sat, Apr 05, 2003 at 05:28:16PM -0700, Tom Christiansen wrote:
Is it possible that "finite internal representations" will differ in
internal representation yet produce identical series?
..[snip]..
Those define identical list, for any natural numbers X and Y, even as
compile-time constants. How
Steffen Mueller wrote:
>
> Tom Christiansen wrote:
> [...]
>
> > The price of that consideration would be to give the Mathematicians
> > blank looks on *their* faces for a very long time instead. Certainly,
> > they'll be quick to tell you there are just as many whole numbers
> > as naturals. S
Tom Christiansen wrote:
> Anyway, all fun and games with Messrs Engineer and Mathematician,
> you still want to find some sensible way of comparing lazily evaluated
> infinite lists so that you could get some sort of answer. But what
> is that answer? Or what is *an* answer? Can there even *be*
