XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/13/2025 8:45 PM, dbush wrote:   
   > On 8/13/2025 9:40 PM, olcott wrote:   
   >> How many tests that are black in color are entirely   
   >> white in color and the answer must be a positive   
   >> integer and must come with proof that it is correct.   
   >   
   > Error: Assumes that something can be entirely black and entirely white   
   >   
   >>   
   >> What time is it (yes or no) ?   
   >   
   > Error: Assumes that the answer can be yes or no   
   >   
   >>   
   >> Is this sentence true or false: "This sentence is not true" ?   
   >> The above is the basis for the Tarski undefinability theorem.   
   >   
   > Error: Assume that sentence can have a truth value   
   >   
      
   Yes and by saying that you have proven that you   
   understand the Liar Paradox much better than every   
   expert on the philosophy of logic in the world.   
   The very best expert in the sub field of truthmaker   
   maximalism said that the Liar Paradox might not   
   have a truth value.   
      
   >>   
   >> What correct value can a halt decider return on an input   
   >> that does the opposite of whatever the halt decider decides?   
   >   
   > Error: Assumes that a halt decider exists   
   >   
   >>   
   >> The correct answer is that no such *INPUT* can possibly exist.   
   >>   
   >   
   >   
   > Conclusion: When you assume something and encounter a contradiction,   
   > that proves the assumption false.   
   >   
      
   You must have attention deficit disorder   
      
   *No such INPUT can possibly exist*   
   *No such INPUT can possibly exist*   
   *No such INPUT can possibly exist*   
   *No such INPUT can possibly exist*   
   *No such INPUT can possibly exist*   
      
   > All you're doing is showing   
      
   That you must have attention deficit disorder.   
      
   > that you don't understand proof by   
   > contradiction,   
      
   *The contradiction cannot possibly exist*   
       BECAUSE   
   *No such INPUT can possibly exist*   
      
   *The contradiction cannot possibly exist*   
       BECAUSE   
   *No such INPUT can possibly exist*   
      
   *The contradiction cannot possibly exist*   
       BECAUSE   
   *No such INPUT can possibly exist*   
      
   > a concept taught to and understood by high school   
   > students more than 50 years your junior.   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)