Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

On 28/05/2025 16:17, olcott wrote:

On 5/28/2025 10:02 AM, Richard Heathfield wrote:

On 28/05/2025 15:36, olcott wrote:

On 5/28/2025 2:46 AM, Richard Heathfield wrote:

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

>
It would be wrong if HHH did report on the behavior
of its caller. Functions computed by models of computation
are only allowed to compute the mapping from their inputs.

>
So you're dead in the water.
>

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

>
_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]
>
It is a tautology that every input to a simulating
termination analyzer would never stop running unless
aborted specifies a non-terminating sequence of
configurations.

>
Fails to address my point, which is that you claim that HHH cannot report on DDD and yet must report on DDD.
>

 HHH must report on the actual behavior that its actual
input actually specifies. Framing the problem any other
way is incorrect.

So you're saying that it must report on its input, which means that HHH MUST report on its caller (because its caller /is/ its input). Fine. Why didn't you say that to start with?

When you require sum(3,4) to report on the sum of 5 + 6

I don't. Where you got that from I have no idea.

YOU ARE WRONG. When you require HHH to report on the
behavior of its caller YOU ARE WRONG.

So HHH must NOT report on its caller. Fine. Why didn't you say that to start with?
while(1)
{
   HHH MUST report on its caller.
   HHH must NOT report on its caller.
}
Crystal. Thanks for clearing that up.
--
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