Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v3qanf$34b9u$13@i2pn2.org>
Deutsch   English   Français   Italiano  
<v3qanf$34b9u$13@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory
Subject: Re: How Partial Simulations correctly determine non-halting ---Mike
 Terry Error
Date: Wed, 5 Jun 2024 18:28:00 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v3qanf$34b9u$13@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me>
	<J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
	<87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
	<v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
	<v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
	<_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
	<v3nkqr$h7f9$3@dont-email.me> <v3o0ph$31rmn$1@i2pn2.org>
	<v3o3og$jm9q$2@dont-email.me> <v3p761$sg73$4@dont-email.me>
	<v3pr90$1003g$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 5 Jun 2024 18:28:00 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3288382"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2866
Lines: 38

Am Wed, 05 Jun 2024 09:04:16 -0500 schrieb olcott:
> On 6/5/2024 3:21 AM, Fred. Zwarts wrote:
>> Op 05.jun.2024 om 00:16 schreef olcott:
>>> On 6/4/2024 4:26 PM, joes wrote:
>>>> Am Tue, 04 Jun 2024 13:02:03 -0500 schrieb olcott:
>>>>> On 6/4/2024 11:58 AM, Mike Terry wrote:
>>>>>> On 04/06/2024 11:52, Fred. Zwarts wrote:
>>>>>>> Op 04.jun.2024 om 12:29 schreef Fred. Zwarts:
>>>>>>>> Op 03.jun.2024 om 23:24 schreef olcott:
>>>>>>>>> On 6/3/2024 3:09 PM, Fred. Zwarts wrote:
>>>>>>>>>> Op 03.jun.2024 om 14:20 schreef olcott:
>>>>>>>>>>> On 6/3/2024 4:42 AM, Ben Bacarisse wrote:
>>>>>>>>>>>> Mike Terry <news.dead.person.stones@darjeeling.plus.com>
>>>>>>>>>>>> writes:
>> Yes. And the fact that your decider diagnoses itself as non-halting
>> proves that there is something wrong with your decider.
>> Get the cream out of your eyes!
>> 
>>         typedef int (*ptr)();  // ptr is pointer to int function
>> in C
>>         int H(ptr p, ptr i);
>>         int main()
>>         {
>>           H(main, 0);
>>         }
>> 
>> H diagnoses this program as non-halting. The only reason is obvious:
>> the simulation of H by itself did not reach the final state.
> 
> *The simulation of H is not required to halt*
But you wanted a decider!

> I actually tried this example and it does prove that main() halts and it
> also proves that the directly executed H(main, 0)
> halts and correctly returns 0; I gave you all of the details in another
> reply.

-- 
joes