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?