From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2140 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: Cauchy completeness of Cauchy reals Date: Tue, 28 Jan 2003 18:00:12 -0800 Message-ID: <20030129020011.GA29763@math-lw-n01.ucr.edu> References: <3E36ED4F.4070807@kestrel> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241018438 2674 80.91.229.2 (29 Apr 2009 15:20:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:20:38 +0000 (UTC) To: CATEGORIES mailing list Original-X-From: rrosebru@mta.ca Wed Jan 29 11:40:48 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 29 Jan 2003 11:40:48 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18duHt-00057O-00 for categories-list@mta.ca; Wed, 29 Jan 2003 11:38:06 -0400 Content-Disposition: inline In-Reply-To: <3E36ED4F.4070807@kestrel> User-Agent: Mutt/1.4i Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 65 Original-Lines: 25 Xref: news.gmane.org gmane.science.mathematics.categories:2140 Archived-At: Dusko Pavlovic wrote in part: >(i think this does deserve some general interest because we often say >that categories capture real mathematical practices --- but as it >happens, cauchy reals are not complete, and the mean value theorem >fails, and so on. i was hoping to understand where does the usual >intuition of continuum fail, and what categorical property do we need >to do basic calculus. It depends on what you mean by "basic calculus". Bishop would argue that he can do basic calculus just fine using a constructive version of the mean value theorem. This is not to say that you don't have an interesting question; from the POV of the mathematician on the street (not very theoretical), classical theorems often follow from constructivist (a la Bishop) one if you assume that sequentially compact metric spaces are compact (which means complete and totally bounded to Brouwer and Bishop), so that might be one place to look. -- Toby