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 : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 01. Aug 2024, 16:46:02
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <3e91ca7ef46d6de40edf2bbd9d4761ba63578e09@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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.

--
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
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