... darkrealms ...

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 57,811 of 59,235

olcott to Mr Flibble

Re: ChatGPT's verbose understanding of m

04 Aug 25 13:02:32

   XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/4/2025 12:42 PM, Mr Flibble wrote:   
   > On Mon, 04 Aug 2025 12:33:25 -0500, olcott wrote:   
   >   
   >> https://chatgpt.com/share/6890ee5a-52bc-8011-852e-3d9f97bcfbd8   
   >   
   > https://chatgpt.com/share/6890f0cd-2258-800b-bec9-3efa8a50ee3d   
      
   I have proved that the traditional proofs do not   
   prove undecidability. I have not proved decidability.   
      
   --   
   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 >> ]