Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Everyone on this forum besides Keith has been a damned liar about
 this point
Date: Wed, 11 Jun 2025 15:04:44 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <51f89756afe55be803998d173bbdedd7f1f3c3cd@i2pn2.org>
References: <1025i6j$afk6$1@dont-email.me>
	<b6221b91da87b035b8621079cee4cf6a4dc4abe6@i2pn2.org>
	<1026s46$j3rp$4@dont-email.me> <10296qc$17rpl$1@dont-email.me>
	<1029le9$1ah2f$7@dont-email.me> <102bep1$1sc5m$1@dont-email.me>
	<102c2qk$20jl4$6@dont-email.me>
	<cda8cdbea5e056c8ea6fee4a6934572685512d19@i2pn2.org>
	<102c5l3$21qj7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 11 Jun 2025 15:04:44 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="45607"; 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

Am Wed, 11 Jun 2025 09:59:46 -0500 schrieb olcott:
> On 6/11/2025 9:42 AM, joes wrote:
>> Am Wed, 11 Jun 2025 09:11:32 -0500 schrieb olcott:
>>> On 6/11/2025 3:29 AM, Mikko wrote:
>>>> On 2025-06-10 16:10:49 +0000, olcott said:
>>>>> On 6/10/2025 7:01 AM, Mikko wrote:
>>>>>> On 2025-06-09 14:46:30 +0000, olcott said:

>>>>>>> I am no so stupid that I require a complete simulation of a
>>>>>>> non-terminating input.
>>>>>>
>>>>>> Yes you are. You just express your stupidity in another way.
>>>>>>
>>>>> It only takes two simulations of DDD by HHH for HHH to correctly
>>>>> recognize a non-halting behavior pattern.
>>>>
>>>> Either the pattern or the recognition is incorrect.
>>>
>>> DDD correctly simulated by HHH cannot possibly reach its own "return"
>>> statement final halt state. This by itself *is* complete proof that
>>> the input to HHH(DDD) specifies non-halting behavior.
>> 
>> It is also proof that HHH doesn't terminate.
>> 
> The fact that HHH reaches its own "return" statement final halt state
> proves that you are incorrect.
Not when simulated.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.