Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2

Liste des GroupesRevenir à c theory 
Sujet : Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 20. Jul 2024, 14:11:03
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7gd17$3hlc2$2@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
User-Agent : Mozilla Thunderbird
On 7/20/2024 3:21 AM, Mikko wrote:
On 2024-07-19 14:08:24 +0000, olcott said:
 
When we use your incorrect reasoning we would conclude
that Infinite_Loop() is not an infinite loop because it
only repeats until aborted and is aborted.
 You and your HHH can reason or at least conclude correctly about
Infinite_Loop but not about DDD. Possibly because it prefers to
say "no", which is correct about Infinte_loop but not about DDD.
 
*Because this is true I don't understand how you are not simply lying*
int main
{
   DDD();
}
Calls HHH(DDD) that must abort the emulation of its input
or {HHH, emulated DDD and executed DDD} never stop running.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
12 Jul 24 * DDD correctly emulated by HHH is correctly rejected as non-halting V2214olcott
12 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting V21Fred. Zwarts
13 Jul 24 +* Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2186Richard Damon
13 Jul 24 i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2185olcott
13 Jul 24 i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Richard Damon
13 Jul 24 i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
13 Jul 24 i i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
13 Jul 24 i i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24joes
13 Jul 24 i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23olcott
13 Jul 24 i i   +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
13 Jul 24 i i   `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2177Fred. Zwarts
13 Jul 24 i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2176olcott
13 Jul 24 i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2171Fred. Zwarts
13 Jul 24 i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2170olcott
13 Jul 24 i   i +* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V215Richard Damon
13 Jul 24 i   i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V214olcott
13 Jul 24 i   i i `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V213Richard Damon
13 Jul 24 i   i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V212olcott
13 Jul 24 i   i i   `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V211Richard Damon
13 Jul 24 i   i i    `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V210olcott
13 Jul 24 i   i i     `* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V29Richard Damon
13 Jul 24 i   i i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V28olcott
13 Jul 24 i   i i       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Richard Damon
13 Jul 24 i   i i        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26olcott
13 Jul 24 i   i i         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Richard Damon
13 Jul 24 i   i i          `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
13 Jul 24 i   i i           `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V23Richard Damon
13 Jul 24 i   i i            `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V22olcott
13 Jul 24 i   i i             `- Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V21Richard Damon
13 Jul 24 i   i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2147joes
13 Jul 24 i   i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2146olcott
13 Jul 24 i   i i +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
13 Jul 24 i   i i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2144joes
13 Jul 24 i   i i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2143olcott
13 Jul 24 i   i i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
14 Jul 24 i   i i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2141joes
14 Jul 24 i   i i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2140olcott
14 Jul 24 i   i i     +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2138joes
14 Jul 24 i   i i     i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2137olcott
14 Jul 24 i   i i     i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
14 Jul 24 i   i i     i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2135joes
14 Jul 24 i   i i     i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2134olcott
14 Jul 24 i   i i     i   +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2125joes
15 Jul 24 i   i i     i   i+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V228olcott
15 Jul 24 i   i i     i   ii+- Re: DDD correctly emulated by HHH is IN*Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   ii`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V226joes
15 Jul 24 i   i i     i   ii `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V225olcott
15 Jul 24 i   i i     i   ii  +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24 i   i i     i   ii  +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   ii  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V222Mikko
16 Jul 24 i   i i     i   ii   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V221olcott
17 Jul 24 i   i i     i   ii    +- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
17 Jul 24 i   i i     i   ii    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V219Mikko
17 Jul 24 i   i i     i   ii     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V218olcott
17 Jul 24 i   i i     i   ii      +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V210Fred. Zwarts
17 Jul 24 i   i i     i   ii      i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V29olcott
17 Jul 24 i   i i     i   ii      i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24 i   i i     i   ii      i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25joes
17 Jul 24 i   i i     i   ii      i i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
17 Jul 24 i   i i     i   ii      i i +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22joes
17 Jul 24 i   i i     i   ii      i i i`- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21olcott
18 Jul 24 i   i i     i   ii      i i `- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      i +- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      i `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Mikko
18 Jul 24 i   i i     i   ii      +- Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V21Richard Damon
18 Jul 24 i   i i     i   ii      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V26Mikko
18 Jul 24 i   i i     i   ii       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25olcott
18 Jul 24 i   i i     i   ii        +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
19 Jul 24 i   i i     i   ii        `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Mikko
19 Jul 24 i   i i     i   ii         `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V22olcott
19 Jul 24 i   i i     i   ii          `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V296Mike Terry
15 Jul 24 i   i i     i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V295olcott
15 Jul 24 i   i i     i   i  +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V25Fred. Zwarts
15 Jul 24 i   i i     i   i  i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V24olcott
15 Jul 24 i   i i     i   i  i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
15 Jul 24 i   i i     i   i  i +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
16 Jul 24 i   i i     i   i  i `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i  +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V286joes
15 Jul 24 i   i i     i   i  i+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V282olcott
15 Jul 24 i   i i     i   i  ii+* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V280joes
15 Jul 24 i   i i     i   i  iii`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V279olcott
15 Jul 24 i   i i     i   i  iii +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
15 Jul 24 i   i i     i   i  iii +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V276joes
15 Jul 24 i   i i     i   i  iii i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V275olcott
16 Jul 24 i   i i     i   i  iii i +- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  iii i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V273joes
16 Jul 24 i   i i     i   i  iii i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V272olcott
16 Jul 24 i   i i     i   i  iii i   +* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V269joes
17 Jul 24 i   i i     i   i  iii i   i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V268olcott
19 Jul 24 i   i i     i   i  iii i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V267Mikko
19 Jul 24 i   i i     i   i  iii i   i  `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V266olcott
20 Jul 24 i   i i     i   i  iii i   i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V265Mikko
20 Jul 24 i   i i     i   i  iii i   i    `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V264olcott
20 Jul 24 i   i i     i   i  iii i   i     +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
21 Jul 24 i   i i     i   i  iii i   i     `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V262Mikko
21 Jul 24 i   i i     i   i  iii i   i      `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V261olcott
21 Jul 24 i   i i     i   i  iii i   i       +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
21 Jul 24 i   i i     i   i  iii i   i       +- Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
22 Jul 24 i   i i     i   i  iii i   i       `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V258Mikko
16 Jul 24 i   i i     i   i  iii i   +- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21Fred. Zwarts
17 Jul 24 i   i i     i   i  iii i   `- Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  iii `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
16 Jul 24 i   i i     i   i  ii`- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
15 Jul 24 i   i i     i   i  i`* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V23Mike Terry
15 Jul 24 i   i i     i   i  `* Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V23Richard Damon
15 Jul 24 i   i i     i   `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Mikko
14 Jul 24 i   i i     `- Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V21Richard Damon
14 Jul 24 i   i `* Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V27Mikko
13 Jul 24 i   +* Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V23Richard Damon
13 Jul 24 i   `- Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V21joes
13 Jul 24 +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V22Mikko
14 Jul 24 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting V224Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal