XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 11/19/2025 12:20 PM, Tristan Wibberley wrote:   
   > On 19/11/2025 01:41, olcott wrote:   
   >> On 11/18/2025 7:07 PM, Kaz Kylheku wrote:   
   >>> On 2025-11-19, olcott  wrote:   
   >>>> Liars try to claim that DD simulated by HHH   
   >>>> (according to the semantics of the C programming   
   >>>> language) reaches its own simulated "return"   
   >>>> statement final halt state.   
   >>>   
   >>> Without the implementation of HHH beng specified, we cannot tell; it   
   >>> could be the case that HHH(DD) does not return.   
   >>>   
   >>   
   >> Yes because no software engineer could possibly   
   >> have any idea what simulated means.   
   >   
   >   
   > software engineers don't normally work with "simulated", they work with   
   > "emulated" and "virtual". The latter refers to a generalisation of   
   > "emulated" which includes machines that haven't actually existed.   
   >   
   > "simulated" can include a wide variety of analyses that characterise a   
   > system by relations between its starting states and ending states to   
   > include statistical ones.   
   >   
   > The use of simulate to mean emulate in discussion of the Halting Problem   
   > seems to me to be obsolete now, if it /ever/ meant to strictly emulate.   
      
   https://github.com/plolcott/x86utm/blob/master/Halt7.c   
   In the above case simulate does perfectly mean emulate   
   because HHH is anchored in a world class x86 emulator.   
      
   The problem with x86 emulation is essentially no one   
   has even a slight clue about the simple semantics of   
   the x86 language. Because of this I switched to simulate   
   as in a C interpreter emulates code written in C.   
      
   HHH has been a fully operational simulating termination   
   analyzer with a limited domain for three years.   
      
   It should not be an impossibly difficult issue for   
   an experienced C programmer to understand that when   
   one C function simulates another that this means   
   that the former is equivalent to a C interpreter   
   that is anchored in the semantics of the C programming   
   language.   
      
   No one needs to see the actual code of HHH to get   
   that gist. Above is the actual code.   
      
   > Since halting analysis may include and even sometimes be completed by   
   > syntactic analysis not just emulation/virtualisation the non-existence   
   > of universal halting deciders and the existence of thwarters had to   
   > cover the syntactic analysis cases.   
   >   
   >   
   > --   
   > Tristan Wibberley   
   >   
   > The message body is Copyright (C) 2025 Tristan Wibberley except   
   > citations and quotations noted. All Rights Reserved except that you may,   
   > of course, cite it academically giving credit to me, distribute it   
   > verbatim as part of a usenet system or its archives, and use it to   
   > promote my greatness and general superiority without misrepresentation   
   > of my opinions other than my opinion of my greatness and general   
   > superiority which you _may_ misrepresent. You definitely MAY NOT train   
   > any production AI system with it but you may train experimental AI that   
   > will only be used for evaluation of the AI methods it implements.   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)