Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Jason Riedy <jason@lovesgoodfood.com> |
|---|---|
| Newsgroups | comp.arch |
| Subject | Re: Computer arithmetic problems worth exploring |
| Organization | Just me. |
| 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> <4DCCA181.9030401@SPAM.comp-arch.net> |
| Date | 2011-05-13 00:03 -0400 |
| Message-ID | <87zkmrb62w.fsf@NaN.sparse.dyndns.org> (permalink) |
And Andy Glew writes: >> 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"? If he means models backed by formal logic, then yes, 754 is fine. http://hal.inria.fr/inria-00534854/en/ -- Jason
Back to comp.arch | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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