Re: This function proves that only the outermost HHH examines the execution trace

Liste des GroupesRevenir à theory 
Sujet : Re: This function proves that only the outermost HHH examines the execution trace
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 01. Aug 2024, 21:53:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8gsju$2coqq$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
User-Agent : Mozilla Thunderbird
On 8/1/2024 2:35 PM, joes wrote:
Am Thu, 01 Aug 2024 11:00:04 -0500 schrieb olcott:
On 8/1/2024 10:46 AM, joes wrote:
Am Thu, 01 Aug 2024 07:56:27 -0500 schrieb olcott:
On 8/1/2024 7:52 AM, Fred. Zwarts wrote:
Op 01.aug.2024 om 14:03 schreef olcott:
On 8/1/2024 2:52 AM, Mikko wrote:
On 2024-07-31 17:33:38 +0000, olcott said:
On 7/31/2024 4:15 AM, Mikko wrote:
On 2024-07-30 23:40:21 +0000, olcott said:
On 7/30/2024 2:00 AM, Mikko wrote:
On 2024-07-29 16:50:53 +0000, olcott said:
On 7/28/2024 3:59 AM, Mikko wrote:
On 2024-07-27 20:05:31 +0000, olcott said:
>
When instructions are executed/emulated according to the semantics
of the x86 language then they are executed/emulated correctly.
But only those instructions. A halting program is simulated correctly
if no instructions are skipped.
Correctly and completely are not the same damn thing you freaking
moron.
Yes, an incomplete simulation is also incorrect.
When N steps of DDD are emulated correctly one can only say that N steps
were not emulated correctly when one is a liar.
Good thing I only said this: not all steps were simulated.
 
When a correct and complete emulation is impossible because the
computation has no end then it is pretty damn stupid to insist an a
complete emulation.

It is possible. It just doesn't end. The simulated machine isn't required
to halt either
 
A complete emulation means an emulation until the end.
--
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
26 Jul 24 * This function proves that only the outermost HHH examines the execution trace112olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace3joes
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace2Mike Terry
26 Jul 24 i `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace50Mike Terry
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace49olcott
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace3olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace6Fred. Zwarts
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace5olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i i +* Re: This function proves that only the outermost HHH examines the execution trace2joes
27 Jul 24 i i i`- Re: This function proves that only the outermost HHH examines the execution trace1olcott
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace37Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace36olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace31Fred. Zwarts
27 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace30olcott
28 Jul 24 i   i +* Re: This function proves that only the outermost HHH examines the execution trace5Fred. Zwarts
28 Jul 24 i   i i`* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i   i i `- Re: This function proves that only the outermost HHH examines the execution trace1joes
28 Jul 24 i   i `* Re: This function proves that only the outermost HHH examines the execution trace24Mikko
29 Jul 24 i   i  `* Re: This function proves that only the outermost HHH examines the execution trace23olcott
29 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
30 Jul 24 i   i   `* Re: This function proves that only the outermost HHH examines the execution trace20Mikko
31 Jul 24 i   i    `* Re: This function proves that only the outermost HHH examines the execution trace19olcott
31 Jul 24 i   i     +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
31 Jul 24 i   i     `* Re: This function proves that only the outermost HHH examines the execution trace17Mikko
31 Jul 24 i   i      +* Re: This function proves that only the outermost HHH examines the execution trace14olcott
1 Aug 24 i   i      i`* Re: This function proves that only the outermost HHH examines the execution trace13Mikko
1 Aug 24 i   i      i `* Re: This function proves that only the outermost HHH examines the execution trace12olcott
1 Aug 24 i   i      i  +* Re: This function proves that only the outermost HHH examines the execution trace10Fred. Zwarts
1 Aug 24 i   i      i  i`* Re: This function proves that only the outermost HHH examines the execution trace9olcott
1 Aug 24 i   i      i  i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i `* Re: This function proves that only the outermost HHH examines the execution trace7joes
1 Aug 24 i   i      i  i  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
1 Aug 24 i   i      i  i   +* Re: This function proves that only the outermost HHH examines the execution trace3Fred. Zwarts
1 Aug 24 i   i      i  i   i`* Re: This function proves that only the outermost HHH examines the execution trace2olcott
2 Aug 24 i   i      i  i   i `- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i   `* Re: This function proves that only the outermost HHH examines the execution trace2joes
1 Aug 24 i   i      i  i    `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
2 Aug 24 i   i      i  `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
31 Jul 24 i   i      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
1 Aug 24 i   i       `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i    `* HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace3olcott
29 Jul 24 i     +- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Fred. Zwarts
30 Jul 24 i     `- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Mikko
27 Jul 24 +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace56Fred. Zwarts
27 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace55olcott
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace54Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace53olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace50Alan Mackenzie
27 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace17olcott
27 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace9Alan Mackenzie
27 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace8olcott
27 Jul 24 i   iii `* Re: This function proves that only the outermost HHH examines the execution trace7Alan Mackenzie
27 Jul 24 i   iii  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
27 Jul 24 i   iii   `* Re: This function proves that only the outermost HHH examines the execution trace5Alan Mackenzie
28 Jul 24 i   iii    `* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   iii     `* Re: This function proves that only the outermost HHH examines the execution trace3Alan Mackenzie
28 Jul 24 i   iii      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
28 Jul 24 i   iii       `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace7Mikko
29 Jul 24 i   ii `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
29 Jul 24 i   ii  +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
29 Jul 24 i   ii  `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i   ii   `* Re: This function proves that only the outermost HHH examines the execution trace3olcott
29 Jul 24 i   ii    +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   ii    `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace27Mike Terry
28 Jul 24 i   ii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace21olcott
28 Jul 24 i   iii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace19Fred. Zwarts
28 Jul 24 i   iii `* HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)18olcott
28 Jul 24 i   iii  +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion)1Richard Damon
28 Jul 24 i   iii  `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)16Fred. Zwarts
28 Jul 24 i   iii   `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)15olcott
28 Jul 24 i   iii    +- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) unless it can abort.1Richard Damon
29 Jul 24 i   iii    `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)13Fred. Zwarts
29 Jul 24 i   iii     `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)12olcott
29 Jul 24 i   iii      `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)11Fred. Zwarts
30 Jul 24 i   iii       `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)10Mike Terry
30 Jul 24 i   iii        `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)9olcott
30 Jul 24 i   iii         +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion) OLCOTTS ERROR1Richard Damon
30 Jul 24 i   iii         +* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)6joes
31 Jul 24 i   iii         i`* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)5Mike Terry
31 Jul 24 i   iii         i `* Linz proof is essentially isomorphic4olcott
31 Jul 24 i   iii         i  `* Re: Linz proof is essentially isomorphic3Richard Damon
31 Jul 24 i   iii         i   `* Re: Linz proof is essentially isomorphic2olcott
31 Jul 24 i   iii         i    `- Re: Linz proof is essentially isomorphic1Richard Damon
30 Jul 24 i   iii         `- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)1Fred. Zwarts
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace4Alan Mackenzie
28 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace5Mikko
27 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace2Fred. Zwarts
3 Aug 24 `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal