Re: D(D) simulated by H cannot possibly reach past its own line 03

From	Richard Damon <richard@damon-family.org>
Newsgroups	comp.theory, sci.logic
Subject	Re: D(D) simulated by H cannot possibly reach past its own line 03
Date	2024-05-04 08:56 -0400
Organization	i2pn2 (i2pn.org)
Message-ID	<v15ba6$1m58$4@i2pn2.org> (permalink)
References	<v12pgu$im12$1@dont-email.me> <v13p9h$phf4$1@dont-email.me> <v13tia$qers$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 5/3/24 7:55 PM, olcott wrote:
> On 5/3/2024 5:42 PM, olcott wrote:
>> On 5/3/2024 8:40 AM, olcott wrote:
>>> 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 }
>>>
>>> We are examining the behavior of D(D) for every possible H/D pair
>>> where 1 to N steps of D(D) are simulated by H.
>>>
>>> *Execution Trace*
>>> Line 11: main() invokes H(D,D) that simulates D(D)
>>>
>>> *keeps repeating* (unless aborted)
>>> Line 01
>>> Line 02
>>> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>
>>> *Simulation invariant*
>>> D correctly simulated by H cannot possibly reach past its own line 03.
>>>
>>> (a) It is a verified fact that for every possible H/D pair where
>>> 1 to N steps of D(D) are simulated by H that this simulated D(D)
>>> cannot possibly reach past its own line 03.
>>
>> Since everyone is denying these facts on the basis that no one
>> here has a clue about what execution traces are and how they work
>> it makes no sense to go to the next step.
>>
> 
> The next step depends on this prior step and is trivially
> entailed by this prior step. When each D simulated by H
> of the infinite set of H/D pairs cannot possibly reach past
> its own line 03 then it cannot possibly reach its own line
> 06 and halt.
> 
> There is one more software engineering step that depends
> on the above steps and is trivially entailed by the above
> step. After this last software engineering step we begin
> to get into the computer science steps.
> 

And since that step is wrong, you need to go back and fix it.

Your (a) has been proven INCORRECT, and descriptions of TWO DIFFERENT 
methods that an H could use to get past there described.

Your ignoring them just proves you are just a pathological liar.


>>>
>>> (b) Rebuttals 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.
>>>
>>> *Termination Analyzer H is Not Fooled by Pathological Input D*
>>> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
>>>
>>> *Fully operational code implemented in the x86utm operating system*
>>> https://github.com/plolcott/x86utm
>>>
>>>
>>>
>>
>

Thread

D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 08:40 -0500
  Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-03 17:53 -0400
    Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 21:32 -0500
      Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-04 08:55 -0400
  Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 17:42 -0500
    Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 18:55 -0500
      Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-04 08:56 -0400
    Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-03 23:11 -0400
  Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 19:13 -0500
    Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-03 23:24 -0400
      Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-05-03 22:39 -0500
        Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-05-04 08:59 -0400
  Re: D(D) simulated by H cannot possibly reach past its own line 03 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-02 11:50 +0200
    Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-02 09:50 -0500
      Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-03 10:39 +0300
        Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-03 07:25 -0500
          Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-03 17:17 +0300
            Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-03 13:09 -0500
              Re: D(D) simulated by H cannot possibly reach past its own line 03 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-03 21:47 +0200
              Re: D(D) simulated by H cannot possibly reach past its own line 03 Richard Damon <richard@damon-family.org> - 2024-06-03 20:56 -0400
              Re: D(D) simulated by H cannot possibly reach past its own line 03 joes <noreply@example.com> - 2024-06-04 08:19 +0000
                Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-04 12:30 -0500
              Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-05 10:05 +0300
                Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-05 08:05 -0500
                Re: D(D) simulated by H cannot possibly reach past its own line 03 joes <noreply@example.com> - 2024-06-05 18:07 +0000
                Re: D(D) simulated by H cannot possibly reach past its own line 03 Mikko <mikko.levanto@iki.fi> - 2024-06-06 11:07 +0300
                Re: D(D) simulated by H cannot possibly reach past its own line 03 olcott <polcott333@gmail.com> - 2024-06-06 08:04 -0500
                Re: D(D) simulated by H cannot possibly reach past its own line 03 immibis <news2@immibis.com> - 2024-06-07 16:25 +0200

csiph-web