XPost: comp.theory, sci.math   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 2.12.2025 klo 16.49:   
   > On 12/2/2025 3:15 AM, Mikko wrote:   
   >> 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.   
      
   > What I usually mean by proof is any kind of correct   
   > semantic logical entailment anchored in the basis   
   > of expressions of language that are certainly true.   
      
   What others mean by "proof" does not include anything that cannot   
   be checked without a proof that it is a "proof".   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)