Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How do computations actually work?
Date: Fri, 30 May 2025 10:58:06 -0500
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <101ckie$hfof$10@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <100lc4o$30pgm$1@dont-email.me> <100ld1u$312c9$1@dont-email.me>
 <100lg4g$31jt3$1@dont-email.me> <100lkdv$32ib3$1@dont-email.me>
 <100lmif$32v06$1@dont-email.me> <100lmp3$32ven$1@dont-email.me>
 <100m319$38k55$2@dont-email.me> <87jz69xlpx.fsf@nosuchdomain.example.com>
 <100mder$39slu$2@dont-email.me> <100oipb$3oge1$1@dont-email.me>
 <100onkd$3t5cb$1@dont-email.me> <100p6vj$3vlgq$1@dont-email.me>
 <100q6b1$5buc$2@dont-email.me> <100rtvq$ji9l$1@dont-email.me>
 <100sod2$p071$6@dont-email.me> <100umo8$1a058$1@dont-email.me>
 <100vaoj$1d5lg$9@dont-email.me> <100ve0m$1e53o$1@dont-email.me>
 <10125hp$22da5$18@dont-email.me> <1013t5k$2hgid$1@dont-email.me>
 <1014mdi$2lsi8$8@dont-email.me> <1016ee6$352ij$1@dont-email.me>
 <10176n6$39etk$1@dont-email.me> <1017n8e$3cgvm$5@dont-email.me>
 <1017pn9$3dn9t$1@dont-email.me> <1019ud1$3trm3$1@dont-email.me>
 <101a2nm$3v0mf$2@dont-email.me> <101bnpn$cmvl$1@dont-email.me>
 <101bsco$de5s$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 30 May 2025 17:58:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="73dc11aa65be162e0b0150944dd1d14a";
	logging-data="573199"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ooig1JHIoglnqDHM9dJ0c"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:jXgZ1B+avjdQs6MjWYc/e8LkRTE=
In-Reply-To: <101bsco$de5s$1@dont-email.me>
Content-Language: en-US
X-Antivirus: Norton (VPS 250530-4, 5/30/2025), Outbound message
X-Antivirus-Status: Clean

On 5/30/2025 4:05 AM, Richard Heathfield wrote:
> On 30/05/2025 08:47, Mikko wrote:
>> On 2025-05-29 16:41:26 +0000, Richard Heathfield said:
>>
>>> On 29/05/2025 16:27, Fred. Zwarts wrote:
>>>> The actual input is halting, the non-halting input is only in your 
>>>> dreams. There is no need to halt artificially a halting program.
>>>
>>> Doesn't that rather depend on how long it will take to halt? After 
>>> all, your user wants a report, and he might not have all day.
>>
>> If the user can't wait until the report is delivered then he
>> must find out what to do without the report.
> 
> That's one option. Or he could use a better termination analyst, one 
> that doesn't suffer from the fatal flaw inherent in simulation.
> 
> Unfortunately, he then runs up against the /other/ fatal flaw, which is 
> that what he wants can't be done.
> 

The fact that DDD correctly emulated by HHH cannot
possibly stop running unless aborted and cannot
possibly reach its own "ret" instruction final halt
state conclusively proves that the input to HHH(DDD)
specifies a non-halting sequence of configurations.


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer