Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
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 15:54:17 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <a6590b9d9450eb645e5b5fa0719a882d99c18feb@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 21:03:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="4130655"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <os3UP.670056$BFJ.223954@fx13.ams4>
Bytes: 2485
Lines: 32

On 5/11/25 11:34 AM, Mr Flibble wrote:
> On Sun, 11 May 2025 16:25:14 +0100, Richard Heathfield wrote:
> 
>> For a question to be semantically incorrect, it takes more than just you
>> and your allies to be unhappy with it.
> 
> For a question to be semantically correct, it takes more than just you and
> your allies to be happy with it.
> 
> Your turn, mate.
> 
> /Flibble

But the question has a clear and precise meaning, and a clear and 
precise correct answer.

Programs have precise behavior, and thus it is semantically correct to 
ask about that behavior.

Of course, to get that answer, you need to define the machine that 
question will be asked about, and for the proof program, that means you 
need to first select which specific decider you want to claim is correct.

Having defined that H, we can build the D by the defined formula, and 
that formula says it will behave differently than what H(<D>) says it 
will do. The answer that H(<D>) gives was fixed by the definition of H 
(as its answer to EVERY possible input was) and thus the error was not 
"caused" by something in <D>, the pathological formula just found one of 
the errors in the processing of its input.

Thus, there is no semantic error.

If you want to disagree, you need to specify where you see the error.