Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF

Liste des GroupesRevenir à theory 
Sujet : Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 26. Feb 2025, 05:21:36
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <b08cb1919074c226cfa4b1fa9a12a51a8ca619b5@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Mozilla Thunderbird
On 2/25/25 9:05 PM, olcott wrote:
On 2/25/2025 5:41 PM, Richard Damon wrote:
On 2/25/25 1:01 PM, olcott wrote:
On 2/25/2025 10:13 AM, Mikko wrote:
Althogh the subject line has the words "COMPLETE PROOF" there is no
proof or pointer to proof below.
>
>
>
typedef void (*ptr)();
int HHH(ptr P);
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
int main()
{
   HHH(DD);
}
>
The above does specify that DD simulated by HHH
cannot possibly terminate normally by reaching its
own "return" instruction.
>
That this may be beyond your technical skill level.
is less than no rebuttal at all.
>
Ignoring the code in main() seemed dishonest.
>
>
Since it isn't part of the problem, why is that?
>
 Requiring main() makes it dead obvious when anyone
is trying to get away with the strawman deception.
You keep trying to get away with changing the subject
away from DD emulated by HHH.
 
SL, you admit that everything you have said is a lie.
Where is "main" mentioned in the "Halting Problem"
Nowhere, so your requirement for main is just your strawman,
What about the program:
int main() {
    HHH(DD);
    DD();
}
That program proves that DD as a program will return.
If you say that changes the behavior of DD, then you need to show where you are getting your definitions, as that is just a lie.
Sorry to be so blunt, but you are just proving how stupid you are, and how everything you have done is just a FRAUD.

Date Sujet#  Auteur
8 Feb 25 * Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH485olcott
8 Feb 25 +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25 +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25 +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH44Fred. Zwarts
8 Feb 25 i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH43olcott
8 Feb 25 i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH34Fred. Zwarts
9 Feb 25 i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH33olcott
9 Feb 25 i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH29Fred. Zwarts
9 Feb 25 i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH28olcott
9 Feb 25 i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH26Fred. Zwarts
9 Feb 25 i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH25olcott
9 Feb 25 i i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH23Fred. Zwarts
9 Feb 25 i i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH22olcott
9 Feb 25 i i i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25 i i i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH11Fred. Zwarts
9 Feb 25 i i i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH10olcott
9 Feb 25 i i i i i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH5Fred. Zwarts
9 Feb 25 i i i i i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4olcott
9 Feb 25 i i i i i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Fred. Zwarts
10 Feb 25 i i i i i i i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i i i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4joes
9 Feb 25 i i i i i i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3olcott
10 Feb 25 i i i i i i   +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i i   `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH9joes
9 Feb 25 i i i i i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH8olcott
10 Feb 25 i i i i i   +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3Richard Damon
10 Feb 25 i i i i i   i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH2olcott
10 Feb 25 i i i i i   i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i   `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4joes
10 Feb 25 i i i i i    `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3olcott
10 Feb 25 i i i i i     +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i i i i i     `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1joes
9 Feb 25 i i i `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25 i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3Richard Damon
9 Feb 25 i i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH2olcott
9 Feb 25 i i   `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25 i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25 i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH7Mikko
9 Feb 25 i  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH6olcott
9 Feb 25 i   +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25 i   `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Mikko
10 Feb 25 i    `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH3olcott
10 Feb 25 i     +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25 i     `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Mikko
8 Feb 25 `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH438Mikko
8 Feb 25  `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH437olcott
8 Feb 25   +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25   `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH435Mikko
9 Feb 25    `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH434olcott
9 Feb 25     +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH2joes
9 Feb 25     i`- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1olcott
9 Feb 25     +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25     `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH430Mikko
10 Feb 25      `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH429olcott
10 Feb 25       +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25       `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH427Mikko
11 Feb 25        `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH426olcott
12 Feb 25         +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
12 Feb 25         `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH424Mikko
13 Feb 25          `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH423olcott
13 Feb 25           +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH421Mikko
14 Feb 25           i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH420olcott
14 Feb 25           i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH137Richard Damon
14 Feb 25           i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH136olcott
14 Feb 25           i i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH131joes
15 Feb 25           i i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH130olcott
15 Feb 25           i i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25           i i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH128joes
16 Feb 25           i i i  `* DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN127olcott
16 Feb 25           i i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25           i i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25           i i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN124joes
16 Feb 25           i i i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3olcott
16 Feb 25           i i i    i+- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25           i i i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
20 Feb 25           i i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN120olcott
20 Feb 25           i i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN31Mikko
20 Feb 25           i i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN30olcott
21 Feb 25           i i i     i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
21 Feb 25           i i i     i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN28Mikko
21 Feb 25           i i i     i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN27olcott
22 Feb 25           i i i     i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
22 Feb 25           i i i     i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN25Mikko
22 Feb 25           i i i     i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN24olcott
22 Feb 25           i i i     i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
22 Feb 25           i i i     i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
23 Feb 25           i i i     i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25           i i i     i     +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25           i i i     i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN19Mikko
23 Feb 25           i i i     i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN18olcott
24 Feb 25           i i i     i       +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
24 Feb 25           i i i     i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN16Mikko
25 Feb 25           i i i     i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN15olcott
25 Feb 25           i i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
25 Feb 25           i i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1dbush
25 Feb 25           i i i     i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
25 Feb 25           i i i     i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
25 Feb 25           i i i     i         i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1joes
25 Feb 25           i i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
25 Feb 25           i i i     i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN8Mikko
20 Feb 25           i i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN87joes
20 Feb 25           i i i     `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
14 Feb 25           i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Richard Damon
14 Feb 25           i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH282Mikko
13 Feb 25           `- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal