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,788 of 243,242   
   olcott to Kaz Kylheku   
   Re: Semantic properties of finite string   
   03 Nov 25 18:43:27   
   
   XPost: comp.theory, comp.lang.c++, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 11/3/2025 6:24 PM, Kaz Kylheku wrote:   
   > On 2025-11-03, olcott  wrote:   
   >> On 11/3/2025 4:40 PM, Kaz Kylheku wrote:   
   >>> On 2025-11-03, olcott  wrote:   
   >>>> On 11/3/2025 2:43 PM, Kaz Kylheku wrote:   
   >>>>> On 2025-11-02, Kaz Kylheku <643-408-1753@kylheku.com> wrote:   
   >>>>>> On 2025-11-02, olcott  wrote:   
   >>>>>>>> You said they be identical. If they are not equivlaent they can't   
   >>>>>>>> be identical.   
   >>>>>>>>   
   >>>>>>>   
   >>>>>>> Identical code and different behavior   
   >>>>>>> because D calls H in recursive simulation   
   >>>>>>> and D does not call H1 in recursive simulation.   
   >>>>>>   
   >>>>>> Can you show that concretely with C?   
   >>>>>   
   >>>>> Didn't think so.   
   >>>>   
   >>>> I have done that hundreds of times and you just ignore it.   
   >>>   
   >>> What? Where? All you ever post these days is useless talk.   
   >>>   
   >>> Where is the URL to a project with .c files and a Makefile, etc?   
   >>>   
   >>   
   >> Are you saying that you are smart enough to do this:   
   >>   
   >> On 10/31/2025 7:44 PM, Kaz Kylheku wrote:   
   >>> I can write a C interpreter which can interpret itself.   
   >>   
   >> Yet not smart enough to do a simple execution trace in your head?   
   >   
   > Bleeping idiot, of course it was the "execution trace in my head"   
   > which led me to the realization that abandoned simulations of D have   
   > a continuable future which leads to termination.   
   >   
      
   int D()   
   {   
      int Halt_Status = H(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   Then try and prove this by showing an execution   
   trace of D simulated by H entirely in C.   
      
   Don't show any execution trace of anything besides   
   D and do this entirely in C. I will get you started:   
      
   H simulates D that calls H(D) that simulates D that calls H(D)   
      
   What step(s) of D come next in C?   
      
      
   --   
   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