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.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer