XPost: comp.theory, sci.logic, sci.math   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-22, olcott  wrote:   
   > On 11/22/2025 12:08 AM, Kaz Kylheku wrote:   
   >> On 2025-11-22, olcott  wrote:   
   >>> With the halting problem counter example input   
   >>> where input D does the opposite of whatever   
   >>> decider H reports this specific H/D is exactly   
   >>> isomorphic to the Liar Paradox.   
   >>   
   >> No it isn't. The Liar Paradox has an indeterminate   
   >> truth value; the H/D pair does not contain any   
   >> proposition with an indeterminate truth value.   
   >>   
   >   
   > With the halting problem counter example input   
   > where input D does the opposite of whatever decider   
   > H reports this specific H/D pair is exactly   
      
   But, you wrote this earier today:   
      
   PO> D and H are the generic template.   
   PO> DD and HHH are the physical implementation.   
      
   A "generic template" is not a decider; H is not a decider.   
      
   That's one of the sources of your confusion. Your   
   mind fluidly equivocates between concrete functions   
   and the template recipes that generate their form.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)