Tim Cook wrote:
> On 2010-10-07 09:43, Invisible wrote:
>> Ah yes, it is impossible to write a computer program that can analyse
>> any possible computer program and tell you whether it halts in a finite
>> number of steps.
> 
> How does a person go about deciding the same problem?  Or is that 
> impossible, too?

That's impossible too.

Is this true or false:   "I am lying."

That's just one of the sorts of problems.

Note that there are many individual problems where you *can* figure this 
out. It's just that there's no way to figure it out for *all* problems, and 
no way of categorizing in advance which ones you can figure it out for and 
which you can't.

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

Post a reply to this message