Deutsch   English   Français   Italiano  
<vvqgpt$gmmk$4@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

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 16:47:09 +0100
Organization: Fix this later
Lines: 29
Message-ID: <vvqgpt$gmmk$4@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 17:47:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="547540"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/PpUP1uuzCtBKfgBJsa1C9RP0FFCxNfbSrYAM9ijtBtQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:MDtjWa+OYkBzpJAwp8cEh939NFA=
In-Reply-To: <os3UP.670056$BFJ.223954@fx13.ams4>
Content-Language: en-GB
Bytes: 2380

On 11/05/2025 16:34, 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.

Indeed. It has to have meaning. It does. That meaning has to be 
understood by sufficiently intelligent people. It is.

You don't like the question. I get that. I don't know /why/ you 
don't like it, because all your explanations to date have been 
complete expletive deleted. For a Usenet article to be 
semantically correct, it helps if your readers can understand 
what the <exp. del.> you're talking about.

What I get from your stand is that you agree with olcott that a 
'pathological' input halts... no, never halts... well, you can't 
decide between you, but you're agreed that it's definitely 
decidable, right?

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