XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 12/18/2025 4:04 PM, Tristan Wibberley wrote:   
   > On 18/12/2025 04:57, Richard Damon wrote:   
   >> On 12/17/25 11:38 PM, olcott wrote:   
   >>> If the answer to the question is not encoded in the   
   >>> input then this is not an undecidable decision problem   
   >>> instance it is an incorrect question.   
   >>>   
   >>> It must be actually encoded in the input such   
   >>> that it can be decoded from the input otherwise   
   >>> the question is incorrect.   
   >   
   > ...   
   >   
   >> How many question include the answer in the question?   
   >   
   > He said "encode" not "include". Lots of them do. All the tautologies do.   
   >   
   > I don't think anything else does. That's the thing about tautologies   
   > isn't it?   
   >   
      
   The bottom line is that the basis of the   
   required result must be directly encoded   
   within the input or the requirement itself   
   is incorrect.   
      
   --   
   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)