XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 12/8/2025 8:24 PM, Richard Damon wrote:   
   > On 12/8/25 8:00 PM, polcott wrote:   
   >> On 12/8/2025 6:18 PM, Richard Damon wrote:   
   >   
   >>>   
   >>> What did I insufficeintly specify?   
   >>>   
   >>   
   >> Troll   
   >>   
   >   
   >   
   > In other words, you admit defeat.   
   >   
      
   Not in the least little bit.   
   The key difference with you as a troll compared to   
   other trolls is that you do have a reasonably deep   
   understanding of some of these things.   
      
   The following may not be over your head if you cared   
   to understand instead of being locked in rebuttal mode:   
      
   Turing machine deciders only compute the mapping from   
   their [finite string] inputs to an accept or reject   
   state on the basis that this [finite string] input   
   specifies or fails to specify a *particular* semantic   
   or syntactic property.   
      
   If Tristan did not understand it he would not have   
   been able to correctly improve it.   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" 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)