Path: 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 16:49:50 +0100
Organization: Fix this later
Lines: 53
Message-ID: <vvqguu$gmmk$5@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> <vvqgk4$gldn$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 17:49:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="547540"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Opsw28dlzAYYYT4TOWuwVdJusZSUg5DavBlu4Jg/Fdg=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WBcfx9Yziah/dnoCvboC2+xn+PU=
Content-Language: en-GB
In-Reply-To: <vvqgk4$gldn$4@dont-email.me>

On 11/05/2025 16:44, olcott wrote:
> On 5/11/2025 7:09 AM, 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.
>>
> Not exactly, it is not direct execution.

So what is its halt state when directly executed?

If it's non-halting, why quibble with Flibble?

But if it's halting, your simulation is wrong, right?

Oh, decisions, decisions.

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