Path: ...!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: Proof that H(D,D) meets its abort criteria
Date: Fri, 15 Mar 2024 16:02:13 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <ut2d0o$2ffu8$1@dont-email.me>
References: <ut1sgk$2buev$2@dont-email.me> <ut1v81$2cfjp$3@dont-email.me>
 <ut2067$2c29l$19@dont-email.me> <ut24hv$2dnbk$1@dont-email.me>
 <ut24jf$2djbv$4@dont-email.me> <ut273m$1vtvj$13@i2pn2.org>
 <ut2abk$2e06s$16@dont-email.me> <ut2bp9$1vtvi$16@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 15 Mar 2024 21:02:16 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="628c0b780d2c261756f82ddadd066eb3";
	logging-data="2605000"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Y+UR9vnjzMM5c962n+WQB"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:N4UEWBQSE7igAK4dCo99LrNti+U=
Content-Language: en-US
In-Reply-To: <ut2bp9$1vtvi$16@i2pn2.org>
Bytes: 2449

On 3/15/2024 3:41 PM, Richard Damon wrote:
> On 3/15/24 1:16 PM, olcott wrote:
> 
>> To the best of my current knowledge all of your rebuttals
>> to this relied on counter-factual assumptions that cannot
>> possibly be supported with correct reasoning because they
>> are counter-factual.
>>
> 
> Which is a meaningless subjective statement
> 
> Since you fail to ever point out an actual couter-factual assumption, 


*I pointed out the facts and you disagreed*
(a) The behavior of every H(D,D) is identical because it is the same
code and data.

(b) The executed H(D,D) always has at least one execution trace more
data than any of its simulated instances.

(c) This entails that the executed H(D,D) sees its abort status criteria
sooner than any of its simulated instances.

(d) We assume (the design criteria) that each H(D,D) aborts its
simulation as soon as its abort status criteria has been met.

(e) (a)(b)(c)(d) Entail that unless the executed H(D,D) aborts its
simulation that none of the simulated instances of H(D,D) ever will.


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