Re: Halting Problem: How my refutation differs to Peter Olcott's

On 12/05/2025 08:19, Mikko wrote:
<flibblequarrel snipped>

That is contradicto in adiecto: a refertial dependncy between
two entities of different categories cannot be
self-referential. An entity can have a self-referential
dependncy only to itself and it is always of the same category
as it is itself.

I won't contradict you, but descent parsing comes to mind, where expr() calls term(), term() calls fact(), and fact() calls expr(). It certainly smells self-referential, albeit at arm's length. Do you see my point?
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within