Sujet : Re: Proof that DDD specifies non-halting behavior --- reviewers disagree with basic facts
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 18. Aug 2024, 13:39:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9sq2d$2c67u$15@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 8/17/2024 7:11 AM, joes wrote:
Am Fri, 16 Aug 2024 16:08:05 -0500 schrieb olcott:
On 8/16/2024 3:54 PM, Richard Damon wrote:
On 8/16/24 4:36 PM, olcott wrote:
>
I can't ever get to the point of the computer science because
reviewers disagree with these basic facts.
No, the problem is that your "facts" just disagree with the computere
science you claim to be doing.
We never get anywhere near the computer science because people disagree
with 100% concrete fully specified semantics.
WITH WHAT
void DDD()
{
HHH(DDD);
}
Which is NOT a program
I am talking above the behavior of the C function it is dishonest to
change the subject as any basis of rebuttal.
This is on topic. That function doesn't compile, since it's missing the
code of HHH.
x86utm takes the compiled Halt7.obj file of this c program
https://github.com/plolcott/x86utm/blob/master/Halt7.cThus making all of the code of HHH directly available to DDD.
*I am now only talking about this thread*
[Anyone that disagrees with this is not telling the truth ---V2]
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…