XPost: comp.theory   
   From: tristan.wibberley+netnews2@alumni.manchester.ac.uk   
      
   On 17/12/2025 00:33, olcott wrote:   
   > On 12/16/2025 12:15 PM, Tristan Wibberley wrote:   
   >> On 16/12/2025 17:00, olcott wrote:   
   >>> In my system HHH(DD)==0 and HHH1(DD)==1   
   >>> because DD calls HHH(DD) in recursive simulation   
   >>   
   >> Does it really? or does it call HHH(DD') where DD' is a partly-changed   
   >> form of DD (albeit one with the same "halts?" property).   
   >>   
   >> Does HHH report on DD when it is given DD' or does the observer make the   
   >> deductive leap, reporting on DD using the report for DD' as a template   
   >> for the identity translation?   
   >>   
   >   
   > I know C, C++ and x86 assembly language   
   > do you know one of those? I can't explain   
   > it in a language that I do not know.   
   >   
      
   I know each of the three to some degree. However an attempt to create a   
   succinct proposition--one that's to the point--and only attempt to prove   
   it later, would help the conversation with me.   
      
   Note: I use "program address" below, it's a term due to Dijkstra used to   
   describe points in an executing program (distinct from points in the   
   program text). I suppose you may extend the concept to include   
   simulations as an element of a tuple that forms the address where a   
   simulation is begun at an address and has addresses of its own.   
      
   e.g.: "the things simulated by HHH(DD) in the C code that follows are,   
   infact, not DD because HHH at the program address of the recursion is   
   given something different than the top level machine ..."   
   or: "the things simulated by HHH(DD) in the C code that that follows are   
   actually D because ..."   
      
   I think it's neither, thinking deeply about it, but I was thinking it's   
   the former. Perhaps that means my question is impertinent.   
      
      
   --   
   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.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)