From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/52 Path: news.gmane.org!not-for-mail From: Steve Stevenson Newsgroups: gmane.science.mathematics.categories Subject: Re: "Kantor dust" Date: Sun, 08 Feb 2009 15:36:37 -0500 Message-ID: <8C91305E-226A-4D07-9604-9BA021A27B4F@me.com> Reply-To: Steve Stevenson NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7BIT X-Trace: ger.gmane.org 1234201072 13245 80.91.229.12 (9 Feb 2009 17:37:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 9 Feb 2009 17:37:52 +0000 (UTC) To: Toby Bartels , Original-X-From: categories@mta.ca Mon Feb 09 18:39:07 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1LWa5z-0004J2-PT for gsmc-categories@m.gmane.org; Mon, 09 Feb 2009 18:38:59 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LWZVh-0000T8-C1 for categories-list@mta.ca; Mon, 09 Feb 2009 13:01:29 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:52 Archived-At: 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