Re: quantifying bloat

From	"Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org>
Newsgroups	comp.programming
References	(4 earlier) <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	2012-05-05 10:16 +0100
Message-ID	<84udnTtsDOphcjnSnZ2dnUVZ8h2dnZ2d@bt.com> (permalink)

Show all headers | 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