Path: 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_Analysis_of_Flibble=E2=80=99s_Latest=3A_Detecting_v?=
 =?UTF-8?Q?s=2E_Simulating_Infinite_Recursion_ZFC?=
Date: Wed, 28 May 2025 10:44:27 +0100
Organization: Fix this later
Lines: 54
Message-ID: <1016ltr$36b92$1@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <875xhrtbpr.fsf@nosuchdomain.example.com> <100r2mb$b2b1$1@dont-email.me>
 <100r4oq$b650$1@dont-email.me> <100r5bf$b5vm$4@dont-email.me>
 <100r5hn$b650$2@dont-email.me> <100r648$bhcu$1@dont-email.me>
 <100r68v$b650$3@dont-email.me> <100sn6a$p071$1@dont-email.me>
 <100snl3$nvac$1@dont-email.me> <100sr6o$ppn2$3@dont-email.me>
 <100uqro$1an9v$1@dont-email.me> <100vehv$1en90$1@dont-email.me>
 <100vl4m$1g3rf$1@dont-email.me> <101224h$22da5$6@dont-email.me>
 <10123oq$2320h$1@dont-email.me> <10124j3$22da5$16@dont-email.me>
 <101285u$23u6u$1@dont-email.me> <10128df$23fpg$1@dont-email.me>
 <1012eie$25djd$1@dont-email.me> <1012epa$25ej1$1@dont-email.me>
 <1012fp8$24dfe$10@dont-email.me> <1012iu7$265fe$2@dont-email.me>
 <1013u9p$2h8vk$1@dont-email.me> <10140br$2hkq1$1@dont-email.me>
 <10144s4$2iqqa$1@dont-email.me> <1014dm7$2kke0$1@dont-email.me>
 <1015al0$2qlhp$1@dont-email.me> <1016f12$343p9$7@dont-email.me>
 <1016fu0$35b2t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 28 May 2025 11:44:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e490a6530a5a0097a1e260eab0ada853";
	logging-data="3353890"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18+lFZp34drTYPCOBzVh0hplsmtnjk56ddoscUQUB4/Tw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:3d6SvM3paYY8D7krsH1Oux7DxmU=
Content-Language: en-GB
In-Reply-To: <1016fu0$35b2t$1@dont-email.me>

On 28/05/2025 09:02, Mikko wrote:
> On 2025-05-28 07:46:42 +0000, Richard Heathfield said:
> 
>> On 27/05/2025 22:25, olcott wrote:
>>> On 5/27/2025 8:11 AM, Richard Heathfield wrote:
>>>> On 27/05/2025 11:41, Fred. Zwarts wrote:
>>>>
>>>> <snip>
>>>>
>>>>> Of course HHH can be called by any other function even by DDD.
>>>>
>>>> And is. DDD's source shows this.
>>>>
>>>>> But that is completely irrelevant
>>>>
>>>> Not in my view.
>>>>
>>>> I accept that that's your view and I won't dispute it because 
>>>> I understand your reasoning, but you and I are talking about 
>>>> different things. My underlying point is quite simply that 
>>>> Olcott made an incorrect and indeed contradictory claim about 
>>>> what HHH can and cannot report on. At the very, *very* least 
>>>> he made an insufficiently qualified claim.
>>>>
>>>
>>> int sum(int x, int y) { return x + y; }
>>> HHH must report on the behavior that its input actually
>>> specifies the same way that sum(3,4) must report on the
>>> sum of 3 + 4.
>>
>> DDD calls HHH, and you have said: "No HHH can report on the 
>> behavior of its caller" - so HHH cannot report on DDD.
>>
>> HHH's input is DDD, and you have said: "HHH must report on the 
>> behavior that its input actually specifies" - so HHH must 
>> report on DDD.
>>
>> Cannot/must.
>>
>> Must/cannot.
>>
>> Surely you don't really expect us to take you seriously?
> 
> Why not? The point of the halting theorem is that a halting decider
> cannot do what it must do. HHH is an example of that.

It is, but I'm not sure that Mr O will see it that way.

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