Sujet : Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.lang.cDate : 31. May 2024, 14:38:39
Autres entêtes
Organisation : -
Message-ID : <v3cjsv$28dp0$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2024-05-30 15:25:55 +0000, olcott said:
On 5/30/2024 10:05 AM, Bonita Montero wrote:
Am 30.05.2024 um 16:55 schrieb 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 left hand-side are line numbers of correct C code.
This code does compile and does conform to c17.
Everyone with sufficient knowledge of C can easily determine that D
correctly emulated by any pure function H (using an x86 emulator)
cannot possibly reach its own simulated final state at line 06 and halt.
Because this is a key piece of my life's work and my POD24 diagnosis
indicates that I am running out of time I intend to keep posting this
until I have three concurrences or one correct rebuttal.
*Validation of POD24 as a robust early clinical end point of*
*poor survival in FL from 5225 patients on 13 clinical trials*
https://pubmed.ncbi.nlm.nih.gov/34614146/
You're doing circles for years.
*Try and prove that there are any circles in my reasoning*
The claim was about doing. No reasining was claimed. Are you
sure you never say what you have already done? It seems you
often, sometimes with a great effort, reach the point were
you already were.
That I keep repeating the same question until it is answered
is simply persistence not any actual circle in my reasoning.
It is a circle in your behaviior. No reasoning was implied.
-- Mikko