Path: csiph.com!usenet.pasdenom.info!weretis.net!feeder1.news.weretis.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <rosuav@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.006
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; '21,': 0.07; 'counting': 0.07; 'cc:addr:python-list': 0.09; 'constants.': 0.09; 'defined.': 0.09; 'subject:2.7': 0.09; 'mathematics': 0.15; '...,': 0.16; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'set,': 0.16; 'subject:non': 0.16; 'wrote:': 0.16; 'language': 0.19; '2015': 0.20; 'cc:2**0': 0.20; 'cc:addr:python.org': 0.20; 'trying': 0.22; 'programming': 0.22; 'defined': 0.23; '(or': 0.23; 'header:In-Reply-To:1': 0.24; 'message-id:@mail.gmail.com': 0.27; 'subject: [': 0.29; 'url:wikipedia': 0.29; 'url:wiki': 0.30; 'getting': 0.33; 'definition': 0.34; 'tue,': 0.34; 'received:google.com': 0.35; 'url:org': 0.36; 'pm,': 0.36; 'subject:: ': 0.37; 'two': 0.37; 'url:en': 0.39; 'subject:-': 0.39; 'ago.': 0.61; 'fundamental': 0.66; 'jul': 0.72; 'century': 0.84; 'chrisa': 0.84; 'to:none': 0.91; 'essence': 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 :content-type; bh=H+5d2xQ6HHbDW95Bxkar6fG8FP1MjhGbkx+QiBVmag8=; b=oZvBF6qJCb0y4aF1H3TB3LYk9f6jgc+PUq/3DQpFriDlXZriAH7QcIyiMdDN1VByUY rC+15NFnBDxt5ivnUkVM7BCDH+5Ms+RO1n3Z+dELO9I0pauTuMK/Kj2mVtEYJY4qUArS Lote6wWo6ICVGkmqbQfh2MgCRbOUjxzzGyc1itqFH8B9UxAKvWuXPayrcpccQ9IYBf+J frcorYdsLxRTJGwdQD2MkO+2RskdTSrsa57wjzkrAP9TLHpFmsoiwlHfIJp46z9Tl92h K8ugWgPHRcfEmsvZEPo7+Q+GZ2UKd/RxeIv7GlKF7a4EV3Oi/J5wksVhUC6EUMrtWSsi HMtA==
MIME-Version: 1.0
X-Received: by 10.50.134.196 with SMTP id pm4mr22381361igb.6.1437470313450; Tue, 21 Jul 2015 02:18:33 -0700 (PDT)
In-Reply-To: <87twsxj2ot.fsf@elektro.pacujo.net>
References: <moenuj$f11$1@ger.gmane.org> <moeqtn$mh0$1@ger.gmane.org> <moeurf$a6f$1@ger.gmane.org> <mailman.695.1437273248.3674.python-list@python.org> <7083e494-6192-4acb-aea9-216d858171bc@googlegroups.com> <55ab2b57$0$1664$c3e8da3$5496439d@news.astraweb.com> <76252f32-64e9-405b-84a2-996200a6fa6f@googlegroups.com> <mailman.808.1437466239.3674.python-list@python.org> <87twsxj2ot.fsf@elektro.pacujo.net>
Date: Tue, 21 Jul 2015 19:18:33 +1000
Subject: Re: Devanagari int literals [was Re: Should non-security 2.7 bugs be fixed?]
From: Chris Angelico <rosuav@gmail.com>
Cc: "python-list@python.org" <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.20+
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>
Newsgroups: comp.lang.python
Message-ID: <mailman.810.1437470321.3674.python-list@python.org>
Lines: 18
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1437470321 news.xs4all.nl 2826 [2001:888:2000:d::a6]:57983
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:94280

On Tue, Jul 21, 2015 at 7:10 PM, Marko Rauhamaa <marko@pacujo.net> wrote:
> This is getting deep. It is an embarrassing metamathematical fact that
> numbers cannot be defined. At least, mathematicians gave up trying a
> century ago.
>
>    In mathematics, the essence of counting a set and finding a result n,
>    is that it establishes a one to one correspondence (or bijection) of
>    the set with the set of numbers {1, 2, ..., n}.
>    <URL: https://en.wikipedia.org/wiki/Counting#Counting_in_mathematics>

AIUI, zero is defined as the cardinality of the empty set, one is
defined as the cardinality of the set containing the empty set, two is
defined as the cardinality of the set containing the empty set and the
set containing the set containing the empty set... which makes
mathematics the only language *more verbose* than the Shakespeare
Programming Language in its definition of fundamental constants.

ChrisA