Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: =?UTF-8?Q?Andreas_R=c3=b6hler?= <andreas.roehler@online.de>
Newsgroups: comp.lang.python
Subject: Re: Operator Precedence/Boolean Logic
Date: Thu, 23 Jun 2016 11:51:46 +0200
Lines: 31
Message-ID: <mailman.63.1466675567.11516.python-list@python.org>
References: <15997174-44d5-431c-8f90-a8d700921820@googlegroups.com> <56ecacd4-cc17-48ec-9830-57c8113d16f6@googlegroups.com> <YoudnV5Wro07zvbKnZ2dnUU7-b3NnZ2d@giganews.com> <3a840cef-24d2-4abb-8e5b-dc80bf48944d@googlegroups.com> <63fe7ea9-a14f-94a2-cdd5-27aa902fbf6b@online.de> <mailman.55.1466663422.11516.python-list@python.org> <576b8a41$0$2792$c3e8da3$76491128@news.astraweb.com> <576B9B33.2030903@rece.vub.ac.be> <07e13a5d-38bf-7bfa-f45f-a24dea8e3004@online.de> <mailman.59.1466670482.11516.python-list@python.org> <576ba927$0$1504$c3e8da3$5496439d@news.astraweb.com> <ac0ea4f7-d803-71af-9e19-1a579af3ad77@online.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de EckRK/gN5gPi39mR5z9osgG9AQTpWUKWQ3yd/xKrs+Tg==
Return-Path: <andreas.roehler@online.de>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.005
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'received:192.168.178': 0.07; 'item,': 0.09; 'received:212.227.126': 0.09; 'python.': 0.11; 'forth.': 0.16; 'one)': 0.16; 'received:io': 0.16; 'received:psf.io': 0.16; 'set:': 0.16; 'successor': 0.16; 'wrote:': 0.16; 'not,': 0.22; 'defined': 0.23; 'header:In-Reply- To:1': 0.24; 'header:User-Agent:1': 0.26; 'arithmetic': 0.29; 'subject:/': 0.30; 'another': 0.32; 'up.': 0.32; "d'aprano": 0.33; 'steven': 0.33; 'but': 0.36; 'should': 0.36; 'to:addr:python- list': 0.36; 'subject:: ': 0.37; 'two': 0.37; 'thanks': 0.37; 'received:192': 0.39; 'to:addr:python.org': 0.40; 'where': 0.40; 'received:de': 0.40
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0
In-Reply-To: <576ba927$0$1504$c3e8da3$5496439d@news.astraweb.com>
X-Provags-ID: V03:K0:xUfLtSQ/HdSGtfFLxtxSxlES487e7GTf08RBP6Dyhuyfcbfu8xt i/R3kl6gmS+m/NHQNli3p76wRCh1oIyo1A2G7qWVb7XJ1jaF0x6R/vel7dZRrNydUaCNrsT dal8TG/cX/Ftu8JQkd1T+zJ6iH7UG632c8R25ZQO1AOGh8yo8bUW2dXedpRBL9E/SCyn8Xh R+vuxNMAE6pgKlMNG4cuw==
X-UI-Out-Filterresults: notjunk:1;V01:K0:bz+GIDVOboc=:X/N4jO8FzUdRZpZdcjjoDD 6vZQGylQos3RsVXVHFpGsKeXcLh2zXEYjgAyTK7/ZnyfG8NeNW0+If57k4NMjEbvQLxbbDmat rGnVm5M5a2XYH1yxDSsp3OV1pEA1DzzBdYjH4AE/NY8LIEzEm8kaG4jIBmx4Km64OCiUAAl/J rL/5S4QnyVwQdL7MNxge95MSP3ZaR60quZ16FICLXsjxFyveUUdPqGuWmdjlrQPdEMMOxOaoo 50mCkyVMDmOQB4nKaHd7Br7EapIdd1K63YZ4yToNCN0159LiTqT4ZSqtcJ2WFYZJqmx562KWN FRT6Y1Gvkvs1fR0ai+GjpzBIiD7FX55RySxorEy4UfLK/pkZl2Dw4rKs69N7pYkXgNHyjw3v2 d1yHjKRER3bqs1Lx1Mx+FXjaMZHHF4rSaDW+MvMWTnhR9Fp8Cx+/8BWSqWnU5BpUM3KrdZ0Ah 7NNpms+BETAs1432cg4yPuyVUpujmciJRE6b3RNyKz76Kgv6etV8jjiIe2NB+LicKi/QftYxA VIqvYaFvtEAiPyNH7e0boCDmHDOgLgOTdAZnvcY8no/wL1ztvCoUObwxStDxFZU8VaGm9OEM7 JSj3bhNEUGYGPSXaPgH/SQ49Q2ZxfMXcyj3p0EeyE61TrVEU8C5BhEA5SX92mGKX94RAyO4RJ Tv1s5QK7xtQKHowQalfl1vsdOXAmixHqgCCa3CUe99JmpQ8HQBdbCzDR3Lr3PoMXP2muUI2qk DakTHia+EoDNd+r8
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.22
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>
X-Mailman-Original-Message-ID: <ac0ea4f7-d803-71af-9e19-1a579af3ad77@online.de>
X-Mailman-Original-References: <15997174-44d5-431c-8f90-a8d700921820@googlegroups.com> <56ecacd4-cc17-48ec-9830-57c8113d16f6@googlegroups.com> <YoudnV5Wro07zvbKnZ2dnUU7-b3NnZ2d@giganews.com> <3a840cef-24d2-4abb-8e5b-dc80bf48944d@googlegroups.com> <63fe7ea9-a14f-94a2-cdd5-27aa902fbf6b@online.de> <mailman.55.1466663422.11516.python-list@python.org> <576b8a41$0$2792$c3e8da3$76491128@news.astraweb.com> <576B9B33.2030903@rece.vub.ac.be> <07e13a5d-38bf-7bfa-f45f-a24dea8e3004@online.de> <mailman.59.1466670482.11516.python-list@python.org> <576ba927$0$1504$c3e8da3$5496439d@news.astraweb.com>
Xref: csiph.com comp.lang.python:110395



On 23.06.2016 11:17, Steven D'Aprano wrote:
> [ ... ]
> We can derive arithmetic from set theory.

IMO not, resp. not really. But that would make a another item, pretty 
off-topic from Python.

Should you know a place where to continue, would like to follow up.

Thanks BTW.

>   Zero is very special: it is defined
> as the empty set:
>
> 0: {}
>
> The successor of zero (namely, one) is the set of all empty sets:
>
> 1: {{}}
>
> Two is the set of zero and one:
>
> 2 = {{}, {{}}}
>
> and so forth.
>
>
>