Deutsch   English   Français   Italiano  
<1015al0$2qlhp$1@dont-email.me>

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

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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: Tue, 27 May 2025 16:25:52 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <1015al0$2qlhp$1@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <100mder$39slu$2@dont-email.me> <100oipb$3oge1$1@dont-email.me>
 <87a573xz0s.fsf@bsb.me.uk> <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 27 May 2025 23:25:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b05b1d7fc1f90d5563d667325c66ff38";
	logging-data="2971193"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/AG4yeImjLL4H3EjtRjExf"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:GhpRQ/7lwhhWsajBFm2v8W6+pwI=
X-Antivirus: Norton (VPS 250527-16, 5/27/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <1014dm7$2kke0$1@dont-email.me>

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.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer