XPost: comp.theory, comp.software-eng   
   From: user7160@newsgrouper.org.invalid   
      
   On 1/24/26 4:52 PM, Richard Damon wrote:   
   > On 1/24/26 6:06 PM, olcott wrote:   
   >> On 1/6/2026 1:47 AM, dart200 wrote:   
   >   
   >>> the CT-thesis is a thesis, not a proof.   
   >> *I think that I fixed that*   
   >> It seems to me that if something cannot be computed   
   >> by applying finite string transformation rules to   
   >> input finite strings then it cannot be computed.   
   >>   
   >> As soon as this is shown to be categorically impossible   
   >> then the thesis turns into a proof.   
   >>   
   >   
   > In other words, you just don't know what you are talking about.   
   >   
   > The fact that it is impossible to build a computation that, given a   
   > representation of another computation and its input, determine for all   
   > cases if the computation will halt does nothing to further the question   
   > of are Turing Machines the most powerful form of computation.   
      
   contexts-aware machines compute functions:   
      
   (context,input) -> output   
      
   --   
   arising us out of the computing dark ages,   
   please excuse my pseudo-pyscript,   
   ~ nick   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)