XPost: comp.theory, sci.math   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 1.12.2025 klo 14.27:   
      
   > A prove is any sequence of steps that shows   
   > that its conclusion is necessarily true.   
   That depends on the exact meaning of "shows". The usual meaning of   
   "show" is to make something visible. But merely making some sequence   
   of some steps visible does not make it a proof.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)