Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!eternal-september.org!feeder.eternal-september.org!news.stack.nl!newsfeed.xs4all.nl!newsfeed2a.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
MIME-Version: 1.0
In-Reply-To: <85eh38bq5z.fsf@benfinney.id.au>
References: <8e4c1ab1-e65d-483f-ad9d-6933ae2052c3@googlegroups.com> <52f219c5$0$29972$c3e8da3$5496439d@news.astraweb.com> <mailman.6418.1391600696.18130.python-list@python.org> <acdae8c8-2b59-4289-9f2b-1e4dd52cbd62@googlegroups.com> <mailman.6441.1391685020.18130.python-list@python.org> <888bd2fc-54b0-4c46-9d7b-d81d01a78b52@googlegroups.com> <52f59aeb$0$29972$c3e8da3$5496439d@news.astraweb.com> <fe00e52f-80cb-4c19-b0a1-79bfe0c34051@googlegroups.com> <mailman.6623.1392043356.18130.python-list@python.org> <7cc8f49d-a4c7-48c2-a0af-ac58c847d794@googlegroups.com> <mailman.6695.1392145462.18130.python-list@python.org> <71e578f8-0d23-4b8e-b9f2-b987bdc9c01d@googlegroups.com> <CAPTjJmo4qD2B7isr8yAK2t+22KqwaoFrT5b5U66mYe+VgwDkWA@mail.gmail.com> <85r478bv99.fsf_-_@benfinney.id.au> <CAPTjJmq6X8hOrNC4Qr4vrXZvCRg7UvBH=V__PDfeu9AUQ4qjUg@mail.gmail.com> <85ioskbtfm.fsf@benfinney.id.au> <CAPTjJmqKE5aTQemze8-X7bj9=mKe+BoNiEkvNteHnZB9Tt8+Rw@mail.gmail.com> <85eh38bq5z.fsf@benfinney.id.au>
Date: Wed, 12 Feb 2014 21:20:19 +1100
Subject: Re: Working with the set of real numbers
From: Chris Angelico <rosuav@gmail.com>
Cc: "python-list@python.org" <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Newsgroups: comp.lang.python
Message-ID: <mailman.6751.1392200425.18130.python-list@python.org>
Lines: 38
NNTP-Posting-Host: 2001:888:2000:d::a6
Xref: csiph.com comp.lang.python:66025

On Wed, Feb 12, 2014 at 9:07 PM, Ben Finney <ben+python@benfinney.id.au> wr=
ote:
> Chris Angelico <rosuav@gmail.com> writes:
>
>> On Wed, Feb 12, 2014 at 7:56 PM, Ben Finney <ben+python@benfinney.id.au>=
 wrote:
>> > So, if I understand you right, you want to say that you've not found
>> > a computer that works with the *complete* set of real numbers. Yes?
>>
>> Correct. [=E2=80=A6] My point is that computers *do not* work with real
>> numbers, but only ever with some subset thereof [=E2=80=A6]
>
> You've done it again: by saying that =E2=80=9Ccomputers *do not* work wit=
h real
> numbers=E2=80=9D, that if I find a real number =E2=80=93 e.g. the number =
4 =E2=80=93 your
> position is that, since it's a real number, computers don't work with
> that number.
>
> That's why I think you need to be clear that your point isn't =E2=80=9Cco=
mputers
> don't work with real numbers=E2=80=9D, but rather =E2=80=9Ccomputers work=
 only with a
> limited subset of real numbers=E2=80=9D.

Hmm, I'm not sure that my statement is false. If a computer can work
with "real numbers", then I would expect it to be able to work with
any real number. In C, I can declare an 'int' variable, which can hold
the real number 4 - does that mean that that variable stores real
numbers? No, and it's not useful to say that it does. It doesn't store
rationals either, even though 4 is a rational. The fact that computers
can work with some subset of real numbers does not disprove my
statement that computers don't work with "real numbers" as a class.
Program X works with text files, but it fails if the file contains
U+003C; can I feed it this thing, which is a text file? No, I can't,
because it works only with a subset of text files.

ChrisA