Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN
 --- Saving Democracy
Date: Mon, 24 Feb 2025 19:12:14 -0600
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <vpj5dg$1hb0e$1@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vpd97q$3e5k$2@dont-email.me>
 <vpdaj5$3u9g$1@dont-email.me> <vpdatp$3e5k$3@dont-email.me>
 <vpddgj$3u9g$2@dont-email.me> <vpddqm$3e5k$4@dont-email.me>
 <vpdkhv$5kr2$1@dont-email.me> <vpdks8$5ga3$1@dont-email.me>
 <vpdqc8$6bqs$1@dont-email.me> <vpe1g3$7gnd$1@dont-email.me>
 <vpflv1$j7qb$1@dont-email.me> <vpfnhm$jena$1@dont-email.me>
 <vpgded$nkbd$1@dont-email.me> <vpgdn8$nlei$1@dont-email.me>
 <vpgh33$o4p7$1@dont-email.me> <vpghkq$o82o$1@dont-email.me>
 <vpgk2q$okhu$1@dont-email.me> <vpgo94$p8he$1@dont-email.me>
 <vpgoia$p9vl$1@dont-email.me> <vpgrdl$tdkf$1@dont-email.me>
 <vpgtb3$tiun$2@dont-email.me> <vpgth7$tdkf$3@dont-email.me>
 <vpgufr$truc$1@dont-email.me> <vpguru$tdkf$4@dont-email.me>
 <vpgvcv$tuuf$1@dont-email.me> <vphr67$13hrc$1@dont-email.me>
 <vpi0rc$14kaj$1@dont-email.me> <vpi1ni$13hrc$3@dont-email.me>
 <vpio66$1euhp$1@dont-email.me> <vpipdj$1f8pm$1@dont-email.me>
 <vpiujl$1fvqe$2@dont-email.me> <vpj1if$1gok4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 25 Feb 2025 02:12:17 +0100 (CET)
Injection-Info: dont-email.me; posting-host="84b3281cc50da96d4f212543eabff5de";
	logging-data="1616910"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+NNyqAXgVpu8gpAGWSv9CU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:czFhYKTofcEu8sQkaiBddYjY6ck=
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <vpj1if$1gok4$1@dont-email.me>
X-Antivirus: Norton (VPS 250224-8, 2/24/2025), Outbound message
Bytes: 2983

On 2/24/2025 6:06 PM, dbush wrote:
> On 2/24/2025 6:16 PM, olcott wrote:
>> On 2/24/2025 3:47 PM, dbush wrote:
>>> On 2/24/2025 4:26 PM, olcott wrote:


>>
>> HHH that aborts its simulation and a purely
>> hypothetical (imaginary never implemented)
>> HHH that never aborts its simulation.
>>
> 
> 
> Same thing.  F aborts its (admittedly poor) simulation by breaking out 
> of a recursive chain, and a hypothetical F that performs a correct 
> unaborted simulation.

The simple fact that the hypothetical HHH would never
terminate conclusively proves that DD specifies behavior
that cannot possibly terminate normally.

That you may not understand these things well enough
to see this is less than no rebuttal at all.

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