XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 12/12/2025 10:43 PM, Tristan Wibberley wrote:   
   > On 12/12/2025 14:27, olcott wrote:   
   >> Principle 2: We measure the semantic property that   
   >> the finite string specifies by a UTM-based halt   
   >> decider that simulates its input finite string   
   >> step-by-step and watches the execution trace of   
   >> this behavior.   
   >   
   > I don't think that's true, a UTM-based halt decider may also use   
   > properties of the finite string other than it's nominal contracta.   
   >   
      
   I have no idea what you are saying.   
   There is apparently only one way to determine   
   the behavior that the input specifies.   
      
   --   
   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   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)