Re: DDD specifies recursive emulation to HHH and halting to HHH1

Am Sat, 29 Mar 2025 16:46:26 -0500 schrieb olcott:

On 3/29/2025 3:14 PM, dbush wrote:

On 3/29/2025 4:01 PM, olcott wrote:

We can know that when this adapted UTM simulates a finite number of
steps of its input that this finite number of steps were simulated
correctly.

And therefore does not do a correct UTM simulation that matches the
behavior of the direct execution as it is incomplete.

It is dishonest to expect non-terminating inputs to complete.

A complete simulation of a nonterminating input doesn't halt.

2) changing the input is not allowed

The input is unchanged. There never was any indication that the input
was in any way changed.

False, if the starting function calls UTM and UTM changes, you're
changing the input.

When UTM1 is a UTM that has been adapted to only simulate a finite
number of steps

So not an UTM.

and input D calls UTM1 then the behavior of D simulated
by UTM1 never reaches its final halt state.
When D is simulated by ordinary UTM2 that D does not call Then D reaches
its final halt state.

Doesn't matter if it calls it, but if the UTM halts.

Changing the input is not allowed.

I never changed the input. D always calls UTM1.
thus is the same input to UTM1 as it is to UTM2.

You changed UTM1, which is part of the input D.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.