Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Copyright for "simulating halt decider" by Olcott for many years
 --- proves itself correct
Date: Sun, 2 Mar 2025 18:57:39 -0600
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <vq2uq3$vkkb$2@dont-email.me>
References: <vptlfu$3st19$9@dont-email.me> <vpug3h$50td$1@dont-email.me>
 <vq06al$eljf$1@dont-email.me> <vq06ja$dfve$2@dont-email.me>
 <vq075c$eljf$3@dont-email.me> <vq08gi$f06n$1@dont-email.me>
 <vq0b4u$f3k3$4@dont-email.me> <vq0crn$fhth$2@dont-email.me>
 <vq0dl2$f3k3$10@dont-email.me> <3hg7sjhnq962dnkue9cg8ftccfbsf7rpfd@4ax.com>
 <fbc1c3d5507d1d175bdadbbfde51c10bdda1b437@i2pn2.org>
 <vq19ae$nkcf$1@dont-email.me> <vq1pbq$q7t4$1@dont-email.me>
 <vq23r8$s54f$1@dont-email.me> <vq24r7$ru20$5@dont-email.me>
 <vq2fon$ntk1$1@dont-email.me> <vq2hha$ug75$1@dont-email.me>
 <vq2shm$ntk1$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 03 Mar 2025 01:57:40 +0100 (CET)
Injection-Info: dont-email.me; posting-host="0c603a0e41e8bbe90f18e13a3b679ac3";
	logging-data="1036939"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+/oYLJO5pj/wrWiqiM5w+h"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ADCsRTxvppkezkgfJ0lOd3/qr+Q=
Content-Language: en-US
X-Antivirus: Norton (VPS 250302-6, 3/2/2025), Outbound message
In-Reply-To: <vq2shm$ntk1$2@dont-email.me>
X-Antivirus-Status: Clean
Bytes: 3450

On 3/2/2025 6:19 PM, Andy Walker wrote:
> On 02/03/2025 21:11, olcott wrote:
>> On 3/2/2025 2:40 PM, Andy Walker wrote:
>>>    http://www.cuboid.me.uk/anw/G12FCO/lect18.html
>>> [start at the third paragraph], [...]
>> [the third paragraph]
> 
>      [Note that I said "start at ...", not "look only at ...".]
> 
>> _DD()
>> [00002133] 55         push ebp      ; housekeeping
> [...]
> 
>      Not interested;  sorry.  I was concerned only to point out that
> the idea of a "simulating halt decider", or any similar phrase, was not
> new in 2004, but has been well-known for many [at least 60] years.  If
> you choose to waste your remaining time on this planet trying to do the
> impossible, go ahead.  I shan't be joining you, so this will be my last
> contribution to the debate unless something interesting crops up.  "DD"
> and "HHH" and similar aren't in the least bit interesting to me;  I'm
> astonished that others are so fascinated, but that's up to them.
> 

Lots of people rejected the idea of simulation as an
option so you made no actually relevant point at all.

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

The new thing that I discovered is that DD emulated
by HHH cannot possibly reach the self-contradictory
portion thus cannot possibly thwart a correct termination
status decision.

It has always been stupid to claim that the relevant
behavior is the directly executed DD that has no pathological
relationship to its emulator that changes its behavior.

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