Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2
Date: Mon, 17 Jun 2024 16:48:01 +0200
Organization: A noiseless patient Spider
Lines: 50
Message-ID: <v4pib3$l7le$4@dont-email.me>
References: <v4j0h2$39gh7$3@dont-email.me> <v4k0sr$3f4m3$1@dont-email.me>
 <v4k44j$3fmth$1@dont-email.me> <v4m5gj$3v41v$1@dont-email.me>
 <v4mmnp$1qt6$2@dont-email.me> <v4ms37$5nh5$1@i2pn2.org>
 <v4mtif$3cbf$1@dont-email.me> <v4muph$1sav$1@news.muc.de>
 <v4n8ac$5d22$1@dont-email.me> <v4nk4s$17k4$1@news.muc.de>
 <v4peif$ln46$14@dont-email.me> <v4pgab$l7le$1@dont-email.me>
 <v4phfs$mub6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 17 Jun 2024 16:48:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fee104aae69170b4ce923c38ec4c77c3";
	logging-data="695982"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19pLlrC4sLVQGWywDBEas7Y"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5ppzFOUUITarxZoWx46xVasANm0=
In-Reply-To: <v4phfs$mub6$1@dont-email.me>
Content-Language: en-GB
Bytes: 2541

Op 17.jun.2024 om 16:33 schreef olcott:
> On 6/17/2024 9:13 AM, Fred. Zwarts wrote:
>> Op 17.jun.2024 om 15:43 schreef olcott:
>>>
>>> typedef void (*ptr)();
>>> int H0(ptr P);
>>>
>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>> }
>>>
>>> void Infinite_Recursion()
>>> {
>>>    Infinite_Recursion();
>>> }
>>>
>>> void DDD()
>>> {
>>>    H0(DDD);
>>> }
>>>
>>> int main()
>>> {
>>>    H0(Infinite_Loop);
>>>    H0(Infinite_Recursion);
>>>    H0(DDD);
>>> }
>>>
>>> Because people fail to understand that H0 must abort the
>>> correct simulation of every input that would cause itself to
>>> never terminate normally 
>>
>> That might be correct
>>
>>> and that this can be construed as  > non-halting criteria.
>>>
>>
>> That is your misunderstanding. It is incorrect as non-halting criteria 
>> for the program. It is only an indication of the inability of H0 to 
>> simulate itself.
>>
> 
> Your view here is merely ignorant of the fact that deciders
> must report on the behavior specified by their inputs.
> 

It is incorrect to assume that a failing simulation is able to report 
about its input.