Latest revision of my paper incorporating feedback --- last remaining sticking point

Liste des GroupesRevenir à theory 
Sujet : Latest revision of my paper incorporating feedback --- last remaining sticking point
De : abc (at) *nospam* def.com (olcott)
Groupes : comp.theory
Date : 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_function
A 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

Date Sujet#  Auteur
6 Aug 24 * Latest revision of my paper incorporating feedback --- last remaining sticking point26olcott
6 Aug 24 +* Re: behaviour and description18joes
6 Aug 24 i`* Re: behaviour and description17olcott
7 Aug 24 i `* Re: behaviour and description16Richard Damon
7 Aug 24 i  `* Re: behaviour and description --- Trust Mike?15olcott
7 Aug 24 i   `* Re: behaviour and description --- Lying Peter14Richard Damon
7 Aug 24 i    +* Re: behaviour and description --- Lying Peter2olcott
7 Aug 24 i    i`- Re: behaviour and description --- Lying Peter1Richard Damon
7 Aug 24 i    +* Re: behavior and description --- All Rebuttals have been pure bluster2olcott
7 Aug 24 i    i`- Re: behavior and description --- Peter Olcott's Rebuttals have been pure bluster1Richard Damon
7 Aug 24 i    `* Re: behavior and description --- All rebuttals have been pure bluster V39olcott
7 Aug 24 i     `* Re: behavior and description --- Peter Olcott's rebuttals have been pure bluster V38Richard Damon
7 Aug 24 i      `* Re: behavior and description --- Rebuttals have been pure bluster V37olcott
7 Aug 24 i       `* Re: behavior and description --- Peter Olcott's Rebuttals have been pure bluster V36Richard Damon
7 Aug 24 i        `* Re: behavior and description --- Richard still only has pure bluster5olcott
7 Aug 24 i         +* Re: behavior and description --- Peter still only has pure bluster and lies3Richard Damon
7 Aug 24 i         i`* Re: behavior and description --- All of the code is here it is just hard to find2olcott
8 Aug 24 i         i `- Re: behavior and description --- All of the code is here it is just hard to find (No its not, no HHH given)1Richard Damon
8 Aug 24 i         `- Re: behavior and description --- Richard still only has pure bluster1Mikko
7 Aug 24 +- Re: Latest revision of my paper incorporating feedback --- last remaining sticking point FAILED.1Richard Damon
7 Aug 24 +* Re: Latest revision of my paper incorporating feedback --- last remaining sticking point3Mikko
7 Aug 24 i`* Re: Latest revision of my paper incorporating feedback --- last remaining sticking point2olcott
8 Aug 24 i `- Re: Latest revision of my paper incorporating feedback --- last remaining sticking point1Mikko
7 Aug 24 `* Re: Latest revision of my paper incorporating feedback --- last remaining sticking point3Fred. Zwarts
7 Aug 24  `* Re: Latest revision of my paper incorporating feedback --- last remaining sticking point2olcott
8 Aug 24   `- Re: Latest revision of my paper incorporating feedback --- last remaining sticking point1Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal