home bbs files messages ]

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

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

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

   Message 58,132 of 59,235   
   dbush to olcott   
   Re: This only has one correct meaning an   
   23 Oct 25 14:31:28   
   
   [continued from previous message]   
      
   >>>>   
   >>>> So you agree that the input to HHH(DD) specifies halting behavior   
   >>>   
   >>> *No stupid exactly the opposite of that*   
   >>>   
   >>> The behavior of DD simulated by HHH according to   
   >>> the semantics of its specification language C, x86,   
   >>> Turing Machine description, is the ultimate judge   
   >>> of the behavior   
   >>>   
   >>> *that the input* (not any damn thing else)   
   >>> *that the input* (not any damn thing else)   
   >>> *that the input* (not any damn thing else)   
   >>> *that the input* (not any damn thing else)   
   >>> *that the input* (not any damn thing else)   
   >>> Specifies.   
   >>   
   >> And because HHH aborts,   
   >    
   > - You must simulate the input **exactly as written**,   
   >     step by step, without any external reasoning,   
   >     assumptions, or guesses.   
   >   
   > - **Do not analyze, infer, or speculate**; only describe   
   >       what the simulation observes in execution.   
   >   
   > - Report only the behavior that occurs in the simulation.   
   >   
   > - Always follow the priority rules exactly:   
   >      1. (a) Detect non-terminating behavior → abort   
   >                simulation and return 0.   
   >      2. (b) Return statement reached → return 1.   
   >      3. (c) Neither (a) nor (b) → return -1.   
   >   
   > - Do not include any commentary about halting   
   >     problem, contradictions,  or theoretical reasoning.   
   >   
   > - All output must be in terms of simulation observations only.   
   >    
   >   
   > and it is verified that it did this by meeting   
   > criteria (a) then every LLM system agrees that   
   > HHH is correct.   
   >   
      
   False.   
   1) DD halts so there is no non-terminating behavior to detect.   
   2) An aborted simulation is an incorrect simulation.  This is proven   
   true by the meaning of the words.   
      
   --- 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