Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Proof that DDD specifies non-halting behavior --- reviewers
 disagree with basic facts
Date: Sun, 18 Aug 2024 07:39:41 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <v9sq2d$2c67u$15@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me>
 <561f876601b0329c0260bac26f8b6dfb6e28647f@i2pn2.org>
 <v9h5af$9jn6$1@dont-email.me>
 <bdfcf881b9a9ce7e2bc197339d14a01beae1116d@i2pn2.org>
 <XYucnXqdgeWiVSH7nZ2dnZfqn_adnZ2d@brightview.co.uk>
 <b8a96bbfe0516cf99b6f38c23fb4eccc3810ee7e@i2pn2.org>
 <v9krc5$uqhs$1@dont-email.me> <v9l7hf$vao1$3@dont-email.me>
 <v9laed$113gd$2@dont-email.me>
 <EbecnaOe1ajC1yP7nZ2dnZfqn_idnZ2d@brightview.co.uk>
 <v9llh9$12l6c$2@dont-email.me> <v9mt9h$1bdeu$3@dont-email.me>
 <P6-cnWf3Z5zzLyL7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <v9od8b$1i745$1@dont-email.me>
 <b5c6b0c3bf38cd73a9b84b7d96e2d45a53404dde@i2pn2.org>
 <v9of3l$1i745$3@dont-email.me>
 <e665a0048485910b8f4ad3c7a1c56ef1d94895d3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 14:39:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d";
	logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19WUf+FU3fw1e1+Y0DZ5J7W"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tGFu9gvv+LcgZpML5ZD3l0KXspM=
Content-Language: en-US
In-Reply-To: <e665a0048485910b8f4ad3c7a1c56ef1d94895d3@i2pn2.org>
Bytes: 3020

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.c
Thus 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; Genius
hits a target no one else can see." Arthur Schopenhauer