From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 3.12.2025 klo 18.06:   
   > On 12/3/2025 4:47 AM, Mikko wrote:   
   >> 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".   
      
   > When we know that "cats"  "mammals"   
   > and that "mammals"  "animals" then   
   > we certainly know that "cats"  "animals".   
      
   > The entire body of general knowledge can be   
   > encoded this same way.   
      
   How do you encode that 2 + 3 = 5 that way?   
      
   How do you encode "Harun ar-Rashid gave a horn of Unicorn to   
   Charlemagne" that way?   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)