Sujet : Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.c++Date : 25. May 2024, 13:13:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2sh5b$2rm73$1@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 5/25/2024 2:58 AM, Tim Rentsch wrote:
"Fred. Zwarts" <F.Zwarts@HetNet.nl> writes:
Op 23.mei.2024 om 18:52 schreef olcott:
>
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 }
>
The above template [...]
>
Olcott's own words are that the simulation of D [...]
Why do you waste people's time engaging with this bozo?
This is genuine break though work. Who here would not like
to have a compiler that checks for total program correctness?
WST 2023: 19th International Workshop on Termination
University Center Obergurgl, University of Innsbruck
Obergurgl, Austria, August 24-25, 2023
https://easychair.org/cfp/WST2023-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer