XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 12/22/2025 8:47 PM, Python wrote:   
   > Le 23/12/2025 à 01:01, olcott a écrit :   
   >> On 6/23/2004 9:34 PM, Peter Olcott wrote:   
   >>>>> PREMISES:   
   >>>>> (1) The Halting Problem was specified in  such a way that a solution   
   >>>>> was defined to be impossible.   
   >>>>   
   >>>> No, it wasn't. It's a perfectly legitimate mathematical problem. It's   
   >>>> not even obvious that it wouldn't have an effective solution at first   
   >>>> sight.   
   >>>   
   >>> function LoopIfYouSayItHalts (bool YouSayItHalts):   
   >>>     if YouSayItHalts () then   
   >>>         while true do {}   
   >>>      else   
   >>>         return false;   
   >>>   
   >>> Does this program Halt?   
   >   
   > This is utterly asinine! The name of a function or of an argument does   
   > not carry any semantic value.   
   >   
   > func is_even(int n):   
   >     if n % 2 == 0 then   
   >         return false   
   >     else   
   >         return true   
   >   
   > The function shouldn't be named is_even, anyway there is nothing wrong   
   > with this function /per se/.   
   >   
      
   You erased a key aspect of the context.   
   This is my first work on the halting problem   
   21 years ago.   
      
      
      
   --   
   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)