Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.arch > #1518

Re: Computer arithmetic problems worth exploring

Message-ID <4DCCA181.9030401@SPAM.comp-arch.net> (permalink)
Date 2011-05-12 20:12 -0700
From "Andy \"Krazy\" Glew" <andy@SPAM.comp-arch.net>
Organization comp-arch.net
Newsgroups comp.arch
Subject Re: Computer arithmetic problems worth exploring
References <0fbd4179-1128-4ae0-94cf-91fcc25f6401@glegroupsg2000goo.googlegroups.com> <iqderu$k1$1@gosset.csi.cam.ac.uk> <4DCAED84.8000007@SPAM.comp-arch.net> <iqesrs$agv$1@gosset.csi.cam.ac.uk>

Show all headers | View raw

On 5/11/2011 1:51 PM, nmm1@cam.ac.uk wrote:
> In article<4DCAED84.8000007@SPAM.comp-arch.net>,
> Andy \"Krazy\" Glew<andy@SPAM.comp-arch.net>  wrote:

> 1/0 is undefined in any field, and always has been.  Hence a NaN.
> Most people would also map the infinity of unknown sign to a NaN,
> but you could have another value if you preferred.
>
>
> Anyway, my point wasn't that you SHOULD provide all of that, but
> that the traditional arithmetic model is mathematically consistent,
> and (bluntly) IEEE 754 isn't.


"Traditional mathematical model"?

I thought this wall all classified as non-standard analysis.  Which was 
not mathematically formalized until the 20th century.  Is that what you 
mean by "traditional"?

And then I realized: you are from Cambridge. Home of Isaac Newton and 
infinitesimals.

Back to comp.arch | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: Computer arithmetic problems worth exploring "Paul A. Clayton" <paaronclayton@gmail.com> - 2011-05-10 19:24 -0700
  Re: Computer arithmetic problems worth exploring nmm1@cam.ac.uk - 2011-05-11 08:46 +0100
    Re: Computer arithmetic problems worth exploring "Andy \"Krazy\" Glew" <andy@SPAM.comp-arch.net> - 2011-05-11 13:11 -0700
      Re: Computer arithmetic problems worth exploring nmm1@cam.ac.uk - 2011-05-11 21:51 +0100
        Re: Computer arithmetic problems worth exploring "Andy \"Krazy\" Glew" <andy@SPAM.comp-arch.net> - 2011-05-12 20:12 -0700
          Re: Computer arithmetic problems worth exploring Quadibloc <jsavard@ecn.ab.ca> - 2011-05-12 20:53 -0700
          Re: Computer arithmetic problems worth exploring Jason Riedy <jason@lovesgoodfood.com> - 2011-05-13 00:03 -0400
      Re: Computer arithmetic problems worth exploring nmm1@cam.ac.uk - 2011-05-12 00:07 +0100
        Re: Computer arithmetic problems worth exploring "Andy \"Krazy\" Glew" <andy@SPAM.comp-arch.net> - 2011-05-12 20:14 -0700

csiph-web