Sujet : Latest revision of my paper incorporating feedback --- last remaining sticking point
De : abc (at) *nospam* def.com (olcott)
Groupes : comp.theoryDate : 06. Aug 2024, 15:43:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8tcqm$1l0av$1@dont-email.me>
User-Agent : Mozilla Thunderbird
void DDD()
{
HHH(DDD);
return;
}
int main()
{
HHH(DDD);
}
Understanding that DDD correctly simulated by HHH cannot
possibly reach its own "return" instruction is a mandatory
prerequisite to further discussion.
I can't imagine that anyone having sufficient understanding
of C would not agree that DDD correctly simulated by HHH
cannot possibly reach its own "return" instruction. Several
C experts already agreed to this two of them having masters
in computer science: MSCS.
People are either disagreeing for trollish pleasure or have
woefully insufficient expertise in the C programming language.
*Either one of these is a deal killer*
Once they understand this we need to add one more point
that the "return" instruction of DDD is its halt state.
=== *Here is the last actual sticking point*
Computable functions are the formalized analogue of the intuitive
notion of algorithms, in the sense that a function is computable
if there exists an algorithm that can do the job of the function, i.e.
given an input of the function domain it can return the corresponding
output.
https://en.wikipedia.org/wiki/Computable_functionA halt decider computes the mapping from an input finite string
to the behavior that this finite string specifies. No halt decider
ever reports on the actual behavior of the computation that itself
is contained within. This has been a very persistent false assumption.
For the three years that my work has been extensively reviewed
this has been the most difficult point for people to understand.
Everyone remains convinced that HHH must report on the behavior
of the computation that itself is contained within and not the
behavior that its finite string input specifies.
Simulating Termination Analyzer H is Not Fooled by Pathological Input D
https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D --
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer