Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
Date: Wed, 17 Jul 2024 09:43:51 +0300
Organization: -
Lines: 44
Message-ID: <v77p77$1nm3r$1@dont-email.me>
References: <v644pn$29t4h$3@dont-email.me> <v6bmoe$3ri0l$2@dont-email.me> <v6bnt2$3rj8n$3@dont-email.me> <v6brfj$3skuk$2@dont-email.me> <v6c3vh$3ttem$1@dont-email.me> <v6c539$3u2mj$1@dont-email.me> <v6dda0$7s8u$1@dont-email.me> <v6e67v$bbcb$4@dont-email.me> <v6gss2$t87a$1@dont-email.me> <v6gv65$to0m$1@dont-email.me> <v6h2li$ud7p$1@dont-email.me> <v6h2rm$ue7s$1@dont-email.me> <v6h3cu$ud7p$2@dont-email.me> <v6h83q$vag9$1@dont-email.me> <v6ikgb$19f5g$1@dont-email.me> <v6jgjo$1ctoi$4@dont-email.me> <v6lckp$1qi9e$1@dont-email.me> <v6m2qq$1tj30$6@dont-email.me> <60a1c2490e9bd9a5478fd173a20ed64d5eb158f9@i2pn2.org> <v6nvn8$2bn6q$1@dont-email.me> <v6oqti$2fuva$7@dont-email.me> <v6qn6k$2ubkt$1@dont-email.me> <v6r9q1$30qtt$5@dont-email.me> <v6tbge$3gegs$1@dont-email.me> <v6tqlm$3imib$5@dont-email.me> <v6vvid$24jd$1@dont-email.me> <v70mih$61d8$3@dont-email.me> <v72i9m$jne3$1@dont-email.me> <v7367p$mjis$8@dont-email.me> <v755m4$15kf6$1@dont-email.me> <v75vl9$19j7l$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 17 Jul 2024 08:43:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="65978254551784bf68c380dad1a46784";
	logging-data="1824891"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19NPJj76gRHkH5kUViJmCUe"
User-Agent: Unison/2.2
Cancel-Lock: sha1:MNfjIdAkSxZ7EU13n2pMr7L+yP4=
Bytes: 3652

On 2024-07-16 14:21:28 +0000, olcott said:

> On 7/16/2024 1:58 AM, Mikko wrote:
>> On 2024-07-15 12:55:21 +0000, olcott said:
>> 
>>> On 7/15/2024 2:15 AM, Mikko wrote:
>>>> On 2024-07-14 14:15:45 +0000, olcott said:
>>>>> 
>>>>> *You can comprehend this is a truism or fail to*
>>>>> *comprehend it disagreement is necessarily incorrect*
>>>>> Any input that must be aborted to prevent the non
>>>>> termination of HHH necessarily specifies non-halting
>>>>> behavior or it would never need to be aborted.
>>>> 
>>>> No, it is false. What the input specifies is a property of the input alone.
>>>> Whether some HHH is able to process it without looping forever is not a
>>>> property of the input and not relevant to the meaning of the input.
>>> 
>>> In other words you believe that you can correctly
>>> ignore the verified fact that DDD correctly emulated
>>> by HHH does call HHH(DDD) in recursive emulation.
>> 
>> It is not a fact and not verified but otherwise, yes, that is not relevant.
>> 
> 
> When simulated input DDD stops running {if and only if}
> the simulation of this input DDD has been aborted this
> necessitates that input DDD specifies non-halting behavior

DDD does not stop runnig unless it is completely exeuted. Whether a
simulation of DDD is discontinued before its completion depends on
the simulator. It is perfectly possible to simulate the first 25
machine instructions and stop there. If the simulated program does
not terminate before 25 instructions that does not tell whther it
ever terminates.

You can construct a partial halt decider that simulates for example
1 000 000 000 instructions unless the program halts before and then
reports that it failed to determine. That could be useful for many
purposes.

-- 
Mikko