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 à c 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 : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 18. Nov 2024, 20:34:28
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <213a1232fb21eb7f670d44695f92d1cfc3180c72@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 11/18/24 2:19 PM, olcott wrote:
On 11/18/2024 1:05 PM, Richard Damon wrote:
On 11/18/24 1:38 PM, olcott wrote:
On 11/18/2024 8:56 AM, Richard Damon wrote:
On 11/18/24 8:49 AM, olcott wrote:
On 11/18/2024 3:19 AM, joes wrote:
Am Sun, 17 Nov 2024 20:35:43 -0600 schrieb olcott:
On 11/17/2024 8:26 PM, Richard Damon wrote:
On 11/17/24 8:44 PM, olcott wrote:
On 11/17/2024 4:03 PM, Richard Damon wrote:
On 11/17/24 3:49 PM, olcott wrote:
On 11/17/2024 1:56 PM, Richard Damon wrote:
On 11/17/24 1:36 PM, olcott wrote:
>
I referred to every element of an infinite set of encodings of HHH.
>
Do you mean they are parameterised by the number of steps they simulate?
>
>
No I do not mean that.
>
Then your arguement is based on an equivocation.
>
Whether or not DDD emulated by HHH ever reaches its
own "return" instruction final halt state has nothing
to do with any of the internal working of HHH as long
as each HHH emulates N steps of its input according
to the semantics of the x86 language.
>
Except that the behavior DOES depend on if that HHH returns.
>
Of course, your subjective, non-semantic property of "emulated by HHH" is just a meaningless term, so doesn't really mean anything, so your statement is just nonsense anyway.
>
>
You are a damned liar trying to get away with lying about
the effect of the pathological relationship that DDD specifies.
>
>
>
Nope, you are a just a damned liar making claims without any form of actual logic behind them.
>
Do you have ANY source that backs your claims about what you claim?
>
 DEFECTION FOR BRAINS
DDD emulated by HHH specifies that HHH emulates
itself emulating DDD such that no such DDD can ever
reach its "return" instruction final halt state.
But the emulation by HHH is NOT the criteria, as the PARTIAL emulation by HHH is not a semantic property, and is just subjective, not objective

 *Professor Hehner recognized this repeating process before I did*
   From a programmer's point of view, if we apply an interpreter to a
   program text that includes a call to that same interpreter with that
   same text as argument, then we have an infinite loop. A halting
   program has some of the same character as an interpreter: it applies
   to texts through abstract interpretation. Unsurprisingly, if we apply
   a halting program to a program text that includes a call to that same
   halting program with that same text as argument, then we have an
   infinite loop. (Hehner:2011:15)
 [5] E C R Hehner. Problems with the Halting Problem, COMPUTING2011 Symposium on 75 years of Turing Machine and Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21; Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
https://www.cs.toronto.edu/~hehner/PHP.pdf
 
Just showing that you are not alone in making the error.
If you want a vote, you looks by a landslide against you.
Of course, by your voting logic, that means you "win" the election.

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