Re: Can D simulated by H terminate normally?

On 5/2/2024 8:48 PM, Richard Damon wrote:

On 5/2/24 10:50 AM, olcott wrote:

On 5/2/2024 4:16 AM, Mikko wrote:

On 2024-05-02 03:22:29 +0000, olcott said:
>

When I had to make changes to Bank's the VISA credit card system
I had to re-read the VISA change document fifteen times before
I was confident that I understood every relevant detail.

>
It's only because there was no detail that you could not accept.
Had there been one you could have stopped reading as soon you
found it, perhaps even before reading first time to the end.
>

>
It was because 99% of the details did not apply to my system
that I had to carefully study all of the details to see which
ones applied.

 Because your system doesn't meet the basic requirement of the problem.
 

>

Likewise with your proofs: as soon as one error is found there
is no need to read further in order to determine that the proof
is erroneous.
>

>
There is no error in this and it is a verified fact not requiring
any subjective judgement call:
>
(a) It is a verified fact that D(D) simulated by H cannot
possibly reach past line 03 of D(D) simulated by H whether H
aborts its simulation or not.
>

 Proven wrong, and you have FAILED to even attempt to rebut that proof, thus you have accepted that your claim is baseless and are just being a pathological liar by repeating it.
 

00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr 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 }
Post the exact time date stamp and quote where you proved it wrong.
In one case it is ridiculous nonsense that you proved (a) is wrong.
You must show a counter example where 1 to N steps of D(D) are
simulated by H and the simulated D(D) reaches past its own line 03.
You are ahead of Mikko he has no idea what D(D) simulated by H means.

Until you can show a problem with BOTH of the two methods I have described, your claim is just repeating INVALID and UNSOUND logic base on your LIES.

You mix in to much extraneous stuff. I am not going to wade
through that. As soon as I see you are not talking about (a)
I skip the rest of your post.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer