Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy

Liste des GroupesRevenir à c theory 
Sujet : Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 24. Feb 2025, 22:44:58
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <7264bf46cc5d9f23aeca81899796cd36c1c70cf2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 24 Feb 2025 15:26:29 -0600 schrieb olcott:
On 2/24/2025 9:03 AM, dbush wrote:
On 2/24/2025 9:48 AM, olcott wrote:
On 2/24/2025 7:11 AM, dbush wrote:
On 2/24/2025 12:17 AM, olcott wrote:
On 2/23/2025 11:08 PM, dbush wrote:
On 2/24/2025 12:01 AM, olcott wrote:
On 2/23/2025 10:45 PM, dbush wrote:

The above code proves that there's no way for
no_numbers_greater_than_10 correctly simulated by F to reach its
own "return" instruction.
Therefore F would be correct to report that
no_numbers_greater_than_10 is non-halting.
Agreed?
>
It looks like you have always been wrong about your code not
terminating. It looks like you never understood what you have been
talking  about.
>
I'll let you respond to yourself on this point:
On 11/10/2024 10:11 AM, olcott wrote:
 > If you had a basis in reasoning to show that I was wrong on this
 > specific point you could provide it. You have no basis in
 > reasoning on this specific point all you have is presumption.
>
You say that you code stops after ten recursions and also say that it
never stops.
>
int F(uintptr_t p)
{
    /* replace all code with an unconditional simulator */
No, not this at all. That would be nothing like HHH or HHH with its
abort code disabled.
Interesting. What, then, is HHH really, if not a simulator?

}
int no_numbers_greater_than_10()
{
    return F((uintptr_t)no_numbers_greater_than_10);
}
int main()
{
    F((uintptr_t)no_numbers_greater_than_10);
    return 0;
}
Try and show how the above code (i.e. no_numbers_greater_than_10
correctly simulated by F) can possibly reach the final "return"
instruction of no_numbers_greater_than_10
F would be correct to report the above as non-halting
--
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