Invisible wrote:

> This seems relevant:
> 
> http://en.wikipedia.org/wiki/Rice%27s_theorem
> 
> Now, if only it wasn't completely incomprehensible...

So, to summarise:

   For any property that some functions have and some functions don't 
have, it is impossible to tell whether a given function has that 
property just by examining the computer program that implements the 
function.

(Or rather, for one specific program it might be possible, but it's not 
possible for *every possible* program...)

Is that about right?

Post a reply to this message