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 --- Mike is not
 paying attention
Date: Sun, 18 Aug 2024 07:58:00 -0500
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <v9sr4p$2c67u$20@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>
 <v9oerj$1iiu2$1@dont-email.me>
 <3rKcnXwB7eKxUF37nZ2dnZfqn_ednZ2d@brightview.co.uk>
 <v9qj19$1tedb$16@dont-email.me>
 <08606604207a9133fec84317c0cc04469711b4ce@i2pn2.org>
 <v9sb18$2apuq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 14:58:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d";
	logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+KcjKjfy2h5VF0tKlrjO9G"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:jC6nQMnpTieIkKTC0ZmoYTlNxpM=
Content-Language: en-US
In-Reply-To: <v9sb18$2apuq$1@dont-email.me>
Bytes: 4865

On 8/18/2024 3:23 AM, Mikko wrote:
> On 2024-08-17 16:33:05 +0000, Richard Damon said:
> 
>> On 8/17/24 12:27 PM, olcott wrote:
>>> On 8/17/2024 11:17 AM, Mike Terry wrote:
>>>> If I post here these days it is generally for the possible benefit 
>>>> of others conversing with PO - e.g. perhaps it seems to me that 
>>>> weeks of time are being wasted /through some simple 
>>>> miscommunication/ with PO. I've been around longer than the current 
>>>> (relative) newcommers [not as long as you and Ben I think], so I 
>>>> have more context for what PO is trying to say,
>>>
>>> *Yet you persistently fail to agree with Ben on this*
>>
>>
>> Because you just don't understand what Ben said here, because you are 
>> just too stupid.
>>
>>>

>>> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>>>> I don't think that is the shell game.  PO really /has/ an H
>>>> (it's trivial to do for this one case) that correctly determines
>>>> that P(P) *would* never stop running *unless* aborted.
>>> ...
>>>> But H determines (correctly) that D would not halt if it
>>>> were not halted.  That much is a truism.

>>>
>>>
>>> *This is a simpler version that*
>>> *defines correctly simulated in*
>>> *a way that has no correct rebuttal*
>>>
>>> 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* (out of memory error excluded)
>>>
>>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>>     If simulating halt decider H correctly simulates its input D
>>>     until H correctly determines that its simulated D would never
>>>     stop running unless aborted then
>>>
>>>     H can abort its simulation of D and correctly report that D
>>>     specifies a non-halting sequence of configurations.
>>> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>>
>>
>> Which is just a repeating of the lies that have been disproven, 
>> showing that you don't understand the words you say,
>>
>> The input DDD can't be just those bytes, or it is just a category error.
> 
> One problem in these discussion is that the term "input" has no formal
> definition and its informal meaning is vague, like informal meanings
> usually are.
> 

The input to HHH is its parameter of the machine address of
DDD in the shared memory space of Halt7.obj loaded into memory.
https://github.com/plolcott/x86utm/blob/master/Halt7.c

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer