Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: No one can correctly refute that simulating abort decider A(D,D)
 is correct
Date: Thu, 28 Mar 2024 22:34:08 -0500
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <uu5cri$2tti$1@dont-email.me>
References: <uu1qje$3106v$1@dont-email.me> <uu1tmp$31mm4$2@dont-email.me>
 <uu1ufg$31r8p$1@dont-email.me> <uu2eob$374vo$2@i2pn2.org>
 <uu2g1k$360p2$2@dont-email.me> <uu2hpe$374vo$11@i2pn2.org>
 <uu2jp1$36okm$2@dont-email.me> <uu2lfu$374vo$15@i2pn2.org>
 <uu2n0q$37bas$4@dont-email.me> <uu2o02$374vn$9@i2pn2.org>
 <uu2och$37bas$8@dont-email.me> <uu3m7n$3ajo2$3@i2pn2.org>
 <uu402f$3ktin$1@dont-email.me> <uu50ms$3ca7i$4@i2pn2.org>
 <uu57db$3tt5t$9@dont-email.me> <uu58kq$3ca7j$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 29 Mar 2024 03:34:10 +0100 (CET)
Injection-Info: dont-email.me; posting-host="bfd65a280c18a2165003beacad9b3410";
	logging-data="96178"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX190t5byEp+oOopuUCotEhGA"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:yf9Xr3cLC0XbexqsDoNlP6LSwyo=
In-Reply-To: <uu58kq$3ca7j$1@i2pn2.org>
Content-Language: en-US
Bytes: 3231

On 3/28/2024 9:22 PM, Richard Damon wrote:
> On 3/28/24 10:01 PM, olcott wrote:

<snip>

>>> Right, but as you have admitted, the behavior of that machine code 
>>> CHANGES depending on what is at the location of H.
>>>
>>
>> The behavior of D simulated by any H that can possibly exist
>> remains the same.
> 
> Nope.
> 
> The behavior of D CHANGES based on the H it attaches to.
> 

The behavior of D simulated by any H that can possibly exist
remains the same.

The behavior of directly executed D(D) is not the behavior of D 
simulated by any H.

> You are just PROVING that you are LYING about H.
> 

No I am proving that your ADD is worse than you thought.

<snip>

>> IT IS AN ABORT DECIDER THAT GIVES NO ANSWER IT ONLY ABORTS
>> IT IS AN ABORT DECIDER THAT GIVES NO ANSWER IT ONLY ABORT
> Then why does D use the answer?
> 
> I guess you are just admitting that your setup is incoherent.
> 

01 void D(ptr x) // ptr is pointer to void function
02 {
03   H(x, x);
04   return;
05 }
06
07 void main()
08 {
09   H(D,D);
10 }

> And ALL Deciders give an answer.
> 

If you need to then pretend that H(D,D) returns 1 for abort
and 0 for not aborted. Since this value is never used it
is irrelevant.

> Maybe in your case, there is only one answer, I aborted.
> 
> But then, the mapping it is deciding on must be a trivial mapping, so H 
> might as well return.
> 

It is not trivial, where the Hell did you get that?
It is the same H that we always had with the return
values swapped and ignored.

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