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: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Sun, 11 May 2025 13:12:14 +0100
Organization: Fix this later
Lines: 48
Message-ID: <vvq46u$640a$1@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me> <vvjcge$27753$2@dont-email.me>
 <vvjeqf$28555$1@dont-email.me> <vvjffg$28g5i$1@dont-email.me>
 <875xiaejzg.fsf@nosuchdomain.example.com> <vvjgt1$28g5i$5@dont-email.me>
 <87jz6qczja.fsf@nosuchdomain.example.com> <vvjotc$28g5i$12@dont-email.me>
 <vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org>
 <vvno4e$3in62$2@dont-email.me> <vvo71c$rlt$1@news.muc.de>
 <PlNTP.270466$lZjd.128570@fx05.ams4> <vvobmm$15td$1@news.muc.de>
 <1vOTP.290843$6Qab.147432@fx07.ams4> <vvpufa$12tn$1@news.muc.de>
 <U70UP.229895$_Npd.117771@fx01.ams4> <vvq3b1$6409$1@dont-email.me>
 <Ir0UP.521215$wBt6.53485@fx15.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 14:12:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="200714"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+mOJk2gCnPcCCnxJlpVtL9I9LRM4cqpskMXogS7Uhj4A=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:JUVyPTYG9YHPKg6WbPEvBI5Y/vI=
In-Reply-To: <Ir0UP.521215$wBt6.53485@fx15.ams4>
Content-Language: en-GB
Bytes: 3138

On 11/05/2025 13:09, Mr Flibble wrote:
> On Sun, 11 May 2025 12:57:21 +0100, Richard Heathfield wrote:
> 
>> On 11/05/2025 12:48, Mr Flibble wrote:
>>> On Sun, 11 May 2025 10:34:18 +0000, Alan Mackenzie wrote:
>>>
>>>> Mr Flibble <flibble@red-dwarf.jmc.corp> wrote:
>>
>> <snip>
>>
>>>>> Nope, I have formally defined the error that doesn't contradict
>>>>> Peter's work.
>>>>
>>>> You don't even understand what "formally" means.
>>>
>>> Sure I do. I can formally define it again for you if you like? Here is
>>> the formal definition:
>>>
>>> What constitutes halting problem pathological input:
>>>
>>> Input that would cause infinite recursion when using a decider of the
>>> simulating kind.
>>
>> When executed directly, such an input would either halt or not,
>> category error or no.
>>
>> Which is it?
> 
> Peter's view:
> * direct execution results in infinite recursion which is treated as non-
> halting.
> 
> Flibble's view:
> * direct execution results in manifestation of the category error: which
> in practice means a crash in the form of a stack fault (debatable halting
> equivalance) for a decider with finite resources (stack space) or non-
> halting for a decider with infinitie resources (stack space).

So what you're saying is that the pair of you can't decide.

QED.

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