Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 15. May 2024, 18:01:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v22pov$1006v$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 5/15/2024 11:23 AM, joes wrote:
Am Wed, 15 May 2024 10:24:57 -0500 schrieb olcott:
On 5/15/2024 3:18 AM, Mikko wrote:
On 2024-05-14 14:35:42 +0000, olcott said:
That is not strictly conforming and hardly conforming at all.
>
What trivial syntactic error that has no effect what-so-ever on the
semantics do you believe remains?
A missing semi-colon?
What is H?
The example must be simple enough so that people unfamiliar with C will
not be overwhelmed by things such as: typedef int (*ptr)();
a return value of 0 from main() also might be a little confusing.
I am trying to fit the essence of my proof on a single page.
Then you can’t claim knowledge of C is required.
Knowledge of C is required to affirm or deny my statement.
Knowledge of programming is required to understand the gist
of what I am saying.
typedef int (*ptr)(); // ptr is pointer to int function
00 int H(ptr x, ptr x);
01 int D(ptr x)
02 {
03 int Halt_Status = H(x, x);
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 }
Any H/D pair matching the above template where
D(D) is simulated by the same H(D,D) that it calls
cannot possibly reach past its own line 03.
This is a simple software engineering verified fact.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer