Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: DD correctly simulated by HH cannot possible halt --- Try to
 prove otherwise --- x86 DD
Date: Mon, 3 Jun 2024 02:14:28 +0200
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <v3j1t4$3gm10$1@dont-email.me>
References: <v3501h$lpnh$1@dont-email.me> <v3fi55$2n53o$6@i2pn2.org>
 <v3fiq7$2rsbs$5@dont-email.me> <v3flc5$2n53o$7@i2pn2.org>
 <v3flm8$2sm3s$1@dont-email.me> <v3fm1e$2n53n$8@i2pn2.org>
 <v3fmlc$2sogn$1@dont-email.me> <v3fncn$2n53n$9@i2pn2.org>
 <v3fo1p$2t1ac$2@dont-email.me> <v3fqpt$2tjjm$1@dont-email.me>
 <v3fu48$2ulbk$1@dont-email.me> <v3g0b9$2n53n$17@i2pn2.org>
 <v3g0q4$2v3lp$3@dont-email.me> <v3g2t2$2n53n$20@i2pn2.org>
 <v3g3ja$2vho5$1@dont-email.me> <v3g7eb$2n53n$23@i2pn2.org>
 <v3g80k$30c96$2@dont-email.me> <v3g99u$2n53n$24@i2pn2.org>
 <v3g9tc$30pbl$1@dont-email.me> <v3gaot$2n53n$26@i2pn2.org>
 <v3gp5p$36pdg$1@dont-email.me> <v3hmbv$2q5op$1@i2pn2.org>
 <v3hv26$3bkv5$10@dont-email.me> <v3i9o8$2qu72$1@i2pn2.org>
 <v3ibt9$3f571$1@dont-email.me> <v3icnq$2qu71$1@i2pn2.org>
 <v3idlk$3f571$2@dont-email.me> <v3ifpp$2qu72$11@i2pn2.org>
 <v3ig8p$3f571$14@dont-email.me> <WD37O.6414$Cs55.45@fx33.iad>
 <v3ihgp$3g2kl$1@dont-email.me> <v3ijkv$2qu72$14@i2pn2.org>
 <v3ik8r$3gjvi$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 03 Jun 2024 02:14:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4e7ef2b6baae6c21ed663e01430c48e2";
	logging-data="3692576"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/S4csuZlg1twW5orT0Rafu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:bGxOf9ESxp8qliI1MQx6mLHrM9o=
In-Reply-To: <v3ik8r$3gjvi$1@dont-email.me>
Content-Language: en-US
Bytes: 2432

On 2/06/24 22:21, olcott wrote:
> Just like every rock that weighs more than five pounds weighs
> more that three pounds
> 
> When every DD correctly simulated by every HH that can possibly
> exist DOESN'T HALT THEN NONE OF THEM HALT.
> 

Just like every rock that weighs more than five pounds weighs more than 
three pounds.

Every non-ending simulation is a simulation of a non-ending execution.