Sujet : Re: Proof that DDD specifies non-halting behavior --- reviewers disagree with basic facts
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 16. Aug 2024, 23:56:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9olfq$1i745$11@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
User-Agent : Mozilla Thunderbird
On 8/16/2024 5:50 PM, Richard Damon wrote:
On 8/16/24 6:20 PM, olcott wrote:
On 8/16/2024 5:11 PM, Richard Damon wrote:
On 8/16/24 5:58 PM, olcott wrote:
On 8/16/2024 4:37 PM, Richard Damon wrote:
On 8/16/24 5:08 PM, olcott wrote:
On 8/16/2024 3:54 PM, Richard Damon wrote:
On 8/16/24 4:36 PM, olcott wrote:
>
I break my points down to the basic facts of the semantics
of the x86 language and the basic facts of the semantics
of the C programming.
>
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.
If they disagree with arithmetic we can never get to algebra.
>
If you aren't talking about computer science, then you are using a lot of words FROM computer science, which bring in their implications.
>
>
>
I get to the computer science only after people
agree to basic facts. When they refuse to agree
with these basis facts I write them off as dishonest
or insufficiently competent.
>
>
>
Since your "Basic facts" include terms from Computer Science,
>
If you insist on disagreeing with the x86
language that proves you are dishonest.
>
Where do I disagree with the x86 language?
*Until you agree with this I will consider you as a liar*
*Until you agree with this I will consider you as a liar*
*Until you agree with this I will consider you as a liar*
void DDD()
{
HHH(DDD);
}
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
*It is a basic fact that DDD emulated by HHH according to*
*the semantics of the x86 language cannot possibly stop*
*running unless aborted*
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…