Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Any honest person that knows the x86 language can see... predict
 correctly
Date: Thu, 1 Aug 2024 15:44:02 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <754c182e15a6e06e7133446c48f85c041088f0f4@i2pn2.org>
References: <v887np$gl15$1@dont-email.me> <v8a2j5$u4t6$1@dont-email.me>
	<v8asse$12hr3$2@dont-email.me> <v8aukp$12grj$1@dont-email.me>
	<v8b00m$12ojm$1@dont-email.me> <v8bchs$15ai5$1@dont-email.me>
	<v8bh32$15une$1@dont-email.me>
	<d89f03c5a605f010ec3c83c50137b983dc85848e@i2pn2.org>
	<v8bl2j$16ibk$2@dont-email.me> <tiuiaj5jf0jqcfcfntko5hufisp8mb93bm@4ax.com>
	<v8bu91$18b7k$2@dont-email.me>
	<ddb7a467da20b6a6bd90aee9735a62ae68cac50e.camel@gmail.com>
	<v8f0ni$204k7$1@dont-email.me> <v8fehe$22ege$1@dont-email.me>
	<v8fssh$24rl1$5@dont-email.me> <v8g0l3$24u77$2@dont-email.me>
	<v8g14o$25l0a$9@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 1 Aug 2024 15:44:02 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1112861"; 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: 2899
Lines: 31

Am Thu, 01 Aug 2024 08:04:23 -0500 schrieb olcott:
> On 8/1/2024 7:56 AM, Fred. Zwarts wrote:
>> Op 01.aug.2024 om 13:51 schreef olcott:
>>> On 8/1/2024 2:46 AM, Fred. Zwarts wrote:
>>>> Op 01.aug.2024 om 05:51 schreef olcott:
>>>>> On 7/31/2024 10:08 PM, wij wrote:
>>>>>> On Tue, 2024-07-30 at 18:50 -0500, olcott wrote:
>>>>>>>
>>>>>>> It is not supposed to be a general solution to the halting
>>>>>>> problem.
>>>>>>> it only shows how the "impossible" input is correctly determined
>>>>>>> to be non halting.
>>>>>> But how do you determine it is non-halting?
>>>>>> As I know you are even unable to define what 'halt' mean !!!

>>>>> If DDD correctly emulated by HHH cannot possibly reach its return
>>>>> instruction then it never halts.
>>>>>
>>>> But a correct simulation is impossible.
>>> When HHH does what-ever-the-hell the x86 semantics specifies then HHH
>>> is correct.
>> But since HHH deviates from the semantics of the x86 language (by
>> skipping instructions of a halting  program) it is incorrect.
>> 
> Only a freaking moron would believe that a non terminating input should
> be simulated forever.
I mean, how many iterations of an infinite loop can I skip simulating or
how many do I have to simulate to get identical behaviour?

-- 
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.