XPost: comp.theory, comp.lang.c++, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 10/31/2025 9:53 PM, Tristan Wibberley wrote:   
   > On 01/11/2025 02:13, Richard Damon wrote:   
   >> On 10/31/25 3:46 PM, Tristan Wibberley wrote:   
   >>> On 31/10/2025 18:00, Kaz Kylheku wrote:   
   >>>> An algorithm recognizing the presence of itself in its input is an   
   >>>> undecidable problem.   
   >>>   
   >>> An algorithm recognizing the presence of a specific nominal expression   
   >>> of itself is not.   
   >>   
   >> But who says the copy has the same nominal expression?   
   >   
   > The author of the situation statement.   
   >   
   >> And, WHICH of the expression of the decider are you comparing to?   
   >   
   > The one and only one he gave in the input string "H". There's no other   
   > to consider.   
   >   
   > The situation statement describes one in which the input string   
   > specifies calling H(D), and provides for a C interpreter in which the   
   > call remains recognisable.   
   >   
   > It does not provide for any generality in the decision that there's a   
   > loop of more than 5 calls.   
   >   
   > If there is a challenge for us, it is to notice that those are the facts   
   > of this particular situation statement.   
   >   
      
   int D()   
   {   
      int Halt_Status = H(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   D simulated by H according to the semantics of C   
   programming language (until H sees the repeating   
   pattern) does enable H to report that its simulated   
   input cannot possibly reach its own simulated   
   "return" statement final halt state.   
      
   > --   
   > 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)