Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Chris Angelico <rosuav@gmail.com>
Newsgroups: comp.lang.python
Subject: Re: [Off-topic] Requests author discusses MentalHealthError exception
Date: Thu, 3 Mar 2016 13:35:12 +1100
Lines: 14
Message-ID: <mailman.132.1456972516.20602.python-list@python.org>
References: <56d16e6a$0$1593$c3e8da3$5496439d@news.astraweb.com> <CACwCsY6vDFUdtOdXDSy=gvJXoC_oV1Pmic7_jb6T34E2QuB03A@mail.gmail.com> <CALwzidkm3gopw-fBGa=3PR7a1B7dm4DzOWjP-+mcg1pCKq2NPg@mail.gmail.com> <mailman.26.1456764977.20602.python-list@python.org> <b8bec8a7-cbb5-4d7e-bb77-824b771c6b46@googlegroups.com> <56d5cbef$0$22142$c3e8da3$5496439d@news.astraweb.com> <eeb1ff13-cab2-4c86-9960-431e7729f3c7@googlegroups.com> <56d7a130$0$1611$c3e8da3$5496439d@news.astraweb.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
X-Trace: news.uni-berlin.de k5L9tqo9ay5RAnPR7QepWAP/ofuFucijd02GpIiij/Wg==
Return-Path: <rosuav@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.070
X-Spam-Evidence: '*H*': 0.88; '*S*': 0.02; 'subject:: [': 0.03; 'received:209.85.223': 0.03; 'cc:addr:python-list': 0.09; 'thu,': 0.15; '2016': 0.16; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'received:io': 0.16; 'received:psf.io': 0.16; 'subject:exception': 0.16; 'wrote:': 0.16; 'subject:] ': 0.19; 'cc:2**0': 0.20; 'cc:addr:python.org': 0.20; 'header:In-Reply- To:1': 0.24; 'message-id:@mail.gmail.com': 0.27; 'certain': 0.31; "d'aprano": 0.33; 'mass': 0.33; 'steven': 0.33; 'received:google.com': 0.35; 'received:209.85': 0.36; 'pm,': 0.36; 'received:209': 0.38; 'someone': 0.38; 'subject:-': 0.39; 'entire': 0.61; 'mar': 0.65; 'sum': 0.69; 'exceed': 0.72; 'subject:skip:M 10': 0.72; 'physical': 0.72; 'chrisa': 0.84; 'subject:author': 0.84; 'universe': 0.84; 'absolutely': 0.88; 'to:none': 0.91; 'alone.': 0.91
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:cc; bh=dhTRLP3XA1PUUhrjRoaUeNhbJP0DbEPV40+joTHA/d4=; b=KZfb2miKUi1oZt9rIPq9Wh4nDi6npVESBfN5lH3XgoYdWJXZb3RMERPzX3n5Ch1QrC VADZqbUddAPavbUqB5Y1/egnqVqMJIP3SZQDnrF82ln8CH70DmXGSUXsQ4GCTpJu6d5h OySFD4uFuv5GrlTPUBFZLAWFKGyJDb/uL1Tu/309vro2PgQxmYjMyU0UgwBCNMctP8Yq ducZ80wl0oGb6L8OGvYLV57HdJ/kgzWZ51VvRbSh3aE2cZkUVZkWNSeMnXvRYRrF/XT4 bRqgnF/O/PeLFOmjtiMap5eLk4m/HH1WBQN4uZa6KoSLHrj3GVso2haaatn533ErA2rG Nh/Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:cc; bh=dhTRLP3XA1PUUhrjRoaUeNhbJP0DbEPV40+joTHA/d4=; b=MQsHIhBkLdeUigjdl2o+L3xdAiK0MU0/tWvd4t6izOoegxuujTgg6sCZNTQ+iHQ1xM W1I1011fQ/L7mWruAoLCepJ21cW5QMRrL1rKzq/g79lqj5YBq5RfoynYrYe/av0f+9yh CD97HyPfRMu/4LubE3lip9G986ZsjlyWovu4gjXNb4N7icOsdQnQjRABAez56/MzWFiR 0U+MNb3V1qC9sLP8CLpOr8dwkRUVzUx97phYyV31GezB2byC8qJcPKPozUiN18GFoRZU +H5uBxNZ2v/mN47RA+7vbIWt8SXZorIeoKOEM8RC8CSVJ56nWLS7MLo9dKSZto2ss4OJ +p6w==
X-Gm-Message-State: AD7BkJLI23zoZw2pdBR0GQbsTwsDET2ztkJaSO5bTWqsR0vZw9hFqAVe7/m4i+QfH/BptMovcKoo+IVHM/P8pw==
X-Received: by 10.107.158.20 with SMTP id h20mr615028ioe.31.1456972512789; Wed, 02 Mar 2016 18:35:12 -0800 (PST)
In-Reply-To: <56d7a130$0$1611$c3e8da3$5496439d@news.astraweb.com>
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.21
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Xref: csiph.com comp.lang.python:103929

On Thu, Mar 3, 2016 at 1:27 PM, Steven D'Aprano <steve@pearwood.info> wrote:
> We can be absolutely certain that Kenneth weighs less than the entire
> universe. We don't even need a set of scales.

Formal proof:

1) No physical object can have negative mass.
2) I am a part of the universe and have positive mass.
3) I am not Kenneth.
4) The sum of my mass and Kenneth's mass must exceed Kenneth's mass alone.

Unless someone wants to dispute 1 or 2, we can be logically certain.

ChrisA