Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Gregory Ewing <greg.ewing@canterbury.ac.nz>
Newsgroups: comp.lang.python
Subject: Re: Decimals and other numbers
Date: Sat, 10 Jan 2015 16:08:24 +1300
Lines: 9
Message-ID: <chbjd6F76b8U2@mid.individual.net>
References: <CABicbJK-5izGtet8BsS1Yqx+6AHMX7gLU4zYjjt5jULJXNVipA@mail.gmail.com> <54AF405C.6020609@davea.name> <mailman.17501.1420772593.18130.python-list@python.org> <54af9612$0$12995$c3e8da3$5496439d@news.astraweb.com> <mailman.17513.1420793970.18130.python-list@python.org> <54afab5d$0$12976$c3e8da3$5496439d@news.astraweb.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net NcEtGfd0Of4APTo0gzPqqwagWis/ED0wtgvwWzThTKxRDFsVef
Cancel-Lock: sha1:COMdNeQDKghwS5XyGISdNhJZfRk=
User-Agent: Mozilla Thunderbird 1.0.5 (Macintosh/20050711)
X-Accept-Language: en-us, en
In-Reply-To: <54afab5d$0$12976$c3e8da3$5496439d@news.astraweb.com>
Xref: csiph.com comp.lang.python:83486

Steven D'Aprano wrote:
> I'm just sketching an informal proof. If you want to make it vigorous
                                                                ^^^^^^^^

I think the usual term is "rigorous", unless the mathematician
is taking some kind of stimulant... :-)

-- 
Greg