Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c++,comp.lang.c
Subject: Re: D correctly simulated by pure function H remains stuck in
 recursive simulation
Date: Wed, 22 May 2024 15:17:22 -0500
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <v2ljsi$1bave$1@dont-email.me>
References: <v2ktl4$16qp5$3@dont-email.me>
 <v2l6kj$18q32$2@raubtier-asyl.eternal-september.org>
 <v2lino$1b4kp$2@dont-email.me>
 <v2ljdg$1b9rs$1@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 22 May 2024 22:17:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9557ecc38a2c6e613b1947df9dd7fc56";
	logging-data="1420270"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18q4oKqZq6OEjuI3O0mD7/L"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Nw6T6wsLDIslotkhTlAZslRmPyI=
Content-Language: en-US
In-Reply-To: <v2ljdg$1b9rs$1@raubtier-asyl.eternal-september.org>
Bytes: 3573

On 5/22/2024 3:09 PM, Bonita Montero wrote:
> Am 22.05.2024 um 21:57 schrieb olcott:
>> On 5/22/2024 11:31 AM, Bonita Montero wrote:
>>> Am 22.05.2024 um 15:57 schrieb olcott:
>>>> Because D correctly simulated by pure function H remains stuck in
>>>> recursive simulation simulating termination analyzer H is correct
>>>> to report that D does not halt.
>>>>
>>>> typedef int (*ptr)();  // ptr is pointer to int function in C
>>>> 00       int H(ptr p, ptr i);
>>>> 01       int D(ptr p)
>>>> 02       {
>>>> 03         int Halt_Status = H(p, p);
>>>> 04         if (Halt_Status)
>>>> 05           HERE: goto HERE;
>>>> 06         return Halt_Status;
>>>> 07       }
>>>> 08
>>>> 09       int main()
>>>> 10       {
>>>> 11         H(D,D);
>>>> 12         return 0;
>>>> 13       }
>>>>
>>>> It is trivial to see that for every H/D pair of the infinite
>>>> set of H/D pairs that match the above template that
>>>>
>>>> D correctly simulated by H cannot possibly reach its own final
>>>> state at line 06 and halt because D correctly simulated by
>>>> H remains stuck in recursive simulation.
>>>>
>>>> This provides the basis for simulating termination analyzer H to
>>>> correctly determine that the halting problem's counter-example
>>>> input D cannot possibly halt.
>>>>
>>>
>>> Ok, then every question is answered and we could proceed to
>>> "sth. completely different" (Monty Python).
>>>
>>
>> *No this question has never been answered in this forum*
>>
> 
> Because this question is about C++ and not theoretical computer
> sciences. And even if you'd get an answer: you wouldn't recoginze
> it because you're unable to see that you're asking nonsense.
> 

One person took thirty seconds to answer the question.
If you want to post hundreds and hundreds of messages
saying that you don't want to spend 30 seconds to answer
the question feel free.

I only need three correct answers from three people and
the question is sufficiently answered and I am back out
of here.

I was thinking about offering a $10 cash reward for the
first person that finds a valid counter-example.


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