From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/68 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: "Kantor dust" Date: Tue, 10 Feb 2009 16:13:51 -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 1234362031 25122 80.91.229.12 (11 Feb 2009 14:20:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 11 Feb 2009 14:20:31 +0000 (UTC) To: categories list Original-X-From: categories@mta.ca Wed Feb 11 15:21:43 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 1LXFxz-0002rh-TK for gsmc-categories@m.gmane.org; Wed, 11 Feb 2009 15:21:32 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LXFM2-0003FA-RV for categories-list@mta.ca; Wed, 11 Feb 2009 09:42:18 -0400 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:68 Archived-At: Steve Stevenson wrote in part: >Toby Bartels wrote: >>Floating-point reals have terrible theoretical properties; >>they're not even a ring (not even classically). >>This is why even after all of Kahan's good work on algorithms, >>rounding errors are unavoidable (the "Table-Maker's Dilemma"). >Being left-handed and old, I'll propose in my dotage that we may be >asking the wrong question. In a rewording, what constructive real >numbers are there for the purpose of >1. Being a model of an axiomatic characterization of the reals. >2 Being usable in supercomputing to compute values needed for modeling >and simulation. I would distinguish two slightly different purposes: 1. Being usable in principle to compute values 2. Being usable in practice to compute values needed for modeling, etc. And I'd say that constructive mathematics is inherently about (1), although often (and like even classical mathematics, usually best when) with an eye towards (2). But (2) itself is something different (applied mathematics, to give it a name; numerical analysis straddles these.) Although I've redefined them, I think that this remains true: >Number 1 requires that we have nice theoretical properties. Number 2 >requires something that is bounded only the dollars and life span. Those >interested in either purpose have (presumedly) a solution for >themselves. Interval arithmetic, despite being more complicated than arithemetic with either floating-point reals or Dedekind/Cauchy/whatever reals, is an interesting subject that promises to satisfy both (1)&(2). This is good for both: good for (1) on the general grounds that applied mathematics usually leads to good pure mathematics (especially, but not only, when that mathematics is constructive); and good for (2) since you'll have theorems that you can be sure of. >I'm willing to >live with a demonstrably correct approximation given that we are in an >uncertain world. Right, and interval arithmetic promises to get us such approximations. There's still the question of whether demonstrably correct ones are actually calculable in practice; that depends on the application. At some point, you have to go beyond even interval arithmetic and start dealing with probability distributions as your values, which is yet more complicated theoretically but matches yet more closely what one actually has in applications. I'm not sure how much this has to do with category theory anymore, but as interval arithmetic is already stretching my expertise, I don't think that I have much more to say anyway. --Toby