[Haskell-cafe] Re: 0/0 > 1 == False

Achim Schneider barsoap at web.de
Sat Jan 12 04:45:17 EST 2008

Kalman Noel <kalman.noel at bluebottle.com> wrote:

> Achim Schneider wrote:
> > whereas lim( 0 ) * lim( inf ) is anything you want
> Indeed I suppose that »lim inf«, which is a notation I'm not familiar
> with, is not actually defined to mean anything?
It's an ad-hoc expression of "as the slices approach zero size, their
number approaches infinity". It's more an observation than anything
else. I have no idea how a professional mathematician would formalise

(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited. 

More information about the Haskell-Cafe mailing list