Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!eternal-september.org!feeder.eternal-september.org!cs.uu.nl!news.stack.nl!.POSTED!not-for-mail
From: Willem <willem@toad.stack.nl>
Newsgroups: comp.programming
Subject: Re: quantifying bloat
Date: Fri, 4 May 2012 20:32:34 +0000 (UTC)
Organization: Stack Usenet News Service
Lines: 26
Message-ID: <slrnjq8f72.upi.willem@toad.stack.nl>
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>
NNTP-Posting-Host: toad.stack.nl
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: mud.stack.nl 1336163554 58046 2001:610:1108:5010::135 (4 May 2012 20:32:34 GMT)
X-Complaints-To: abuse@stack.nl
NNTP-Posting-Date: Fri, 4 May 2012 20:32:34 +0000 (UTC)
User-Agent: slrn/0.9.9p1 (FreeBSD)
Xref: csiph.com comp.programming:1535

hopcode wrote:
) Il 04.05.2012 16:05, Dmitry A. Kazakov ha scritto:
)> On Fri, 4 May 2012 13:52:35 +0000 (UTC), Willem wrote:
)>
)>> >  Dmitry A. Kazakov wrote:
)>> >  ) On Thu, 3 May 2012 09:27:22 -0700 (PDT), gremnebulin wrote:
)>> >  )>  Pi is computable.
)>> >  )
)>> >  ) Not its decimal representation by a FSM.
)>> >
)>> >  'computable' has a specific mathematical definition,
)>> >  by which pi is computable.
)> That definition requires specification of a formal computation model.
)
) pi is not computable.

Again: According to mathematicians, it *is* computable.


SaSW, Willem
-- 
Disclaimer: I am in no way responsible for any of the statements
            made in the above text. For all I know I might be
            drugged or something..
            No I'm not paranoid. You all think I'm paranoid, don't you !
#EOT