X-Received: by 10.50.82.100 with SMTP id h4mr26589305igy.9.1437587474544; Wed, 22 Jul 2015 10:51:14 -0700 (PDT) X-Received: by 10.50.122.40 with SMTP id lp8mr519844igb.0.1437587474516; Wed, 22 Jul 2015 10:51:14 -0700 (PDT) Path: csiph.com!optima2.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!f3no1448566igg.0!news-out.google.com!t2ni18442igk.0!nntp.google.com!pg9no3125236igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.python Date: Wed, 22 Jul 2015 10:51:13 -0700 (PDT) In-Reply-To: <871tg0ulrd.fsf@jester.gateway.sonic.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=59.94.112.78; posting-account=mBpa7woAAAAGLEWUUKpmbxm-Quu5D8ui NNTP-Posting-Host: 59.94.112.78 References: <7083e494-6192-4acb-aea9-216d858171bc@googlegroups.com> <55ab2b57$0$1664$c3e8da3$5496439d@news.astraweb.com> <76252f32-64e9-405b-84a2-996200a6fa6f@googlegroups.com> <87twsxj2ot.fsf@elektro.pacujo.net> <55ae2171$0$1646$c3e8da3$5496439d@news.astraweb.com> <890a3d61-2824-48e3-be19-56d0ff63d6d9@googlegroups.com> <55afcbbf$0$1648$c3e8da3$5496439d@news.astraweb.com> <871tg0ulrd.fsf@jester.gateway.sonic.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1c256354-8609-4ab2-aedb-e31cc638bbbc@googlegroups.com> Subject: Re: OT Re: Math-embarrassment results in CS [was: Should non-security 2.7 bugs be fixed?] From: Rustom Mody Injection-Date: Wed, 22 Jul 2015 17:51:14 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: csiph.com comp.lang.python:94389 On Wednesday, July 22, 2015 at 11:18:23 PM UTC+5:30, Paul Rubin wrote: > Remember also that "in ultrafinitism, Peano Arithmetic goes from 1 to > 88" (due to Shachaf on irc #haskell). ;-) No No No Its 42; Dont you know?