Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar

Liste des GroupesRevenir à theory 
Sujet : Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 22. Nov 2024, 16:16:47
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <fb0b8f5d2d849d9934b95381e29bff0982684697@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 22 Nov 2024 08:50:33 -0600 schrieb olcott:
On 11/22/2024 6:20 AM, joes wrote:
Am Thu, 21 Nov 2024 15:19:43 -0600 schrieb olcott:
On 11/21/2024 3:11 PM, joes wrote:
Am Thu, 21 Nov 2024 09:19:03 -0600 schrieb olcott:
On 11/20/2024 10:00 PM, Richard Damon wrote:
On 11/20/24 9:57 PM, olcott wrote:
On 11/20/2024 5:51 PM, Richard Damon wrote:
On 11/20/24 5:03 PM, olcott wrote:
On 11/20/2024 3:53 AM, Mikko wrote:
On 2024-11-20 03:23:12 +0000, olcott said:
On 11/19/2024 4:12 AM, Mikko wrote:
On 2024-11-18 20:42:02 +0000, olcott said:
On 11/18/2024 3:41 AM, Mikko wrote:
The "the mapping" on the subject line is not correct. The
subject line does not specify which mapping and there is no
larger context that could specify that. Therefore it should
be "a mapping".
On 2024-11-17 18:36:17 +0000, olcott said:
>
My code is one example of the infinite set of every possible HHH
that emulates DDD according to the semantics of the x86 language.
Like all of them, it is unable to simulate DDD to its undeniable
halting state.
>
But it gets the wrong answer for the halting problem, as DDD dpes
halt.
DDD emulated by HHH does not halt.
Whatever. DDD halts and HHH should return that.
IT IS NOT THE SAME INSTANCE OF DDD.
All instances of DDD behave the same (if it is a pure function and the
HHH called from it doesn't switch behaviour by a static variable).
Only HHH is required to be a pure function, DDD is expressly allowed to
be any damn thing.
TMs don't have side effects, such as reading a static Root variable.

The behavior of DDD emulated by HHH is
different than the actual behavior of DDD emulated by HHH1.
Yes. HHH simulates it incorrectly.

Note we have been on this one point about the behavior of DDD emulated
by HHH for many months and have not yet even begun to talk about how HHH
would report this behavior.
Yes, you seem hellbent on dying before you can make your point.

The question does DDD halt?
Is answered by Can DDD emulated by any HHH reach its own "return"
instruction final state?
Not in the case of an erroneous simulation.
If DDD halts, you can simply run it to find out.

The question: How could HHH determine whether or not DDD emulated by HHH
can possibly reach its own final state?
is another entirely different question.
It seems very relevant. Since you have an answer to the former question,
maybe you can proceed to this one?

--
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
17 Nov 24 * HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar250olcott
17 Nov 24 +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar25Richard Damon
17 Nov 24 i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar24olcott
18 Nov 24 i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar23Richard Damon
18 Nov 24 i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar22olcott
18 Nov 24 i   `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar21Richard Damon
18 Nov 24 i    `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar20olcott
18 Nov 24 i     +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3Richard Damon
18 Nov 24 i     i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
18 Nov 24 i     i `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
18 Nov 24 i     `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar16joes
18 Nov 24 i      `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar15olcott
18 Nov 24 i       `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar14Richard Damon
18 Nov 24 i        `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar13olcott
18 Nov 24 i         `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar12Richard Damon
18 Nov 24 i          `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar11olcott
18 Nov 24 i           +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar5Richard Damon
18 Nov 24 i           i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar4olcott
18 Nov 24 i           i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3Richard Damon
19 Nov 24 i           i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
19 Nov 24 i           i   `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
18 Nov 24 i           `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar5Richard Damon
18 Nov 24 i            `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar4olcott
18 Nov 24 i             `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3Richard Damon
19 Nov 24 i              `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
19 Nov 24 i               `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
17 Nov 24 +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar53Richard Damon
17 Nov 24 i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar52olcott
18 Nov 24 i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar51Richard Damon
18 Nov 24 i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar50olcott
18 Nov 24 i   `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar49Richard Damon
18 Nov 24 i    `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar48olcott
18 Nov 24 i     `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar47Richard Damon
18 Nov 24 i      `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar46olcott
18 Nov 24 i       +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar12Mikko
18 Nov 24 i       i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar11olcott
18 Nov 24 i       i +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar4Richard Damon
19 Nov 24 i       i i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3olcott
19 Nov 24 i       i i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2Richard Damon
19 Nov 24 i       i i  `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Mikko
19 Nov 24 i       i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar6Mikko
20 Nov 24 i       i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar5olcott
20 Nov 24 i       i   `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar4Mikko
21 Nov 24 i       i    `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3olcott
21 Nov 24 i       i     +- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
6 Dec 24 i       i     `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Mikko
18 Nov 24 i       +- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
18 Nov 24 i       `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar32Richard Damon
18 Nov 24 i        `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar31olcott
18 Nov 24 i         `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar30Richard Damon
18 Nov 24 i          `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar29olcott
18 Nov 24 i           `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar28Richard Damon
18 Nov 24 i            `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar27olcott
18 Nov 24 i             +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3Richard Damon
19 Nov 24 i             i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
19 Nov 24 i             i `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
19 Nov 24 i             `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar23joes
19 Nov 24 i              `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar22olcott
19 Nov 24 i               +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar18joes
19 Nov 24 i               i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar17olcott
20 Nov 24 i               i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar16Richard Damon
20 Nov 24 i               i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar15olcott
20 Nov 24 i               i   `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar14Richard Damon
21 Nov 24 i               i    `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar13olcott
21 Nov 24 i               i     `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar12Richard Damon
21 Nov 24 i               i      `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar11olcott
21 Nov 24 i               i       `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar10Richard Damon
21 Nov 24 i               i        `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar9olcott
21 Nov 24 i               i         `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar8Richard Damon
21 Nov 24 i               i          `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar7olcott
21 Nov 24 i               i           `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar6Richard Damon
21 Nov 24 i               i            `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar5olcott
21 Nov 24 i               i             +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3joes
21 Nov 24 i               i             i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
22 Nov 24 i               i             i `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
22 Nov 24 i               i             `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
20 Nov 24 i               `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3Richard Damon
20 Nov 24 i                `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
20 Nov 24 i                 `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
18 Nov 24 `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar171Mikko
18 Nov 24  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar170olcott
18 Nov 24   +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar3Richard Damon
18 Nov 24   i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2olcott
19 Nov 24   i `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
19 Nov 24   `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar166Mikko
20 Nov 24    `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar165olcott
20 Nov 24     `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar164Mikko
21 Nov 24      `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar163olcott
21 Nov 24       +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar35Richard Damon
21 Nov 24       i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar34olcott
21 Nov 24       i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar33Richard Damon
21 Nov 24       i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar32olcott
21 Nov 24       i   +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar30joes
21 Nov 24       i   i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar29olcott
22 Nov 24       i   i +- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
22 Nov 24       i   i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar27joes
22 Nov 24       i   i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar26olcott
22 Nov 24       i   i   +* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar23joes
22 Nov 24       i   i   i`* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar22olcott
22 Nov 24       i   i   i `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar21joes
22 Nov 24       i   i   i  `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar20olcott
22 Nov 24       i   i   `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar2Richard Damon
22 Nov 24       i   `- Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar1Richard Damon
21 Nov 24       `* Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar127Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal