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