From: wyniijj5@gmail.com   
      
   On Sun, 2025-08-03 at 10:29 -0500, olcott wrote:   
   > On 8/3/2025 9:48 AM, wij wrote:   
   > > On Sun, 2025-08-03 at 09:30 -0500, olcott wrote:   
   > > > On 8/3/2025 6:05 AM, Richard Damon wrote:   
   > > > >    
   > > > > Your problem is you don't find an error in the shown counter example,   
   > > > > because your created input that you claim to solve has essential   
   > > > > differences from it.   
   > > > >    
   > > >    
   > > > int DD()   
   > > > {   
   > > >     int Halt_Status = HHH(DD);   
   > > >     if (Halt_Status)   
   > > >       HERE: goto HERE;   
   > > >     return Halt_Status;   
   > > > }   
   > > >    
   > > > _DD()   
   > > > [00002162] 55             push ebp   
   > > > [00002163] 8bec           mov ebp,esp   
   > > > [00002165] 51             push ecx   
   > > > [00002166] 6862210000     push 00002162 // push DD   
   > > > [0000216b] e862f4ffff     call 000015d2 // call HHH   
   > > > [00002170] 83c404         add esp,+04   
   > > > [00002173] 8945fc         mov [ebp-04],eax   
   > > > [00002176] 837dfc00       cmp dword [ebp-04],+00   
   > > > [0000217a] 7402           jz 0000217e   
   > > > [0000217c] ebfe           jmp 0000217c   
   > > > [0000217e] 8b45fc         mov eax,[ebp-04]   
   > > > [00002181] 8be5           mov esp,ebp   
   > > > [00002183] 5d             pop ebp   
   > > > [00002184] c3             ret   
   > > > Size in bytes:(0035) [00002184]   
   > > >    
   > > > DD correctly emulated by HHH cannot possibly reach   
   > > > its own "if" statement, thus the "do the opposite"   
   > > > code is unreachable.   
   > >    
   > > I agree with the point here. The halt decider cannot exist is   
   > > because it will be stuck in the infinite recursive call, not   
   > > because it would return something for "if' to detect and do   
   > > something opposite. But the "if" part is an assumption, easy   
   > > to explain. IMO, it all about self-reference.   
   > >    
   >    
   > Self-reference has been the focus of my primary research   
   > into the philosophy of:   
   > (a) logic   
   > (b) computation and   
   > (c) math for 22 years.   
   >    
   > I began with the Liar Paradox.   
   > That is why I own the domain LiarParadox.org.   
   >    
   > ?- LP = not(true(LP)).   
   > LP = not(true(LP)).   
   >    
   > ?- unify_with_occurs_check(LP, not(true(LP))).   
   > false.   
   >    
   > Just like Prolog correctly detects and rejects   
   > the infinitely recursive structure of the Liar   
   > Paradox HHH(DD) correctly detects and rejects   
   > the infinitely recursive structure of its input.   
      
   I had explicitly put it in ClassGuidelines.txt to suggest 'self-reference' is   
   impossible to detect in (TM equvilent) programming langage.   
      
   ....   
    This guideline has no strong opinion on how this self-ops should be handled,   
    yet (it is like divided by zero error). Implement may check the self-ops (not   
    generally doable) and return ELOOP. Working around might be needed since the   
    intent mostly assumes the argument is passed by value, nonetheless a   
    theoretical bug might be thus hidden.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)