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

Liste des GroupesRevenir à c theory 
Sujet : Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 25. Feb 2025, 19:07:08
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a7933046f50046a343ddf27baea995bafb80da4a@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Tue, 25 Feb 2025 12:01:12 -0600 schrieb olcott:
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.
This depends entirely on HHH not aborting *in every invocation*.

Ignoring the code in main() seemed dishonest.
--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

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