From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/78 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: "Kantor dust" Date: Wed, 11 Feb 2009 20:25:25 -0800 Message-ID: Reply-To: Toby Bartels NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1234492855 13220 80.91.229.12 (13 Feb 2009 02:40:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 13 Feb 2009 02:40:55 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri Feb 13 03:42:10 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 1LXo0H-0006Ov-Bf for gsmc-categories@m.gmane.org; Fri, 13 Feb 2009 03:42:09 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LXnTL-0000Nn-6h for categories-list@mta.ca; Thu, 12 Feb 2009 22:08:07 -0400 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:78 Archived-At: Dusko Pavlovic wrote in part: [Prof. Johnstone responded to most of this, but I want to address one point.] >there are >many things that need to be computed with the reals, and no one >representation fits for all purposes. so the statement >>nobody uses the binary reals >probably has more counterexamples than, say, the statement "nobody >uses toposes". even if "the" binary reals were completely wrong. What I meant is that no practising constructivist accepts that the binary reals are the (or a) good notion of real number, especially since no practising constructivist believes they form a ring. I don't intend this as a dogamatic statement, and I'd be very interested to here of any exceptions, but nevertheless I believe that it is true. I certainly don't mean that nobody, not even a constructivist, uses the binary reals as an approximation to real numbers for the purposes of convenient calculations. And of course, classical mathematicians do believe that the binary reals are (all of) the reals. As I suggested in a reply to Steve Stevenson, constructive mathematics is about what can in principle be computed exactly. What can in practice be computed closely enough is another question, quite a useful one to ask but not at all the same thing. (And what can in practice be computed exactly is another good question, one that I'm interested in but don't know enough about.) --Toby