Path: ...!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 18:31:35 -0500
Organization: A noiseless patient Spider
Lines: 78
Message-ID: <ut2loo$2grvf$3@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>
 <ut2d0o$2ffu8$1@dont-email.me> <ut2dpt$1vtvj$23@i2pn2.org>
 <ut2eet$2ffu8$4@dont-email.me> <ut2hgs$1vtvi$19@i2pn2.org>
 <ut2js2$2grvf$1@dont-email.me> <ut2lam$1vtvj$27@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 15 Mar 2024 23:31:36 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="3fab022aa6617bd72f29c84b8d0d5aa2";
	logging-data="2650095"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18Z+j8j44Q1f8ivcKVMe4LU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EenHfzBvGSFoizoGG9Rf1IvwZR8=
Content-Language: en-US
In-Reply-To: <ut2lam$1vtvj$27@i2pn2.org>
Bytes: 4291

On 3/15/2024 6:24 PM, Richard Damon wrote:
> On 3/15/24 3:59 PM, olcott wrote:
>> On 3/15/2024 5:19 PM, Richard Damon wrote:
>>> On 3/15/24 2:26 PM, olcott wrote:
>>>> On 3/15/2024 4:15 PM, Richard Damon wrote:
>>>>> On 3/15/24 2:02 PM, olcott wrote:
>>>>>> 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.
>>>>>>
>>>>> Agreed. But that is the FINAL H decided on, since that is the only 
>>>>> one that actually exists and D is claimed to be like the H^ in Linz 
>>>>> proof
>>>>>
>>>>>> (b) The executed H(D,D) always has at least one execution trace more
>>>>>> data than any of its simulated instances.
>>>>>
>>>>> False. Only true at a given instant of a given H's simulation.
>>>>>
>>>> At each point in any actual execution trace...
>>>> Fantasy traces that cannot possibly occur don't count.
>>>
>>> But what DOES happen when the machine is actual run, do.
>>>
>>
>> On 3/15/2024 3:43 PM, Richard Damon wrote:
>>  > On 3/15/24 1:37 PM, olcott wrote:
>>  >>
>>  >> It is a fact that the behavior of D(D) after it aborts
>>  >> its simulation cannot be used as abort status criteria or
>>  >> no H(D,D) would ever abort its simulation.
>>  >>
>>  >
>>  > Yes, that is a correct computational argument, but doesn't prove the
>>  > criteria used is correct.
>>  >
> 
> Right, DO you not understand what I was saying? Are you THAT Dumb.
> 
> The criteria H uses, can ONLY be based on what it actually know.
> 
As I have been saying for a long time the criteria must be based on what 
H actually sees.

> But to be CORRECT must match with the ACTUAL DETAIL that include what it 
> doesn't know, including the FULL behavior of the machine when run.
> 
(a) 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

*You keep getting this wrong*
*H correctly simulates its input D until*
*requires a partial simulation for all non-terminating inputs*

H cannot correctly report on what it will do before it actually does 
this (as you suggest that it must do) or D(D) runs forever.


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