Deutsch   English   Français   Italiano  
<319da7fd6f33fad27086ac54185480526473031e@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

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: DDD correctly emulated by HHH cannot possibly halt
Date: Fri, 12 Jul 2024 13:41:34 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <319da7fd6f33fad27086ac54185480526473031e@i2pn2.org>
References: <v6e7va$c4sv$1@dont-email.me> <v6jkib$1e3jq$1@dont-email.me>
	<v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me>
	<v6jqfg$1eul0$2@dont-email.me> <v6k6md$1h3a7$1@dont-email.me>
	<v6k9ef$1hicb$1@dont-email.me>
	<04b97cd4a405abead92368522fcf77070bb4fa55@i2pn2.org>
	<v6l24d$1oqjv$1@dont-email.me>
	<a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org>
	<v6m331$1tj30$7@dont-email.me>
	<6d43f24547a3b170ce6f7a99e30ec60dec589f79@i2pn2.org>
	<v6n8ob$24dmg$3@dont-email.me>
	<7f9b731b2367a2bcf2883278ee5265d30a8f82d6@i2pn2.org>
	<v6nau1$24jgn$2@dont-email.me>
	<744d42e4d9d67b49cb1844a2651cb0c350760f0c@i2pn2.org>
	<v6nc22$2501i$1@dont-email.me>
	<c784fa694b9d68f5ace1d07c9870050681268fdc@i2pn2.org>
	<v6ori5$2fuva$10@dont-email.me>
	<56314b3bac257d0fc228c26f3c8c5eec40a87215@i2pn2.org>
	<v6q4cj$2r7qt$1@dont-email.me>
	<1fbe0efc5b030be11df07a930754d90ce56525be@i2pn2.org>
	<v6q7vo$2rvqi$1@dont-email.me>
	<03ba90ee0fbe42d2596ab18d6a5ca17ecdf1e921@i2pn2.org>
	<v6r7i8$30qtt$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 12 Jul 2024 13:41:34 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3030228"; 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: 3807
Lines: 41

Am Fri, 12 Jul 2024 07:28:56 -0500 schrieb olcott:
> On 7/12/2024 6:15 AM, Richard Damon wrote:
>> On 7/11/24 11:30 PM, olcott wrote:
>>> On 7/11/2024 10:18 PM, Richard Damon wrote:
>>>> On 7/11/24 10:28 PM, olcott wrote:
> 
> We stipulate that the only measure of a correct emulation is the
> semantics of the x86 programming language. By this measure when 1 to ∞
> steps of DDD are correctly emulated by each pure function x86 emulator
> HHH (of the infinite set of every HHH that can possibly exist) then DDD
> cannot possibly reach its own machine address of 00002174 and halt.
We are only interested in a simulator that simulates ALL steps.

>>>>> When 1,2,3... ∞ steps of DDD are correctly emulated by HHH it is a
>>>>> lie to say that this many instructions were not correctly emulated
>>>>> and you know it.
>>>> But only N instructions "correctly emulated" is NOT a CORRECT
>>>> emulaition of the instructions of DDD/HHH
>>> I didn't limit it to N. I say 1 to infinity steps!
That IS a limit.
>> So, I guess NONE of them ever stop before reaching the end, if none of
>> them stop before that.
> 1,2,3... ∞ steps of DDD are correctly emulated is every HHH/DDD pair
> that can possibly exist when HHH is a pure function x86 emulator.
Only the unlimited case matters.

> No more dishonest shell game ruse
I still haven't understood what you think we are switching between.
> That wastes weeks and weeks talking in circles.
It's rather your very low signal to noise ratio.

> For each element of this infinite set of HHH/DDD pairs DDD never halts.
> For every finite N number of emulated steps HHH halts.
How can a simulation of a nonterminating program halt?

> This means that every HHH of this set that aborts its emulation of DDD
> is correct to reject its DDD as non halting.
A simulator cannot abort.

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