Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Flibble=E2=80=99s_Leap=3A_Why_Behavioral_Divergence?=
 =?UTF-8?Q?_Implies_a_Type_Distinction_in_the_Halting_Problem?=
Date: Sun, 11 May 2025 17:13:13 +0100
Organization: Fix this later
Lines: 22
Message-ID: <vvqiap$g8ck$3@dont-email.me>
References: <vv1UP.77894$JJT6.54808@fx16.ams4> <vvqd4u$g8a1$1@dont-email.me>
 <7N2UP.527443$wBt6.464256@fx15.ams4> <vvqfgq$gmmk$1@dont-email.me>
 <os3UP.670056$BFJ.223954@fx13.ams4> <vvqgpt$gmmk$4@dont-email.me>
 <aG3UP.366972$wBVe.321504@fx06.ams4> <vvqhaj$gldn$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 18:13:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="532884"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+hvenFYcaYbygkiC4lzUFpxuKB9zqTX6JisWedaoJyMg=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pQJ0/57vvqI5i5dIhR//AG0CoE8=
Content-Language: en-GB
In-Reply-To: <vvqhaj$gldn$6@dont-email.me>
Bytes: 1978

On 11/05/2025 16:56, olcott wrote:
> The directly executed DD() simply halts because
> HHH has stopped the infinite recursion that it
> specifies on its second recursive call.

DD "simply halts".

> DD emulated by HHH according to the rules of the
> x86 language cannot possibly halt. Because all deciders
> are required to report on what their finite string input
> specifies HHH must reject DD as non-halting.

DD "cannot possibly halt".

Undecidability, thy name is DD.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within