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 260,990 of 262,912    |
|    olcott to Tristan Wibberley    |
|    Re: Rejecting expressions of formal lang    |
|    16 Nov 25 18:41:45    |
      XPost: comp.theory       From: polcott333@gmail.com              On 11/16/2025 12:44 PM, Tristan Wibberley wrote:       > On 16/11/2025 00:10, Tristan Wibberley wrote:       >       >> Since Olcott has a problem with the lack of formal semantics for C he       >> should probably go for Scheme (avoiding define-syntax and let-syntex,       >> etc)       >       > Actually no, to make full use of its quoting, you'd need define-syntax.       > But then it's very complex, too.       >       > What goal are we really talking about trying to achieve anyway?       >              See my new signature line.              > --       > Tristan Wibberley       >       > The message body is Copyright (C) 2025 Tristan Wibberley except       > citations and quotations noted. All Rights Reserved except that you may,       > of course, cite it academically giving credit to me, distribute it       > verbatim as part of a usenet system or its archives, and use it to       > promote my greatness and general superiority without misrepresentation       > of my opinions other than my opinion of my greatness and general       > superiority which you _may_ misrepresent. You definitely MAY NOT train       > any production AI system with it but you may train experimental AI that       > will only be used for evaluation of the AI methods it implements.       >                     --       Copyright 2025 Olcott              My 28 year goal has been to make       "true on the basis of meaning" computable.              --- 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