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