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,250 of 59,235   
   olcott to Richard Heathfield   
   Re: Rejecting expressions of formal lang   
   12 Nov 25 23:00:04   
   
   XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/12/2025 10:50 PM, Richard Heathfield wrote:   
   > On 13/11/2025 02:38, Kaz Kylheku wrote:   
   >> On 2025-11-13, olcott  wrote:   
   >   
   >    
   >   
   >>> I had ChatGPT look at this too.   
   >>   
   >> Oh well, then, that's an intellectual slam dunk, obviously.   
   >   
   > To be fair to ChatGPT, if you present it with Olcott's gibberish   
   > *without* first carefully prepping it with falsehoods like 'correctly   
   > simulates', it unhesitatingly identifies the whole thing as a load of   
   > gibberish.   
   >   
      
   I don't use the word correctly simulates and more   
   because people trying as hard as they can to be   
   disagreeable weasel word it to contrive a different   
   meaning that D simulated by H according to the   
   semantics of the C programming language.   
      
   The biggest problem with the LLMs is they really   
   want to guess the wrong answer rather than perform   
   the actual execution trace.   
      
   *I did not lead them on in this case at all*   
      
   https://www.researchgate.net/publication/396916355_Halting_Probl   
   m_Simulation_in_C   
      
   --   
   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