Re: DDD correctly emulated by HHH --- Correct Emulation Defined

Liste des GroupesRevenir à theory 
Sujet : Re: DDD correctly emulated by HHH --- Correct Emulation Defined
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 21. Mar 2025, 12:48:32
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <1bb178ec039c45790f2987c5ca0d34d961ea737d@i2pn2.org>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 3/20/25 9:48 PM, olcott wrote:
On 3/20/2025 8:31 PM, Richard Damon wrote:
On 3/20/25 6:43 PM, olcott wrote:
On 3/20/2025 4:16 AM, Mikko wrote:
On 2025-03-20 02:32:43 +0000, olcott said:
>
DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov  ebp,esp  ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add  esp,+04
[00002182] 5d         pop  ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]
>
When N steps of DDD are emulated by HHH according
to the semantics of the x86 language then these
N steps are emulated correctly.
>
That does not make much sense to define the correct emulation of DDD as
it should mean whatever "correct emulation" means when applied to DDD.
>
Althouth promised otherwise on the subject line the meaning of "DDD
correctly emulated by HHH" when N is not specified is not defined.
>
>
N in this context always means any element of the
set of natural numbers.
>
Then HHH isn't a specific program, and you are admitting that you "logic" is just based on FRAUD.
>
 We have been over this same thing too many times.
Right, and you still don't understand that you are required to follow the definitions of the system to be in the system.
You have ADMITTED that you aren't following the rules of the system, and thus every time you imply that you are, you have admitted you are lying.
Thus, every time you claim to be "solving" the Halting Problem, you have admitted you are just lying about that.

 
>
1,2,3...4,294,967,296 steps of DDD are correctly emulated
by HHH and DDD never reaches its "ret" instruction and
terminates normally.
>
DIFFERENT HHHs and thus DIFFERENT DDDs were emulated.
>
 The point remains the same without the additional details.
For every HHH at machine address 000015d2 when the above
listed machine code is emulated for any finite number of
steps according to the semantics of the x86 language the
above finite string of machine code never reaches its own
"ret" instruction and halts.
In other words, you claim it is ok to lie about the system you are working on.
The "additional details" are just the facts that you want to ignore.
Sorry, you are just showing that you whole world is built on FRAUD and LIES.
Your words mean nothing, as you have admitted that you change the meaning of them, yet haven't actually defined your meaning, as to do so makes it clear that you have been lying about working on the problems.

 
>
The term should be or include "partial emulation" when the intent is
that an emulation that could be continued is not is called "correct".
>
>
A finite number of N steps means a finite emulation.
>
>
Right, and every one of them creates an input DDD,
 Same finite string at the same machine address 00002172.
But of something that isn't a program, and thus a type error.
Your logic vacillates between the string being that short string of just the function, or actually being all of memory.

 
that when COMPLETELY emulated halts,
 You already said that DDD emulated by HHH never reaches
its own "ret" instruction in any finite number of steps,
WHY LIE ABOUT THIS NOW?
Because they are different FACTS.
An HHH that does just a partial emulation, doesn't do a CORRECT emulation, and thus any conclusion based on the assumption that it did one is invalid.
You don't seem to understand that real logic needs to work from truthful premises.

 
and thus should be called a halting input in any HONEST logic system.
>
WHY LIE ABOUT THIS NOW?
Yes, why do you lie?
Try to show where I lied under the actual definition of the system you are actually stuck in to be able to talk about the proofs (and not your system based on FRAUD).

 
Of course, in your FRAUD, you claim otherwise, but that just shows how bad your FRAUDULANT system is,
 

Date Sujet#  Auteur
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined524olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined485Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined484olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined476Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined475olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined471Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined470olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined468Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2467olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2462Richard Damon
22 Mar 25 i i i i i+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 25olcott
22 Mar 25 i i i i ii+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 23Richard Damon
22 Mar 25 i i i i iii`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 22olcott
22 Mar 25 i i i i iii `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Richard Damon
22 Mar 25 i i i i ii`- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Mikko
22 Mar 25 i i i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum456olcott
22 Mar 25 i i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum454joes
22 Mar 25 i i i i i i`* III correctly emulated by EEE ---453olcott
22 Mar 25 i i i i i i +* Re: III correctly emulated by EEE ---451Richard Damon
22 Mar 25 i i i i i i i`* Re: III correctly emulated by EEE ---450olcott
23 Mar 25 i i i i i i i +* Re: III correctly emulated by EEE ---448Richard Damon
23 Mar 25 i i i i i i i i`* Re: III correctly emulated by EEE ---447olcott
23 Mar 25 i i i i i i i i `* Re: III correctly emulated by EEE ---446Richard Damon
23 Mar 25 i i i i i i i i  `* Re: III correctly emulated by EEE ---445olcott
23 Mar 25 i i i i i i i i   `* Re: III correctly emulated by EEE ---444Richard Damon
23 Mar 25 i i i i i i i i    `* Re: III correctly emulated by EEE ---443olcott
24 Mar 25 i i i i i i i i     `* Re: III correctly emulated by EEE ---442Richard Damon
24 Mar 25 i i i i i i i i      `* Re: III correctly emulated by EEE ---441olcott
24 Mar 25 i i i i i i i i       `* Re: III correctly emulated by EEE ---440Richard Damon
24 Mar 25 i i i i i i i i        `* Re: III correctly emulated by EEE ---439olcott
25 Mar 25 i i i i i i i i         `* Re: III correctly emulated by EEE ---438Richard Damon
25 Mar 25 i i i i i i i i          +* Re: III correctly emulated by EEE ---424olcott
25 Mar 25 i i i i i i i i          i+* Re: III correctly emulated by EEE ---422joes
25 Mar 25 i i i i i i i i          ii`* Re: III correctly emulated by EEE ---421olcott
25 Mar 25 i i i i i i i i          ii `* Re: III correctly emulated by EEE ---420joes
25 Mar 25 i i i i i i i i          ii  `* Re: III correctly emulated by EEE ---419olcott
26 Mar 25 i i i i i i i i          ii   +* Re: III correctly emulated by EEE ---417Richard Damon
26 Mar 25 i i i i i i i i          ii   i`* Re: III correctly emulated by EEE ---416olcott
26 Mar 25 i i i i i i i i          ii   i `* Re: III correctly emulated by EEE ---415Richard Damon
26 Mar 25 i i i i i i i i          ii   i  `* Re: III correctly emulated by EEE ---414olcott
27 Mar 25 i i i i i i i i          ii   i   `* Re: III correctly emulated by EEE ---413Richard Damon
27 Mar 25 i i i i i i i i          ii   i    `* DDD specifies recursive emulation to HHH and halting to HHH1412olcott
27 Mar 25 i i i i i i i i          ii   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH139Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH138olcott
27 Mar 25 i i i i i i i i          ii   i     i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH136Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  +* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i  i`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH133olcott
27 Mar 25 i i i i i i i i          ii   i     i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH131joes
28 Mar 25 i i i i i i i i          ii   i     i   i+* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i   ii`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH128olcott
28 Mar 25 i i i i i i i i          ii   i     i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH127Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH126olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH122Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH121olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH120Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH119olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH118Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH117olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH18Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH16Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH15olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH14Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH12Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i      `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
29 Mar 25 i i i i i i i i          ii   i     i   i   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH18Mikko
29 Mar 25 i i i i i i i i          ii   i     i   i   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH14joes
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
30 Mar 25 i i i i i i i i          ii   i     i   i   i       i `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
30 Mar 25 i i i i i i i i          ii   i     i   i   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Mikko
28 Mar 25 i i i i i i i i          ii   i     i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH13joes
28 Mar 25 i i i i i i i i          ii   i     i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
29 Mar 25 i i i i i i i i          ii   i     i   i     `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
28 Mar 25 i i i i i i i i          ii   i     i   `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1372Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1371olcott
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH1354dbush
28 Mar 25 i i i i i i i i          ii   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH1353olcott
28 Mar 25 i i i i i i i i          ii   i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH1352dbush
28 Mar 25 i i i i i i i i          ii   i       i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH1351olcott
28 Mar 25 i i i i i i i i          ii   i       i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH1350dbush
28 Mar 25 i i i i i i i i          ii   i       i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH1349olcott
28 Mar 25 i i i i i i i i          ii   i       i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1348dbush
28 Mar 25 i i i i i i i i          ii   i       i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1347olcott
28 Mar 25 i i i i i i i i          ii   i       i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH160dbush
28 Mar 25 i i i i i i i i          ii   i       i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH159olcott
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH142dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH141olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH137dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH136olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111joes
28 Mar 25 i i i i i i i i          ii   i       i       i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH110olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH13dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i       i       i i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH123dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH13Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       `* Re: DDD specifies recursive emulation to HHH and halting to HHH1286Richard Damon
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH17Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH18joes
28 Mar 25 i i i i i i i i          ii   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
26 Mar 25 i i i i i i i i          ii   `- Re: III correctly emulated by EEE ---1joes
25 Mar 25 i i i i i i i i          i`- Re: III correctly emulated by EEE ---1Richard Damon
25 Mar 25 i i i i i i i i          `* Re: III correctly emulated by EEE ---13olcott
23 Mar 25 i i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
23 Mar 25 i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
22 Mar 25 i i i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum1Richard Damon
22 Mar 25 i i i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 24Mikko
22 Mar 25 i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined1Mikko
21 Mar 25 i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
21 Mar 25 i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined7Mikko
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
22 Mar 25 `* DDD correctly emulated by EEE --- Correct Emulation Defined35olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal