home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.lang.c      Meh, in C you gotta define EVERYTHING      243,242 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 241,923 of 243,242   
   olcott to Kaz Kylheku   
   D simulated by H cannot possibly reach i   
   12 Nov 25 20:34:32   
   
   XPost: comp.theory, comp.lang.c++   
   From: polcott333@gmail.com   
      
   On 11/12/2025 8:25 PM, Kaz Kylheku wrote:   
   >   
   > If those two are in any way whatsoever different, the entire   
   > castle you built in the sand is washed away.   
   >   
      
   *This is a FOREVER thing until someone admits the truth*   
   *This is a FOREVER thing until someone admits the truth*   
   *This is a FOREVER thing until someone admits the truth*   
      
   int D()   
   {   
      int Halt_Status = H(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   Everyone here rejects that the execution trace   
   of 5 statements of D simulated by H according to   
   the semantics of C is this:   
      
   (1)    H simulates D that calls H(D)   
   (2) that simulates D that calls H(D)   
   (3) that simulates D that calls H(D)   
   (4) that simulates D that calls H(D)   
   (5) that simulates D that calls H(D)   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca