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 : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 25. Feb 2025, 02:47:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vpj7ep$1hivf$1@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 32
User-Agent : Mozilla Thunderbird
On 2/24/2025 7:26 PM, dbush wrote:
On 2/24/2025 8:12 PM, olcott wrote:
On 2/24/2025 6:06 PM, dbush wrote:
On 2/24/2025 6:16 PM, olcott wrote:
On 2/24/2025 3:47 PM, dbush wrote:
On 2/24/2025 4:26 PM, olcott wrote:
>
>
>
HHH that aborts its simulation and a purely
hypothetical (imaginary never implemented)
HHH that never aborts its simulation.
>
>
>
Same thing.  F aborts its (admittedly poor) simulation by breaking out of a recursive chain, and a hypothetical F that performs a correct unaborted simulation.
>
The simple fact that the hypothetical HHH would never
terminate conclusively proves that DD specifies behavior
that cannot possibly terminate normally.
 And the simple fact that the hypothetical F would never terminate conclusively proves that no_numbers_greater_than_10 specifies behavior that cannot possibly terminate normally.
 Agreed?
I will not discuss your code.
--
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
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