Re: DDD specifies recursive emulation to HHH and halting to HHH1

Liste des GroupesRevenir à theory 
Sujet : Re: DDD specifies recursive emulation to HHH and halting to HHH1
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 03. Apr 2025, 22:57:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsn08o$1ltd2$5@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 25 26 27 28 29
User-Agent : Mozilla Thunderbird
On 4/3/2025 1:32 AM, Mikko wrote:
On 2025-04-03 02:08:22 +0000, olcott said:
 
It is a truism that a correct x86 emulator
would emulate itself emulating DDD whenever
DDD calls this emulator with itself.
 Which does not agree or disagree with my comment nor say anything about it,
and it doesn't clarify any aspect of your statement that i commented.
If there is any indirect connection to anything relevant that connection is
not presented, leaving your response unconnected and therefore irrelevant.
 So you did not reply to the immediated context.
 
_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]
THE FACT THAT DDD EMULATED BY HHH DOES NOT HALT IS
NOT RELEVANT TO A CORRECT DECISION BY A HALT DECIDER?
HHH does correctly compute the mapping from its input
finite string on this basis:
Simulating termination analyzer Principle
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination. The
only rebuttal to this is rejecting the notion that
deciders must always halt.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined489olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined450Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined449olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined441Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined440olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined436Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined435olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined433Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2432olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2427Richard 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 addendum421olcott
22 Mar 25 i i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum419joes
22 Mar 25 i i i i i i`* III correctly emulated by EEE ---418olcott
22 Mar 25 i i i i i i +* Re: III correctly emulated by EEE ---416Richard Damon
22 Mar 25 i i i i i i i`* Re: III correctly emulated by EEE ---415olcott
23 Mar 25 i i i i i i i +* Re: III correctly emulated by EEE ---413Richard Damon
23 Mar 25 i i i i i i i i`* Re: III correctly emulated by EEE ---412olcott
23 Mar 25 i i i i i i i i `* Re: III correctly emulated by EEE ---411Richard Damon
23 Mar 25 i i i i i i i i  `* Re: III correctly emulated by EEE ---410olcott
23 Mar 25 i i i i i i i i   `* Re: III correctly emulated by EEE ---409Richard Damon
23 Mar 25 i i i i i i i i    `* Re: III correctly emulated by EEE ---408olcott
24 Mar 25 i i i i i i i i     `* Re: III correctly emulated by EEE ---407Richard Damon
24 Mar 25 i i i i i i i i      `* Re: III correctly emulated by EEE ---406olcott
24 Mar 25 i i i i i i i i       `* Re: III correctly emulated by EEE ---405Richard Damon
24 Mar 25 i i i i i i i i        `* Re: III correctly emulated by EEE ---404olcott
25 Mar 25 i i i i i i i i         `* Re: III correctly emulated by EEE ---403Richard Damon
25 Mar 25 i i i i i i i i          +* Re: III correctly emulated by EEE ---389olcott
25 Mar 25 i i i i i i i i          i+* Re: III correctly emulated by EEE ---387joes
25 Mar 25 i i i i i i i i          ii`* Re: III correctly emulated by EEE ---386olcott
25 Mar 25 i i i i i i i i          ii `* Re: III correctly emulated by EEE ---385joes
25 Mar 25 i i i i i i i i          ii  `* Re: III correctly emulated by EEE ---384olcott
26 Mar 25 i i i i i i i i          ii   +* Re: III correctly emulated by EEE ---382Richard Damon
26 Mar 25 i i i i i i i i          ii   i`* Re: III correctly emulated by EEE ---381olcott
26 Mar 25 i i i i i i i i          ii   i `* Re: III correctly emulated by EEE ---380Richard Damon
26 Mar 25 i i i i i i i i          ii   i  `* Re: III correctly emulated by EEE ---379olcott
27 Mar 25 i i i i i i i i          ii   i   `* Re: III correctly emulated by EEE ---378Richard Damon
27 Mar 25 i i i i i i i i          ii   i    `* DDD specifies recursive emulation to HHH and halting to HHH1377olcott
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 HHH1337Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1336olcott
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH1319dbush
28 Mar 25 i i i i i i i i          ii   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH1318olcott
28 Mar 25 i i i i i i i i          ii   i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH1317dbush
28 Mar 25 i i i i i i i i          ii   i       i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH1316olcott
28 Mar 25 i i i i i i i i          ii   i       i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH1315dbush
28 Mar 25 i i i i i i i i          ii   i       i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH1314olcott
28 Mar 25 i i i i i i i i          ii   i       i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1313dbush
28 Mar 25 i i i i i i i i          ii   i       i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1312olcott
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 HHH1251Richard 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