People who code: we want your input. Take the Survey

New answers tagged


The following concrete example shows that the confounding input is aborted before it ever receives any return value from the halt decider. The simulating halt decider H aborts its input because this input specifies infinite invocations comparable to infinite recursion. When a simulating halt decider must abort the simulation of its input to prevent the ...


Anyone knowing the x86 language well enough can examine the x86 execution trace of H(P,P) and directly see for themselves that it is completely certain that the input to H(P,P) would never halt unless the simulation of this input its was aborted. It analyzes the currently updated stored execution trace of the simulation of its input after it simulates each ...

Top 50 recent answers are included