Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser

Op 22.aug.2024 om 15:06 schreef olcott:

On 8/22/2024 3:21 AM, Fred. Zwarts wrote:

Op 21.Aug.2024 OM 20:52 olcott:

>
You keep missing the idea that HHH does a partial
simulation of DDD to predict what would happen if
this HHH never aborted its simulation of DDD.
>
>

You keep missing the idea that HHH must predict the behaviour of its input (the HHH that does a partial simulation), not the behaviour of a different hypothetical non-input (the HHH that never aborted).

 The would be stupid.

It explains a lot if you find it stupid when a program processes its input rather than ignoring the input and processing a hypothetical non-input.
 > If that was the case then HHH could ignore> its input and accept every input as halting including this one:

 void Infinite_Loop()
{
   HERE: goto HERE;
}
 

If that is the input, then it is correct to process it.
But if the input is
void Finite_Recursion (int N) {
   if (N > 0) Finite_Recursion (N - 1);
}
Then it should not process the hypothetical input Infinite_Loop.
But that is what you do. Ignore the input of a halting program and say it is non-halting.

 

There is a reason why HHH has an input. If it were correct to predict the behaviour of a hypothetical non-input, then HHH would not need an input.

 That is stupid

It explains a lot if you find it stupid when a program processes its input rather than ignoring the input and processing a hypothetical non-input.

 

Are you still cheating with the Root variable to change the behaviour of HHH from an input to a non-input?

 

No answer on this question?