Path: ...!eternal-september.org!feeder3.eternal-september.org!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: Tue, 13 May 2025 11:33:55 +0100
Organization: Fix this later
Lines: 53
Message-ID: <vvv76j$1onqb$1@dont-email.me>
References: <BPOTP.66191$v0S.4884@fx14.ams4>
 <3bc01824e1d95a30b9784942a8b7ef3bc9ec8ff8@i2pn2.org>
 <UIRTP.228282$_Npd.219273@fx01.ams4>
 <1cecbb270dfb6a7c37ce23eb4b722f1b85c0e7d3@i2pn2.org>
 <Fb0UP.77777$JJT6.37000@fx16.ams4> <vvs868$vp30$1@dont-email.me>
 <vvt0qm$14pca$2@dont-email.me> <vvt15v$13l2b$2@dont-email.me>
 <vvt5dp$14pca$11@dont-email.me> <vvv614$1oi4e$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 13 May 2025 12:33:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6985d97c0ee12080e7b93a3aa7ef3914";
	logging-data="1859403"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/dfkp8X2suNNvD4xEq745SaBZuR69s5CIssK6wJMIKaA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:yoyCM3wtQr3h+xe3mWdg2U/pWP4=
In-Reply-To: <vvv614$1oi4e$1@dont-email.me>
Content-Language: en-GB
Bytes: 3031

On 13/05/2025 11:13, Mikko wrote:
> On 2025-05-12 15:51:21 +0000, olcott said:
> 
>> On 5/12/2025 9:38 AM, Richard Heathfield wrote:
>>> On 12/05/2025 15:32, olcott wrote:
>>>> On 5/12/2025 2:32 AM, Mikko wrote:
>>>>> On 2025-05-11 11:52:05 +0000, Mr Flibble said:
>>>>>
>>>>>> On Sun, 11 May 2025 11:49:50 +0000, joes wrote:
>>>
>>> <snip>
>>>
>>>>>>> No. HHH has a string representation, like every program.
>>>>>>
>>>>>> No. Conflating a program with a string representation of 
>>>>>> the same program
>>>>>> in the manner of a self-referential dependency is a 
>>>>>> category (type) error.
>>>>>
>>>>> There are several meanings for the word "program" but a 
>>>>> common one is a
>>>>> string that specifies what shall happen when the program is 
>>>>> executed.
>>>>> One possible string representation of that string is the 
>>>>> string itself.
>>>>>
>>>>
>>>> A better name is computational unit.
>>>
>>> That's a terrible name. But okay, if you think it's better, 
>>> who is anyone here to stop you using it? Just don't expect me to.
>>>
>>
>> What other name encompasses
>> (a) subroutines
>> (b) programs
>> (c) integrated systems comprised of many programs
> 
> Software

:-)

I think he may be reaching for 'module', which is used at quite a 
few levels, but in truth it's a needless distraction. The term 
'Turing Machine' (or 'TM tape' if you need that distinction) is 
more than adequate in the overarching context of this discussion.

-- 
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