Spam and Abuse Watch

Re: Can D simulated by H terminate normally? - Algorithms Discussion Boards[^]

I know that the answer is dead obvious (at least to me) I need to know whether or not the answer is equally dead obvious to other professional software engineers. I have been a professional C++ software engineer since 2004.

01 int D(int (*x)())  
02 {  
03  int Halt_Status = H(x, x);  
04  if (Halt_Status)  
05    HERE: goto HERE;  
06  return Halt_Status;  
07 }  
08  
09 void main()  
10 {  
11  H(D,D);  
12 }

Quote:

For any program H that might determine whether programs halt, a "pathological" program D, called with some input, can pass its own source and its input to H and then specifically do the opposite of what H predicts D will do. No H can exist that handles this case.
Wikipedia: Halting Problem