Re: quantifying bloat

Path	csiph.com!usenet.pasdenom.info!weretis.net!feeder1.news.weretis.net!feeder.erje.net!border3.nntp.ams.giganews.com!Xl.tags.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!local2.nntp.ams.giganews.com!nntp.bt.com!news.bt.com.POSTED!not-for-mail
NNTP-Posting-Date	Sat, 05 May 2012 04:16:44 -0500
From	"Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org>
Newsgroups	comp.programming
References	<12217875.401.1335542191031.JavaMail.geo-discussion-forums@ynjj38> <W5udnasYne_KmQDSnZ2dnUVZ7q2dnZ2d@bt.com> <1rnzov5qdfjg9$.1xzgbukwvzdqc$.dlg@40tude.net> <1dae75e0-2ddc-425f-99e4-3af9f7406926@k13g2000vbm.googlegroups.com> <3leyi3uyxhlh$.vl287d3q1va2.dlg@40tude.net> <slrnjq7np3.280u.willem@toad.stack.nl> <1saien0an92og.iuio4t54i82a$.dlg@40tude.net> <jo182e$93n$1@dont-email.me> <slrnjq8f72.upi.willem@toad.stack.nl>
Subject	Re: quantifying bloat
Date	Sat, 5 May 2012 10:16:45 +0100
X-Priority	3
X-MSMail-Priority	Normal
X-Newsreader	Microsoft Outlook Express 6.00.2900.5512
X-MimeOLE	Produced By Microsoft MimeOLE V6.00.2900.5512
X-RFC2646	Format=Flowed; Original
Message-ID	<84udnTtsDOphcjnSnZ2dnUVZ8h2dnZ2d@bt.com> (permalink)
Lines	28
X-Usenet-Provider	http://www.giganews.com
X-AuthenticatedUsername	NoAuthUser
X-Trace	sv3-blMO2wqZ95f9uRZqPDOLF0mYY32SgdvMrVEJHbJY3yxBbuF8IdAt0KPM9NQ7ATpfRNEu9gLQ6QaiN/6!3BqbfPL+YYsPfdGT2Hk5YC3hrq7SSyhR6395u/p1Hx/QlMtpcL/Fe15bcnK08r/YczqdPtkpeFo=
X-Complaints-To	abuse@btinternet.com
X-DMCA-Complaints-To	abuse@btinternet.com
X-Abuse-and-DMCA-Info	Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info	Otherwise we will be unable to process your complaint properly
X-Postfilter	1.3.40
X-Original-Bytes	2630
Xref	csiph.com comp.programming:1539

Show key headers only | View raw

Willem wrote:

[...]
> ) pi is not computable.
>
> Again: According to mathematicians, it *is* computable.

Not only according to mathematicians.  It's no esoteric insight of higher 
mathematics, just a plain old ordinary fact that you can compute arbitrarily 
many digits of pi on a real computer.  Subject only to time and memory 
constraints.

And being willing to write/lookup/borrow a few lines of code...

Of course, as you stated earlier, the word computable has a specific technical 
definition (or, more accurately, a number of /provably/ identical technical 
definitions); and it is certainly true that [the infinite sequence of digits 
of] pi is computable under that definition.  But you (i.e. "one") don't need to 
know that to see that pi is computable -- just /do/ it ;-)

(Technical note for Dmirty -- when you said that pi isn't computable by a 
finite state automaton, you are perfectly correct, but that is not the same as 
"not computable".  That phrase refers to any one of a /specific/ set of 
equivalent computational models which are /not/ equivalent to FSA.)

    -- chris

Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

quantifying bloat bob <bob@coolfone.comze.com> - 2012-04-27 08:56 -0700
  Re: quantifying bloat hopcode <hopcode@invalid.de> - 2012-04-27 18:16 +0200
    Re: quantifying bloat Nomen Nescio <nobody@dizum.com> - 2012-04-29 16:22 +0200
  Re: quantifying bloat "Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org> - 2012-04-29 10:03 +0100
    Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-04-29 11:36 +0200
      Re: quantifying bloat Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-04-29 15:09 -0700
        Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-04-30 10:09 +0200
      Re: quantifying bloat "Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org> - 2012-05-01 08:53 +0100
        Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-05-01 10:52 +0200
          Re: quantifying bloat hopcode <hopcode@invalid.de> - 2012-05-02 04:02 +0200
          Re: quantifying bloat "Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org> - 2012-05-05 10:03 +0100
            Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-05-05 12:50 +0200
              Re: quantifying bloat hopcode <hopcode@invalid.de> - 2012-05-05 16:23 +0200
                Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-05-05 17:43 +0200
      Re: quantifying bloat gremnebulin <peterdjones@yahoo.com> - 2012-05-03 09:27 -0700
        Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-05-03 18:50 +0200
          Re: quantifying bloat Willem <willem@toad.stack.nl> - 2012-05-04 13:52 +0000
            Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-05-04 16:05 +0200
              Re: quantifying bloat hopcode <hopcode@invalid.de> - 2012-05-04 20:44 +0200
                Re: quantifying bloat Willem <willem@toad.stack.nl> - 2012-05-04 20:32 +0000
                Re: quantifying bloat "Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org> - 2012-05-05 10:16 +0100
    Re: quantifying bloat James Dow Allen <jdallen2000@yahoo.com> - 2012-05-02 02:44 -0700
      Re: quantifying bloat "Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org> - 2012-05-05 10:11 +0100
        Re: quantifying bloat "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-05-05 13:22 +0200
          Re: quantifying bloat hopcode <hopcode@invalid.de> - 2012-05-05 16:27 +0200
  Re: quantifying bloat rossum <rossum48@coldmail.com> - 2012-04-29 11:01 +0100

csiph-web