From Newsgroup: comp.ai.philosophy

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
--- Synchronet 3.21a-Linux NewsLink 1.2