POV-Ray : Newsgroups : povray.off-topic : Musing on the Halting Problem : Re: Musing on the Halting Problem Server Time
3 Sep 2024 23:25:12 EDT (-0400)
  Re: Musing on the Halting Problem  
From: Darren New
Date: 11 Oct 2010 20:09:29
Message: <4cb3a739$1@news.povray.org>
Warp wrote:
> Darren New <dne### [at] sanrrcom> wrote:
>> It also is interesting to consider things like Chaitin's number or "the 
>> smallest uninteresting number" or other finite descriptions that name a 
>> number but you can't tell which number they name.
> 
>   Well, not all numerical concepts have an actual numerical value because
> there simply isn't a number that represents the concept. For example,
> "the smallest real number which is larger than zero" does not exist.

Sure. But Chaitin's number *does* have a value. It's just defined in a way 
that you can't compute it.  (Basically, "the probability that an arbitrarily 
selected program will halt", along with of course all the definitions and 
such to make that meaningful mathematically.)

And "the smallest uninteresting number" doesn't exist because the definition 
is self-contradictory.

-- 
Darren New, San Diego CA, USA (PST)
   Serving Suggestion:
     "Don't serve this any more. It's awful."


Post a reply to this message

Copyright 2003-2023 Persistence of Vision Raytracer Pty. Ltd.