Re: Every D correctly simulated by H never reaches its final state and halts

On 5/21/24 9:41 AM, olcott wrote:

On 5/21/2024 4:39 AM, Mikko wrote:

Apparently your interpretation of either "that reasoning" or
"everyone" is different from mine.
>

 Richard said that he didn't know he was supposed to provide
correct answers, he thought it was OK to intentionally provide
incorrect answers (AKA lie)

That isn't what I said, and so you are shown to be a LIAR.
I said that my H was just as accurate, as yours.
That means, you ADMIT that you have lied, that your machine was correct, and know it.
After all, YOU argure that H is allowed to say that D(D) doesn't halt, just because its simulaiton doesn't reach the end, even though you know and admit that D(D) WILL HALT.
Thus, since the criteria allows the not reaching a final state to be because the simulator didn't simulate long enough, my alternate machine was JUST AS CORRECT.

 On 5/19/2024 12:17 PM, Richard Damon wrote:
 > On 5/19/24 9:59 AM, olcott wrote:
 >> Richard has stated that he thinks that an example of
 >> {D never simulated by H} ∈ {every D simulated by H}
 >
 > No, the H that didn't simulate its input shows that
 > *once you allow H to not be required to be correct*,
 > that we can then have a trivial function that is
 > "just as correct" (since wrong answers were allowed).