Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Halting Problem: How my refutation differs to Peter Olcott's
Date: Mon, 12 May 2025 08:37:38 +0100
Organization: Fix this later
Lines: 21
Message-ID: <vvs8g2$vl61$1@dont-email.me>
References: <BPOTP.66191$v0S.4884@fx14.ams4>
 <3bc01824e1d95a30b9784942a8b7ef3bc9ec8ff8@i2pn2.org>
 <UIRTP.228282$_Npd.219273@fx01.ams4> <vvosru$3ql7h$1@dont-email.me>
 <bc5cc7788c2f522f313339d699520118aba2b18c@i2pn2.org>
 <YVSTP.290844$6Qab.237944@fx07.ams4>
 <445621fd6d6864f68b1c6e2040cff818c336600f@i2pn2.org>
 <EgUTP.680779$4AM6.183617@fx17.ams4> <vvp3sa$3voh3$1@dont-email.me>
 <PzUTP.89850$o31.7288@fx04.ams4> <vvs7d7$vk6t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 12 May 2025 09:37:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c9b9500fbbca16233fc3a49bed1da056";
	logging-data="1037505"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/wiXK+P/3uaH5nm7YHfjfoASCT3JpqmAZHpX7lMf3C4Q=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:oeuqcSYFdEjaeA5DvG4wj7l9lNk=
In-Reply-To: <vvs7d7$vk6t$1@dont-email.me>
Content-Language: en-GB

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