Message from discussion
Foundations of real numbers
Received: by 10.180.106.102 with SMTP id gt6mr3176912wib.0.1350352571522;
Mon, 15 Oct 2012 18:56:11 -0700 (PDT)
MIME-Version: 1.0
Path: q10ni65138170wif.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!216.196.110.142.MISMATCH!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: mstem...@walkabout.empros.com (Michael Stemper)
Newsgroups: sci.math
Subject: Re: Foundations of real numbers
Date: Thu, 11 Oct 2012 17:28:39 +0000 (UTC)
Organization: Society for Rational Investigation
Lines: 17
Distribution: world
Message-ID: <k56vk7$lja$2@dont-email.me>
References: <9082b607-540d-4e9d-9bd7-fb3e405a7294@googlegroups.com> <k55n3g$pdu$1@news.albasani.net>
Reply-To: michael.stem...@gmail.com
Injection-Date: Thu, 11 Oct 2012 17:28:39 +0000 (UTC)
Injection-Info: mx04.eternal-september.org; posting-host="9c1deeb4e9ecd8032a890c8afa8e14af";
logging-data="22122"; mail-complaints-to="ab...@eternal-september.org"; posting-account="U2FsdGVkX1/DtjWjoq7zDa73LHNX/WDQNjtMavUhH7o="
X-newsreader: xrn 9.02
Cancel-Lock: sha1:VD9gIDElEeNbwGrZE26UHnknj/k=
Bytes: 1589
In article <k55n3g$pd...@news.albasani.net>, "Peter Webb" <webbfamily@DIE_SPAMoptusnet.com.au> writes:
>The problem (as I see it) with Cauchy sequences is that they are sequences,
>and hence require a mapping from N to Rationals.
Why would that be a problem?
> The LUB property is more
>general, in that it applies to unordered sets.
It does? I always thought that order was necessary before you could
define any upper (or lower) bounds.
--
Michael F. Stemper
#include <Standard_Disclaimer>
Life's too important to take seriously.