XPost: comp.theory, sci.logic   
   From: flibble@red-dwarf.jmc.corp   
      
   On Fri, 01 Aug 2025 21:09:14 -0500, olcott wrote:   
      
   > On 8/1/2025 8:01 PM, Mr Flibble wrote:   
   >> Olcott, give it a fucking rest: what you are banging on about has   
   >> nothing to do with the Halting Problem.   
   >>   
   >> Damon, stop feeding Olcott: you are just talking over each other at   
   >> this point.   
   >>   
   >> /Flibble   
   >   
   > Every attempt to refute me has been counter-factual.   
   > The survival of life an Earth depends on a correct understanding of   
   > truth.   
   >   
   > The Tarski Undefinability theorem that incorrectly "proves" that a   
   > Boolean True(L,x) predicate cannot be consistently defined relies on the   
   > same structure as the conventional HP proofs.   
      
   False. Diagonalization is a legitimate technique: you haven't proven   
   otherwise.   
      
   /Flibble   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)