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