8 Feb
2009
8 Feb
'09
8:36 p.m.
On Feb 7, 2009, at 5:58 PM, Toby Bartels wrote:
Prof. Peter Johnstone wrote in part:
Vaughan Pratt wrote:
Whose reals, Cauchy's or Dedekind's?
Toby was of course referring to the Dedekind reals
How about IEEE 754 reals? They're really "scientific notation". There has been a tremendous amount of work on them by William Kahan and others and now are the standard for the numerical analysis world and computers. Since this is the basics for computation, I'd propose that they can be tightened up even more to suit constructivist purposes. Steve -------- D. E. Stevenson, Department of Computer Science Director, Institute for Modeling and Simulation Applications Clemson University, Clemson, SC 29634-0974