XPost: sci.lang, alt.philosophy, comp.theory   
   XPost: comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 1/5/2026 6:28 AM, Richard Damon wrote:   
   > On 1/5/26 12:30 AM, olcott wrote:   
   >> On 1/4/2026 7:25 PM, Richard Damon wrote:   
   >>> On 1/4/26 7:13 PM, olcott wrote:   
   >>>>   
   >>>> Computation inherently cannot accomplish   
   >>>> anything that is not equivalent to finite   
   >>>> string operations on the actual finite   
   >>>> string that it actually gets.   
   >>>>   
   >>>> UTM(DD) is not equivalent to HHH(DD)   
   >>>> because DD does not call UTM(DD).   
   >>>>   
   >>>> -   
   >>>   
   >>> Which just shows you don't understand the concept of REQUIREMENT, and   
   >>> think wrong answer are ok.   
   >>>   
   >>   
   >> I proved the HP input is the same as the Liar Paradox back in 2004   
   >>   
   >> function LoopIfYouSayItHalts (bool YouSayItHalts):   
   >>     if YouSayItHalts () then   
   >>         while true do {}   
   >>      else   
   >>         return false;   
   >>   
   >> Does this program Halt?   
   >>   
   >> (Your (YES or NO) answer is to be considered   
   >>   translated to Boolean as the function's input   
   >>   parameter)   
   >>   
   >> Please ONLY PROVIDE CORRECT ANSWERS!   
   >>   
   >> https://groups.google.com/g/sci.logic/c/Hs78nMN6QZE/m/ID2rxwo__yQJ   
   >>   
   >> I had the answer 21 years ago   
   >>   
   >> Any yes/no question where both yes and no are the   
   >> wrong answer is an incorrect question.   
   >   
   > Which, as pointed out before, just shows that you don't understand the   
   > actual problem and think making up your own can replace it,   
   >   
      
   Not at all. I simply force the reader to have the   
   same frame-of-reference as the halt decider with   
   the input that does the opposite of whatever answer   
   the reader provides.   
      
   21 years ago I proved that the counter-example   
   input is nothing more that a yes/no question   
   where both yes and no are the wrong answer.   
   The halting problem itself is merely an incorrect   
   question (for some inputs).   
      
   --   
   Copyright 2026 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-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)