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 --self-evident truth--
Date: Sat, 16 Mar 2024 19:50:07 -0500
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <ut5env$35hhq$2@dont-email.me>
References: <ut1sgk$2buev$2@dont-email.me> <ut20uf$1vtvi$1@i2pn2.org>
 <ut21t3$2d19j$1@dont-email.me> <ut24j0$2dnbk$2@dont-email.me>
 <ut24kj$2djbv$5@dont-email.me> <ut2675$1vtvj$9@i2pn2.org>
 <ut26mi$2e06s$5@dont-email.me> <ut27l8$1vtvj$17@i2pn2.org>
 <ut283n$2e06s$9@dont-email.me> <ut2ava$1vtvi$14@i2pn2.org>
 <ut2dml$2ffu8$3@dont-email.me> <ut2h1a$1vtvj$24@i2pn2.org>
 <ut2iqa$2gkoj$1@dont-email.me> <ut2ler$1vtvj$28@i2pn2.org>
 <ut32q0$2n0uu$2@dont-email.me> <ut33k7$218kg$2@i2pn2.org>
 <ut34k2$2n0uu$6@dont-email.me> <ut377b$218kh$3@i2pn2.org>
 <ut4dt4$2v4ce$1@dont-email.me> <ut5d34$23hsb$8@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 17 Mar 2024 00:50:07 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="e88715fb4901ad15131714ef179e795e";
	logging-data="3327546"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+37GJ6gHL/c/Ljg4pjgEiF"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mJ/pZYJ04BDuk4CtHQEEskuPFuI=
In-Reply-To: <ut5d34$23hsb$8@i2pn2.org>
Content-Language: en-US
Bytes: 3230

On 3/16/2024 7:21 PM, Richard Damon wrote:
> On 3/16/24 8:29 AM, olcott wrote:
>> On 3/15/2024 11:29 PM, Richard Damon wrote:
>>> On 3/15/24 8:45 PM, olcott wrote:
>>>> H(D,D) fails to make the required mistake of reporting on what it 
>>>> does not see.
>>>
>>> But it DOES make a mistake, because it does answer the question 
>>> correctly.
>>>
>>> You are just PROVING you think lying is ok.
>>>
>>> You TOTALLY don't understand the meaning of truth.
>>>
>>> You are REALLY just a Pathological Liar, as you have no concept of 
>>> real truth,
>>>
>>
>> The original halt status criteria has the impossible requirement
>> that H(D,D) must report on behavior that it does not actually see.
>> Requiring H to be clairvoyant is an unreasonable requirement.
>> *The criteria shown below eliminate the requirement of clairvoyance*
>>
>> (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
>>
>> *H correctly simulates its input D until*
>> Means H does a correct partial simulation of D until H correctly
>> matches the recursive simulation non-halting behavior pattern.
>>
>>
> 
> But turning out to be impposible, doesn't make it incorrect or invalid.

*You seems to be ridiculously disingenuous about the self-evident truth*
For every possible way that H can be encoded and D(D) calls H(D,D) 
either H(D,D) aborts its simulation or D(D) never stops running.


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