Re: In search of the perfect Disassembler

"Chuck" wrote:
> Electromagnetic theory shows how something can be done -- which is exactly
> the opposite of a theory which shows that at least one thing can not be
> done.
>

Actually, it does no such thing. It predicts how those forces around us
behave, thus enabling us to put those forces to use (or not). Whether you
use EM Theory to show how a particular practical application *can* or
*cannot* work is up to you.

The Halting problem however, states that it is impossible to deternine in
all cases if an abstract algorithm ever completes.

The Halting Theorem doesn't really say that something *can't* be done. It
simply says that it is impossible for to determine *in all cases* (ie.
reliably) whether an algorithm completes.

Check <http://en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof> for an
interesting example of the problem.








.