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

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory, sci.logic
Subject	Re: D(D) simulated by H cannot possibly reach past its own line 03
Date	2024-05-03 21:32 -0500
Organization	A noiseless patient Spider
Message-ID	<v146n2$101vl$1@dont-email.me> (permalink)
References	<v12pgu$im12$1@dont-email.me> <v13mdn$30j8u$1@i2pn2.org>

Cross-posted to 2 groups.

Show all headers | View raw

On 5/3/2024 4:53 PM, Richard Damon wrote:
> On 5/3/24 9: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.
> 
> Nope.
> 

*This only requires knowing two things*
(1) What an execution trace is and how it works.
You seem to know that other people here do not.

(2) When the executed H(D,D) aborts its simulated input
that all of the nested simulations (if any) immediately
totally stop running. No simulated H ever returns any value
to any simulated D.

*This seems to be over your head and you don't know it*

>>
>> (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.
> 
> WAS DONE.
> 
>>
>> *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
>>
>>
>>
> 
> Proven wrong, and you have declined to try to refute that proof.
> 
> If you claim I haven't done this, make a clear statement of that claim, 
> with a clear statement that if I can point out where I did this, and you 
> failed to respond, you will admit that you are just wrong and will admit 
> that you logic is just broken and will give up the statement that people 
> haven't refuted you.
> 
> Unitl then, you have effectively conceded that you statement is just 
> FALSE, and your repeating it is just demonstration that are just a 
> pathological liar that doesn't understand what he is talking abour.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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