Re: At least 100 people kept denying the easily verified fact

On 6/4/24 10:28 PM, olcott wrote:

On 6/4/2024 9:22 PM, Richard Damon wrote:

On 6/4/24 9:54 PM, olcott wrote:

On 6/4/2024 8:48 PM, Richard Damon wrote:

On 6/4/24 5:53 PM, olcott wrote:

https://liarparadox.org/DD_correctly_simulated_by_HH_is_Proven.pdf
>
At least 100 people kept denying the easily verified fact that the above
link conclusively proves that DD <is> correctly simulated by HH.
>
It has been just like I smash a Boston cream pie in their face and they
persistently deny that there ever was any pie as this pie drips from
their face.
>
>

>
The problem iks you use the WRONG DEFINITION of "Simulated Correctly" to allow the simulation to say anything about the behavior of the machine being simulated.
>

>
*I conclusively proved otherwise in the above link*

>
You CAN'T provd that a definition is wrong.
>

 *Try and provide a counter-example or implicitly admit that you cannot*
*Try and provide a counter-example or implicitly admit that you cannot*
*Try and provide a counter-example or implicitly admit that you cannot*

What are you asking for a counter example of?
I said definition are always correct and you can't prove one wrong.
There is no counter-example to that.
If you want a counter example to you claim of correct simulation, DD(DD) is the counter example. You claim that you can show a "Correct Simulation" of it proves non-halting behavior, when the actual behavior of that machine is Halting, so it CAN'T be non-halting.

 The behavior that a machine description specifies to a UTM
IS THE BEHAVIOR OF THIS FINITE STRING
YOU ARE SIMPLY VERY CONFUSED
 

Right, and a UTM simulates the input to EXACTLY repoduce the behavior of the machine it describes.
So, HH(DD,DD), to be a Halt Decider must answer to if UTM(DD,DD) WHERE THAT DD IS STILL PAIRED TO HH, will halt, which means if DD(DD) will halt.
Since DD(DD) will halt, and thus UTM(DD,DD) will halt, if HH(DD,DD) returns 0, that answer can not be correct.
PERIOD.
BY DEFINITION, one you even just agreed to.
Perhaps your problem is you forget the defintion of a UTM, it isn't "just a simulator" but it is a machine that EXACTLY REPODUCES THE BEHAVIOR of the machine described by its input.