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 18:31:46 +0100
Organization: Fix this later
Lines: 49
Message-ID: <vvqmu2$g8ck$6@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>
 <bV3UP.101097$0ia.1168@fx11.ams4> <vvqkff$gldn$13@dont-email.me>
 <WH4UP.229898$_Npd.172992@fx01.ams4> <vvqm03$i3hn$1@dont-email.me>
 <g55UP.688178$4AM6.545580@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 19:31:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="532884"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19UbDbJ8eFJ3hIUE+lmTSgY2W1K/eaMg9vRON/O4LvnSw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:FykwOFqx1pm5n+olf5bX1gQYNrI=
Content-Language: en-GB
In-Reply-To: <g55UP.688178$4AM6.545580@fx17.ams4>
Bytes: 2738

On 11/05/2025 18:26, Mr Flibble wrote:
> On Sun, 11 May 2025 18:15:47 +0100, Richard Heathfield wrote:
> 
>> On 11/05/2025 17:59, Mr Flibble wrote:
>>> it is impossible to obtain a halting result
>>
>>
>> That sure looks like a concession that it's impossible to devise an
>> algorithm that will produce a halting result.
>>
>> Well done. We got you there in the end.
> 
> No.

Well, yyeess, actually.

> The reason why it is impossible

Hold that thought. Never mind the reason for now. We can come to 
that another time.

"...it is impossible..."

Precisely.

QED^3.


> to obtain a halting result for
> pathological input is not the reason proposed by Turing (i.e. self-
> referential diagonalization),

blah blah blah yeah yeah

> it is impossible to obtain a halting result

So it's undecidable, then? Yeah, I spotted that too.

> for pathological input because the self-referential conflation of decider
> and input is a category error that prevents us from performing
> diagonalization.
more blah blah blah yeah yeah

-- 
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