XPost: comp.theory, comp.ai.philosophy, sci.math   
   From: polcott333@gmail.com   
      
   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   
   isomorphic to the Liar Paradox.   
      
   When the behavior of D depends on the return   
   value of H and D does the opposite of whatever   
   H returns the H/D pair itself is a yes/no question   
   that lacks a correct yes/no answer.   
      
   Every yes/no question that lacks a correct yes/no answer   
   is isomorphic to this question:   
      
   Is this sentence true or false: "This sentence is not true" ?   
   What correct Boolean value should H return to D?   
      
   > You are too incompetent to understand what a homeomorphism is and how to   
   > prove one.   
   >   
   > All you are saying is that the situation vaguely /feels/   
   > like it resembles the Liar Paradox, and that legitimizes   
   > you to use a term like "isomorphism".   
   >   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)