Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH is Correctly rejected as
 non-halting V2
Date: Mon, 15 Jul 2024 08:39:07 -0500
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <v738pr$mjis$15@dont-email.me>
References: <v6rg65$32o1o$3@dont-email.me>
 <97e0632d0d889d141bdc6005ce6e513c53867798@i2pn2.org>
 <v6sdlu$382g0$1@dont-email.me> <v6td3a$3ge79$1@dont-email.me>
 <v6tp1j$3imib$2@dont-email.me> <v6trdu$3irhh$1@dont-email.me>
 <v6tu01$3imib$11@dont-email.me>
 <a177dd76613794d6bb877c65ffe6c587a8f31bc1@i2pn2.org>
 <v6tvpv$3imib$14@dont-email.me>
 <091e8b7baeea467ee894b1c79c8943cb9773adb7@i2pn2.org>
 <v6u346$3khl8$1@dont-email.me>
 <16ac79611a441e7e01119631051f69119eee958a@i2pn2.org>
 <v6v06i$3pivt$1@dont-email.me>
 <23cb2d2401b87bf4f6a604aa1a78b93ffc9a29bc@i2pn2.org>
 <v6v2t1$3pmjn$3@dont-email.me>
 <3fc6548531f91ed14a27420caf9679a634573ed0@i2pn2.org>
 <v70lmo$61d8$1@dont-email.me> <v72lf4$k738$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 15 Jul 2024 15:39:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="13997779445f04dacae82f025877e637";
	logging-data="740956"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+jyjrD+BEdTcoSj/tycLEq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:jjHCiNHvIaMX56uXHx7KWjLj0y4=
In-Reply-To: <v72lf4$k738$1@dont-email.me>
Content-Language: en-US
Bytes: 2668

On 7/15/2024 3:09 AM, Mikko wrote:
> On 2024-07-14 14:00:55 +0000, olcott said:
> 
>> According to the theory of computation the DDD that calls
>> HHH(DDD) is not in the domain of HHH.
> 
> The theory of computation does not say what the domain of HHH is.

Sure it does. Where the Hell have you been?
It says that the halting problem is defined in terms
of finite strings that encode Turing machines.

> Unless the specificaiton of HHH says otherwise HHH should be able
> to handle every input that can be given to it, 

No halt decider is allowed to report on the computation
that it is contained within for several different reasons
one of them is that computations are not finite strings.

> at least to the
> extent that it says that the given input cannot be processed.
> 

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer