XPost: comp.theory, sci.logic, sci.math   
   From: chris.m.thomasson.1@gmail.com   
      
   On 11/20/2025 2:10 PM, Kaz Kylheku wrote:   
   > On 2025-11-20, olcott  wrote:   
   >> On 11/19/2025 10:42 PM, Kaz Kylheku wrote:   
   >>> On 2025-11-20, olcott  wrote:   
   >>>> On 11/19/2025 3:41 PM, Kaz Kylheku wrote:   
   >>>>> On 2025-11-19, olcott  wrote:   
   >>>>>> The sound basis of this reasoning is the   
   >>>>>> semantics of the C programming language.   
   >>>>>   
   >>>>> ... and, note,   
   >>>> that you dishonestly erased most of the context   
   >>>   
   >>> That's just the same pseudo-code snppet you've posted   
   >>> hundreds of times.   
   >>>   
   >>   
   >> The idea is that I will keep repeating this   
   >> until you pay attention   
   >>   
   >> int DD()   
   >> {   
   >>     int Halt_Status = HHH(DD);   
   >>     if (Halt_Status)   
   >>       HERE: goto HERE;   
   >>     return Halt_Status;   
   >> }   
   >>   
   >> int main()   
   >> {   
   >>     HHH(DD);   
   >> }   
   >>   
   >   
   > I've given ths an incredible amount of attention.   
   >   
   >> HHH simulates DD that calls HHH(DD)   
   >> that simulates DD that calls HHH(DD)...   
   >   
   > If HHH(DD) returns 0, it's this;   
   >   
   >     HHH simulates DD that calls HHH(DD)   
   >       - that simulates DD that calls HHH(DD)...   
   >           - that simulates DD that calls HHH(DD)...   
   >           - but only partially, returning 0.   
   >           - such that DD terminates.   
   >       - but only partially, returning 0.   
   >       - such that DD terminates.   
   >   
   > Adding another level:   
   >   
   >     HHH simulates DD that calls HHH(DD)   
   >       - that simulates DD that calls HHH(DD)...   
   >           - that simulates DD that calls HHH(DD)...   
   >              - that simulates DD that calls HHH(DD)...   
   >                - that ...   
   >                  - that ...   
   >                    - that ...   
   >              - but only partially, returning 0.   
   >              - such that DD terminates.   
   >           - but only partially, returning 0.   
   >           - such that DD terminates.   
   >       - but only partially, returning 0.   
   >       - such that DD terminates.   
   >   
   > Infinite simulation tower: finite DD's.   
   >   
   > Since you don't grok this but I do, obviously the one who has   
   > paid more attention is me.   
   >   
      
   Agreed! :^)   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)