Path: ...!news.mixmin.net!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: Can you see that D correctly simulated by H remains stuck in
 recursive simulation?
Date: Thu, 23 May 2024 17:11:42 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v2oeuu$1urqv$1@dont-email.me>
References: <v2ns85$1rd65$1@dont-email.me>
 <cone.1716501172.972762.219193.1004@monster.email-scan.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 24 May 2024 00:11:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="853a48eea7a3e841565c364baea8e5bf";
	logging-data="2060127"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19TGfLLKz03TpHphPOfYRxp"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:nwI9O6gfX/61p1Yzem29OjSH7AE=
In-Reply-To: <cone.1716501172.972762.219193.1004@monster.email-scan.com>
Content-Language: en-US
Bytes: 2644

On 5/23/2024 4:52 PM, Sam wrote:
> olcott writes:
> 
>> 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       }
> 
> Anyone who writes something like this, in my day job, will get fired 
> before the end of the day.
> 
> This is the worst chunk of code I've seen in at least fifteen years. It 
> shows a complete lack of understanding of fundamental principles of C 
> and C++.
> 

It is the computer science of the Peter Linz halting
problem proof translated into C. This too is a template:

When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn

I simplified the Linz notation and this simplification
has been validated.

*I tried to avoid going off topic, but you insisted*
https://www.liarparadox.org/Linz_Proof.pdf

Can we please get back to the C or do you really want
to stay off topic?

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