XPost: comp.theory   
   From: polcott333@gmail.com   
      
   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.   
      
   --   
   Copyright 2025 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)