Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
Date: Mon, 15 Jul 2024 13:59:12 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <9c04727b16adcbc4a480b6fa3ad84696e0f332a5@i2pn2.org>
References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$1@dont-email.me>
	<v70nt7$61d8$6@dont-email.me> <v72m95$kbi2$1@dont-email.me>
	<v7381u$mjis$13@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 15 Jul 2024 13:59:12 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3370232"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2316
Lines: 31

Am Mon, 15 Jul 2024 08:26:22 -0500 schrieb olcott:
> On 7/15/2024 3:23 AM, Mikko wrote:
>> On 2024-07-14 14:38:31 +0000, olcott said:
>>> On 7/14/2024 3:09 AM, Mikko wrote:
>>>> On 2024-07-13 20:15:56 +0000, olcott said:

>>>>> int main()
>>>>> {
>>>>>    HHH(Infinite_Loop); HHH(Infinite_Recursion);
>>>>>    HHH(DDD);
>>>>> }
>>>>> 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.
>>>> Everyone understands that DDD specifies a halting behaviour if
>>>> HHH(DDD) does,
>>> *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.
>> 
>> That the input is aborted does not mean that the input must be aborted.
> Weasel words. This is an axiom:
> Input XXX must be aborted to prevent the non-termination of HHH.
Only if it does not terminate by itself.

>> And if the input specifies that its input is aborted then the behaviour
>> is not non-terminating.

-- 
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.