XPost: comp.theory, sci.math   
   From: mikko.levanto@iki.fi   
      
   On 15/01/2026 16:52, Tristan Wibberley wrote:   
   > On 15/01/2026 09:21, Mikko wrote:   
   >   
   >> A system is useful only if admissibility is computable with a known   
   >> algorithm.   
   >   
   > Is that a definition of "useful" ?   
      
   No, just one usefulness criterion for systems where admissibility   
   is important.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)