Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT

Liste des GroupesRevenir à a philosophy 
Sujet : Re: HHH(DD) does correctly reject its input as non-halting --- VERIFIED FACT
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 13. Jun 2025, 18:33:17
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <1df446ac32de19e5830003cbd738cd997e0342b6@i2pn2.org>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 6/13/25 1:26 PM, olcott wrote:
On 6/13/2025 12:19 PM, Richard Damon wrote:
On 6/13/25 10:37 AM, olcott wrote:
On 6/13/2025 4:26 AM, Fred. Zwarts wrote:
Op 12.jun.2025 om 17:30 schreef olcott:
>
Even after many corrections, Olcott repeated his claims without learning anything from his previous errors.
Lack of knowledge does not make someone look stupid, but the resistance against learning does.
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
It is a verified fact that DD() *is* one of the forms
of the counter-example input as such an input would
be encoded in C. Christopher Strachey wrote his in CPL.
>
// rec routine P
//   §L :if T[P] go to L
//     Return §
// https://academic.oup.com/comjnl/article/7/4/313/354243
void Strachey_P()
{
   L: if (HHH(Strachey_P)) goto L;
   return;
}
>
https://academic.oup.com/comjnl/article-abstract/7/4/313/354243? redirectedFrom=fulltext
>
It *is* a verified fact DD correctly simulated by HHH
cannot possibly reach its own "return" statement
final halt state.
>
Showing the failure of HHH to reach the end of the simulation.
>
The code of the input to HHH(DD) specifies
HHH simulates DD that calls HHH(DD)
HHH simulates DD that calls HHH(DD)
HHH simulates DD that calls HHH(DD)...
>
>
Then you are lying that HHH will abort and return 0.
>
That is your problem, you world is based on being able to just lie about what you want.
>
>
That you can't understand this is merely a lack
of sufficient tecnh9cal competence on your part.
>
>
No, it is merely a lack of honesty on your part.
>
That you continue to fail to show all of the details
of exactly how DD does reach its simulated "return"
statement final halt state proves that you know you
are not competent.
>
>
>
But DD DOES reach its final state when HHH(DD) returns 0,
You damned liar you changed my words and then rebutted
the changed words.
What words did I change?
The SIMULATED DD, (when correctly simulated, which can't be by an HHH that aborts) will reach its final state.
YOU are the one that doesn't know what you are talking about, becuae yoyu are trying to use improper defintions.
You seem to think that there is only one simulator in the words, which is just a falsehood. The DD reaches its simulated return when simulated by an actual correct simulator.
Your logic says a one mile road, that you get off after 50 feet can be correctly called infinitely long, as you did not reach the end of it.
And then you act like a two-year old:
(Sorry to any two-year olds that I malign with that comparison).

 DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
DD does not reach its simulated "return" statement
 

Date Sujet#  Auteur
15 Jun 25 o  …

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal