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
14 Feb 25 * Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH420olcott
14 Feb 25 +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH137Richard Damon
14 Feb 25 i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH136olcott
14 Feb 25 i +* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH131joes
15 Feb 25 i i`* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH130olcott
15 Feb 25 i i +- Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25 i i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH128joes
16 Feb 25 i i  `* DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN127olcott
16 Feb 25 i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
16 Feb 25 i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN124joes
16 Feb 25 i i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3olcott
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 CHAIN1Fred. Zwarts
20 Feb 25 i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN120olcott
20 Feb 25 i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN31Mikko
20 Feb 25 i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN30olcott
21 Feb 25 i i     i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
21 Feb 25 i i     i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN28Mikko
21 Feb 25 i i     i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN27olcott
22 Feb 25 i i     i   +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
22 Feb 25 i i     i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN25Mikko
22 Feb 25 i i     i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN24olcott
22 Feb 25 i i     i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
22 Feb 25 i i     i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
23 Feb 25 i i     i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25 i i     i     +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
23 Feb 25 i i     i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN19Mikko
23 Feb 25 i i     i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN18olcott
24 Feb 25 i i     i       +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
24 Feb 25 i i     i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN16Mikko
25 Feb 25 i i     i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN15olcott
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1dbush
25 Feb 25 i i     i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3joes
25 Feb 25 i i     i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
25 Feb 25 i i     i         i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1joes
25 Feb 25 i i     i         +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Fred. Zwarts
25 Feb 25 i i     i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN8Mikko
25 Feb 25 i i     i          `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN7olcott
26 Feb 25 i i     i           +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN5Richard Damon
26 Feb 25 i i     i           i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN4olcott
26 Feb 25 i i     i           i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN3Richard Damon
26 Feb 25 i i     i           i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN2olcott
26 Feb 25 i i     i           i   `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
26 Feb 25 i i     i           `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Mikko
20 Feb 25 i i     +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN87joes
22 Feb 25 i i     i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN86olcott
22 Feb 25 i i     i +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN84joes
22 Feb 25 i i     i i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy83olcott
22 Feb 25 i i     i i +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy67dbush
22 Feb 25 i i     i i i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy66olcott
22 Feb 25 i i     i i i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy65dbush
22 Feb 25 i i     i i i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy64olcott
22 Feb 25 i i     i i i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy63dbush
22 Feb 25 i i     i i i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy62olcott
22 Feb 25 i i     i i i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy61dbush
22 Feb 25 i i     i i i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy60olcott
22 Feb 25 i i     i i i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy59dbush
22 Feb 25 i i     i i i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy58olcott
22 Feb 25 i i     i i i         `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy57dbush
22 Feb 25 i i     i i i          `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy56olcott
22 Feb 25 i i     i i i           `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy55dbush
23 Feb 25 i i     i i i            `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy54olcott
23 Feb 25 i i     i i i             +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy52dbush
23 Feb 25 i i     i i i             i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy51olcott
23 Feb 25 i i     i i i             i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy50dbush
24 Feb 25 i i     i i i             i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy49olcott
24 Feb 25 i i     i i i             i   +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy47dbush
24 Feb 25 i i     i i i             i   i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy46olcott
24 Feb 25 i i     i i i             i   i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy45dbush
24 Feb 25 i i     i i i             i   i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy44olcott
24 Feb 25 i i     i i i             i   i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy43dbush
24 Feb 25 i i     i i i             i   i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy42olcott
24 Feb 25 i i     i i i             i   i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy41dbush
24 Feb 25 i i     i i i             i   i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy40olcott
24 Feb 25 i i     i i i             i   i       +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy37dbush
24 Feb 25 i i     i i i             i   i       i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy36olcott
24 Feb 25 i i     i i i             i   i       i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy35dbush
24 Feb 25 i i     i i i             i   i       i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy34olcott
24 Feb 25 i i     i i i             i   i       i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy33dbush
24 Feb 25 i i     i i i             i   i       i    +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2dbush
24 Feb 25 i i     i i i             i   i       i    i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1olcott
24 Feb 25 i i     i i i             i   i       i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy30olcott
24 Feb 25 i i     i i i             i   i       i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy29dbush
24 Feb 25 i i     i i i             i   i       i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy28olcott
24 Feb 25 i i     i i i             i   i       i       +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2joes
25 Feb 25 i i     i i i             i   i       i       i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1olcott
24 Feb 25 i i     i i i             i   i       i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy25dbush
25 Feb 25 i i     i i i             i   i       i        `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy24olcott
25 Feb 25 i i     i i i             i   i       i         +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy22dbush
25 Feb 25 i i     i i i             i   i       i         i`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy21olcott
25 Feb 25 i i     i i i             i   i       i         i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy20dbush
25 Feb 25 i i     i i i             i   i       i         i  `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy19olcott
25 Feb 25 i i     i i i             i   i       i         i   `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy18dbush
25 Feb 25 i i     i i i             i   i       i         i    `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy17olcott
25 Feb 25 i i     i i i             i   i       i         i     `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy16dbush
25 Feb 25 i i     i i i             i   i       i         i      +* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy13olcott
25 Feb 25 i i     i i i             i   i       i         i      i+* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy11dbush
25 Feb 25 i i     i i i             i   i       i         i      ii`* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy10olcott
25 Feb 25 i i     i i i             i   i       i         i      ii `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy9dbush
25 Feb 25 i i     i i i             i   i       i         i      i`- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
25 Feb 25 i i     i i i             i   i       i         i      `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2olcott
25 Feb 25 i i     i i i             i   i       i         `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
24 Feb 25 i i     i i i             i   i       `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy2joes
24 Feb 25 i i     i i i             i   `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1dbush
23 Feb 25 i i     i i i             `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1Richard Damon
22 Feb 25 i i     i i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1joes
23 Feb 25 i i     i i +- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy1Richard Damon
23 Feb 25 i i     i i `* Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy13Mikko
22 Feb 25 i i     i `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
20 Feb 25 i i     `- Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN1Richard Damon
14 Feb 25 i `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH4Richard Damon
14 Feb 25 `* Re: Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH282Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal