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

Liste des GroupesRevenir à theory 
Sujet : Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 25. Feb 2025, 00:18:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vpiuns$1fvqe$3@dont-email.me>
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
User-Agent : Mozilla Thunderbird
On 2/24/2025 3:44 PM, joes wrote:
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?
 
HHH <has> a simulator.
HHH <is> a simulator is false.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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