Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---

On 3/7/2025 8:44 PM, dbush wrote:

On 3/7/2025 9:42 PM, olcott wrote:

On 3/7/2025 8:23 PM, dbush wrote:

>
We know termination analyzers don't exist because no algorithm exists
that maps the halting function:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed
directly

Yes I did grossly over-estimate you technical knowledge.
Are you a mere troll then?

That you don't understand that termination analyzers and halt deciders
are stipulated to map the halting function is not a rebuttal.

In computer science, termination analysis is program analysis which
attempts attempts attempts attempts attempts to determine whether the
evaluation of a given program halts for each input.
https://en.wikipedia.org/wiki/Termination_analysis
I switched to the term {termination analyzer} because they are not
required to be infallible.
infallible or wrong is a stupid dichotomy.