Sujet : Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 26. May 2025, 17:24:03
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10124j3$22da5$16@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
User-Agent : Mozilla Thunderbird
On 5/26/2025 11:10 AM, Richard Heathfield wrote:
On 26/05/2025 16:42, olcott wrote:
no
C function can see its own caller.
So because DDD calls HHH, HHH can't analyse the halting behaviour of DDD.
Got it.
I didn't say that.
Functions computed by models of computation are only
allowed to compute the mapping FROM THEIR INPUTS.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer