XPost: comp.theory, sci.logic, sci.math   
   From: acm@muc.de   
      
   [ Followup-To: set ]   
      
   In comp.theory olcott  wrote:   
      
   [ .... ]   
      
   > People here would much rather assume that they are already   
   > correct than to bother verifying anything.   
      
   People here verified the proofs of things like the Halting Theorem years   
   ago, if not decades ago.  That verification remains eternally valid.   
      
   [ .... ]   
      
   > If you weren't so damned sure that I must be wrong   
   > you could see that.   
      
   I'm not damned sure you're wrong; I know it for an absolutely proven   
   fact.  Having verified a mathematical proof of a theorem, there is no   
   need to even look at your arguments disagreeing with it.  People do,   
   though.  See above.   
      
   [ .... ]   
      
   > --   
   > Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   > hits a target no one else can see." Arthur Schopenhauer   
      
   --   
   Alan Mackenzie (Nuremberg, Germany).   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)