Re: DDD emulated by HHH --- (does not refer to prior posts)

Liste des GroupesRevenir à theory 
Sujet : Re: DDD emulated by HHH --- (does not refer to prior posts)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 02. Sep 2024, 15:15:13
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vb4dp1$2r7ok$7@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 9/1/2024 6:19 AM, Fred. Zwarts wrote:
Op 31.aug.2024 om 21:26 schreef olcott:
On 8/31/2024 1:49 PM, joes wrote:
Am Sat, 31 Aug 2024 10:19:28 -0500 schrieb olcott:
On 8/31/2024 9:59 AM, Fred. Zwarts wrote:
Op 31.aug.2024 om 14:03 schreef olcott:
On 8/31/2024 4:07 AM, Fred. Zwarts wrote:
Op 30.aug.2024 om 16:58 schreef olcott:
On 8/30/2024 9:56 AM, joes wrote:
Am Thu, 29 Aug 2024 09:07:39 -0500 schrieb olcott:
>
HHH correctly predicts what the behavior of DDD would be if this
HHH never aborted its emulation of DDD.
Problem is, DDD is then not calling itself, but the non-input of a
not-aborting HHH.
*This is before any aborting occurs*
Here is your problem. The code of the program and its meaning
according to the semantics of the x86 language, does not suddenly
change when the aborting occurs.
^ important
You cannot possibly say one damn thing about the behavior of DDD until
you first understand that a world class x86 emulator that HHH calls
does enable HHH to correctly emulate itself emulating DDD and the
following execution trace proves this.
And when this unmodified world class x86 simulator was given olcott's
DDD based on the aborting HHH as input, it showed that this has halting
behaviour.
THIS IS A VERIFIED FACT! Even olcott has verified it.
This correct simulation by the unmodified world class simulator tells
us that the program has a halting behaviour.
Your *modification* of the simulator stops the simulation before it can
see the halting behaviour and decides that the input is non-halting.
We know which one is correct: the unmodified world class simulator, not
the *modified* one, which aborts one cycle too soon..
>
>
Still dreaming of the HHH that does an infinite recursion?
Before we can proceed to the next step you must first agree that the
second emulation of DDD by the emulated HHH is proven to be correct on
the basis that it does emulate the first four instructions of DDD.
The fourth instruction (the call) encompasses quite a few further
instructions, which must all(!) be simulated until it returns. Only
then is it finished.
>
>
The x86utm operating system correctly emulates
100 million instructions of DDD emulated by HHH
with abort turned off.
>
If they were shown it would take 1.5 million pages.
Because of this only the emulated DDD instructions
are shown.
Again olcott tries to get a ways with a change of subject. We were talking about a HHH that aborts and halts,
An HHH that does not abort thus never halts thus
conclusively proving that HHH must abort or never halts.

but now he mentions his dream of a non-halting simulation again. He does it in a sneaky way, y not only changing the simulator, but also the input for the simulator.
We know, however, that when the unmodified world class simulator is given the DDD that is based on the aborting HHH, it shows a halting behaviour.
So, these 100000 instructions are irrelevant.
--
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
27 Aug 24 * DDD emulated by HHH --- (does not refer to prior posts)100olcott
27 Aug 24 +* Re: DDD emulated by HHH --- (does not refer to prior posts)4Mikko
27 Aug 24 i`* Re: DDD emulated by HHH --- (does not refer to prior posts)3olcott
28 Aug 24 i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
28 Aug 24 i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Mikko
27 Aug 24 +* Re: DDD emulated by HHH --- (does not refer to prior posts)94Fred. Zwarts
27 Aug 24 i`* Re: DDD emulated by HHH --- (does not refer to prior posts)93olcott
28 Aug 24 i +* Re: DDD emulated by HHH --- (does not refer to prior posts)69Mikko
28 Aug 24 i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)68olcott
29 Aug 24 i i `* Re: DDD emulated by HHH --- (does not refer to prior posts)67Mikko
29 Aug 24 i i  `* Re: DDD emulated by HHH --- (does not refer to prior posts)66olcott
29 Aug 24 i i   +* Re: DDD emulated by HHH --- (does not refer to prior posts)10Fred. Zwarts
29 Aug 24 i i   i+* Re: DDD emulated by HHH --- (does not refer to prior posts)6olcott
29 Aug 24 i i   ii+* Re: DDD emulated by HHH --- (does not refer to prior posts)4Fred. Zwarts
29 Aug 24 i i   iii`* Re: DDD emulated by HHH --- (does not refer to prior posts)3olcott
29 Aug 24 i i   iii +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
30 Aug 24 i i   iii `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
30 Aug 24 i i   ii`- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
29 Aug 24 i i   i`* Re: DDD emulated by HHH --- (does not refer to prior posts)3olcott
29 Aug 24 i i   i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
30 Aug 24 i i   i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
30 Aug 24 i i   +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
30 Aug 24 i i   +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Mikko
30 Aug 24 i i   `* Re: DDD emulated by HHH --- (does not refer to prior posts)53joes
30 Aug 24 i i    `* Re: DDD emulated by HHH --- (does not refer to prior posts)52olcott
30 Aug 24 i i     +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
31 Aug 24 i i     `* Re: DDD emulated by HHH --- (does not refer to prior posts)50Fred. Zwarts
31 Aug 24 i i      `* Re: DDD emulated by HHH --- (does not refer to prior posts)49olcott
31 Aug 24 i i       +* Re: DDD emulated by HHH --- (does not refer to prior posts)47Fred. Zwarts
31 Aug 24 i i       i`* Re: DDD emulated by HHH --- (does not refer to prior posts)46olcott
31 Aug 24 i i       i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
31 Aug 24 i i       i +* Re: DDD emulated by HHH --- (does not refer to prior posts)34Fred. Zwarts
31 Aug 24 i i       i i+* Re: DDD emulated by HHH --- (does not refer to prior posts)31olcott
31 Aug 24 i i       i ii+- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
1 Sep 24 i i       i ii+- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
1 Sep 24 i i       i ii`* Re: DDD emulated by HHH --- (does not refer to prior posts)28Mikko
2 Sep 24 i i       i ii `* Re: DDD emulated by HHH --- (does not refer to prior posts)27olcott
2 Sep 24 i i       i ii  +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
3 Sep 24 i i       i ii  +* Re: DDD emulated by HHH --- (does not refer to prior posts)24Mikko
3 Sep 24 i i       i ii  i`* Re: DDD emulated by HHH --- (does not refer to prior posts)23olcott
4 Sep 24 i i       i ii  i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
4 Sep 24 i i       i ii  i +* Re: DDD emulated by HHH --- (does not refer to prior posts)4Fred. Zwarts
4 Sep 24 i i       i ii  i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)3olcott
5 Sep 24 i i       i ii  i i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
5 Sep 24 i i       i ii  i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
6 Sep 24 i i       i ii  i `* Re: DDD emulated by HHH --- (does not refer to prior posts)17Mikko
6 Sep 24 i i       i ii  i  `* Re: DDD emulated by HHH --- (does not refer to prior posts)16olcott
6 Sep 24 i i       i ii  i   +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
6 Sep 24 i i       i ii  i   +- Re: DDD emulated by HHH --- (does not refer to prior posts)1joes
7 Sep 24 i i       i ii  i   +* Re: DDD emulated by HHH --- (does not refer to prior posts)12Mikko
7 Sep 24 i i       i ii  i   i`* Re: DDD emulated by HHH --- (does not refer to prior posts)11olcott
7 Sep 24 i i       i ii  i   i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
8 Sep 24 i i       i ii  i   i +* Re: DDD emulated by HHH --- (does not refer to prior posts)8Mikko
8 Sep 24 i i       i ii  i   i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)7olcott
8 Sep 24 i i       i ii  i   i i +* Re: DDD emulated by HHH --- (does not refer to prior posts)5Mikko
9 Sep 24 i i       i ii  i   i i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)4olcott
10 Sep 24 i i       i ii  i   i i i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
10 Sep 24 i i       i ii  i   i i i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Mikko
10 Sep 24 i i       i ii  i   i i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
8 Sep 24 i i       i ii  i   i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
8 Sep 24 i i       i ii  i   i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
7 Sep 24 i i       i ii  i   `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
3 Sep 24 i i       i ii  `- Re: DDD emulated by HHH --- (does not refer to prior posts)1joes
31 Aug 24 i i       i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)2olcott
1 Sep 24 i i       i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
31 Aug 24 i i       i `* Re: DDD emulated by HHH --- (does not refer to prior posts)10joes
31 Aug 24 i i       i  `* Re: DDD emulated by HHH --- (does not refer to prior posts)9olcott
31 Aug 24 i i       i   +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
1 Sep 24 i i       i   +* Re: DDD emulated by HHH --- (does not refer to prior posts)3joes
2 Sep 24 i i       i   i`* Re: DDD emulated by HHH --- (does not refer to prior posts)2olcott
2 Sep 24 i i       i   i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
1 Sep 24 i i       i   `* Re: DDD emulated by HHH --- (does not refer to prior posts)4Fred. Zwarts
2 Sep 24 i i       i    `* Re: DDD emulated by HHH --- (does not refer to prior posts)3olcott
2 Sep 24 i i       i     +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
2 Sep 24 i i       i     `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
31 Aug 24 i i       `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
28 Aug 24 i `* Re: DDD emulated by HHH --- (does not refer to prior posts)23Fred. Zwarts
28 Aug 24 i  `* Re: DDD emulated by HHH --- (does not refer to prior posts)22olcott
28 Aug 24 i   +* Re: DDD emulated by HHH --- (does not refer to prior posts)20Fred. Zwarts
28 Aug 24 i   i`* Re: DDD emulated by HHH --- (does not refer to prior posts)19olcott
28 Aug 24 i   i +* Re: DDD emulated by HHH --- (does not refer to prior posts)17Fred. Zwarts
28 Aug 24 i   i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)16olcott
28 Aug 24 i   i i +* Re: DDD emulated by HHH --- (does not refer to prior posts)14Fred. Zwarts
28 Aug 24 i   i i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)13olcott
28 Aug 24 i   i i i +* Re: DDD emulated by HHH --- (does not refer to prior posts)11Fred. Zwarts
28 Aug 24 i   i i i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)10olcott
28 Aug 24 i   i i i i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Fred. Zwarts
28 Aug 24 i   i i i i +* Re: DDD emulated by HHH --- (does not refer to prior posts)7joes
28 Aug 24 i   i i i i i`* Re: DDD emulated by HHH --- (does not refer to prior posts)6olcott
28 Aug 24 i   i i i i i +- Re: Olcott emasculated by everyone --- (does not refer to prior posts)1John Smith
29 Aug 24 i   i i i i i +- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
30 Aug 24 i   i i i i i `* Re: DDD emulated by HHH --- (does not refer to prior posts)3joes
30 Aug 24 i   i i i i i  `* Re: DDD emulated by HHH --- (does not refer to prior posts)2olcott
30 Aug 24 i   i i i i i   `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
29 Aug 24 i   i i i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
29 Aug 24 i   i i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
29 Aug 24 i   i i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
29 Aug 24 i   i `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon
29 Aug 24 i   `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Mikko
27 Aug 24 `- Re: DDD emulated by HHH --- (does not refer to prior posts)1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal