[Theory] Halting problem
%u
e at ee.com
Tue Oct 12 07:59:14 PDT 2010
== Quote from BCS (none at anon.com)'s article
> Hello %u,
> > Just to be clear about this, the halting problem is only unsolvable
> > for Turing
> > machines.
> More correctly, the halting problem for machine X is unsolvable by machine
> X (or any weaker machine).
I was looking for a way out by making machine X allocate only 32b per program
Except for halt.exe :D
That way you can't create the program which loops if halt halts and is thus a way
out of that argument :)
But thanks, it is a much nicer definition.
More information about the Digitalmars-d
mailing list