home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,660 of 262,912   
   olcott to Tristan Wibberley   
   Re: A new foundation for correct reasoni   
   03 Dec 25 19:59:51   
   
   XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 12/3/2025 7:53 PM, Tristan Wibberley wrote:   
   > On 30/11/2025 09:37, Mikko wrote:   
   >> The only meaning a GUID has is that it is different from any other GUID.   
   >   
   > Not strictly true, it encodes some knowledge about itself too--see GUID   
   > specification documents--some bits encode how it was generated such as   
   > when (to whatever extent that itself means anything).   
   >   
      
   My use of GUID is to assign a unique identifier   
   to a single sense meaning of a word. I think that   
   I got this from the Cyc Project.   
      
   https://en.wikipedia.org/wiki/Cyc   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca