home bbs files messages ]

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

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

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

   Message 58,259 of 59,235   
   olcott to Tristan Wibberley   
   Re: Rejecting expressions of formal lang   
   13 Nov 25 20:33:14   
   
   XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/13/2025 7:14 PM, Tristan Wibberley wrote:   
   > On 14/11/2025 00:45, olcott wrote:   
   >> ... [is] an example of not needing a separate object   
   >> language and meta-language that Tarski says is   
   >> required.   
   >   
   > You've got that unqualified. Did Tarski say it unqualified?   
   >   
      
   To express the entire body of knowledge that can   
   be expressed in language only a single language   
   is needed. Tarski disagreed and he was wrong and   
   I showed how and why with my discussion with Claude.   
      
   > --   
   > 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 "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- 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