Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure
Date: Wed, 26 Jun 2024 09:04:52 -0500
Organization: A noiseless patient Spider
Lines: 67
Message-ID: <v5h765$25q9l$1@dont-email.me>
References: <v4vrfg$2793f$1@dont-email.me> <v58m12$8mmo$1@dont-email.me>
 <v59797$brmn$1@dont-email.me> <v5b7nv$qvrb$1@dont-email.me>
 <v5btf3$v0vb$4@dont-email.me> <v5chru$10816$1@i2pn2.org>
 <v5cn01$149dc$1@dont-email.me> <v5ebvr$1hs89$1@dont-email.me>
 <v5efod$1ikpr$1@dont-email.me> <v5ejau$1iq57$1@dont-email.me>
 <v5eup8$1lar1$2@dont-email.me> <v5gidq$221q3$1@dont-email.me>
 <v5h34g$24jbd$4@dont-email.me> <v5h5oq$1g3$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 26 Jun 2024 16:04:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="28c20839daaf0f4c95806d952d7f722b";
	logging-data="2287925"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18B4ddm5u9H70ly+/vtTOBk"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:kp5C2+Eeo5tHCVKQtRNkm5RHIhQ=
Content-Language: en-US
In-Reply-To: <v5h5oq$1g3$1@news.muc.de>
Bytes: 4188

On 6/26/2024 8:40 AM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> On 6/26/2024 3:10 AM, Mikko wrote:
> 
> [ .... ]
> 
>>> The relevant area of software engineering is testing. The usual
>>> attitude of software engineers is that a program is accpted when it
>>> has been sufficiently tested and passed all tests. Consequently, an
>>> important part of sofware work is the design of tests.
> 
>>> In the current context the program to be tested is a halting decider.
> 
>> *NO IT IS NOT. H0 IS ONLY AN X86 EMULATOR*
>> After you quit lying about the behavior of DDD correctly
>> emulated by H0 then we can move on to the next point.
> 
> I think the problem is rather your calling every program or function you
> talk about H, or H^, or HH, or HHH, or H0, or H1.  Usually, in the past,
> you have meant purported halting deciders by these names.  Now you're
> saying that you mean an X86 emulator.  Where and when did this change
> happen, and how is anybody else supposed to know what you mean by
> particular uses of these names?
> 

When I ask people to consider the behavior of DDD
correctly emulated by H0 according to the semantics
of the x86 programming language it really does seem
to be the strawman deception when they try to get away
with saying that it must be the behavior of the directly
executed DDD().

_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]

It is clear that the semantics of the x86 language specifies
that DDD correctly emulated by H0 at machine address 0000217a
will continue to repeat the first four instructions of DDD
until out-of-memory error.

When we add that the outermost directly executed H0 can abort
its simulation as soon as the behavior of its input matches
the the infinite recursion behavior pattern it remains true
that the call from the emulated DDD to the emulated H0(DDD)
cannot possibly return.

*That people consistently lie about this is quite annoying*
*yet not nearly so much when their lie is easily exposed*

> Or is it just some subterfuge to enable you to abuse other posters?
> 
>> -- 
>> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
>> hits a target no one else can see." Arthur Schopenhauer
> 

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