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 : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 19. Nov 2024, 00:06:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vhgh9v$1f3se$2@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 11/18/2024 3:35 PM, Richard Damon wrote:
On 11/18/24 4:11 PM, olcott wrote:
On 11/18/2024 1:38 PM, Richard Damon wrote:
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.
>
*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
>
>
Note, HHH is not a "interpreter" tasked with recreating the behavior of the input.
>
>
An emulator is isomorphic to an interpreter shit-for-brains.
 But both are only that if they never stop.
 
No shit-for-brains that is not true.
An emulator is ALWAYS isomorphic to an interpreter.

HHH is not an "interpreter" or an "emulator" it is a decider, just like
HHH <is> an emulator shit-for-brains. That it is more
that an emulator does not mean it is not an emulator.
Not only is HHH an emulator it is a complete emulator
it correctly emulates the whole set of x86 instructions
that are in Halt7.obj.

all halt deciders / termination analyzers. It may use partial emulation as a method, but it fails to meet the definition of a full emulator.
 
No shit-for-brains. Your severe brain damage keeps
insisting that a non-terminating input be emulated
completely. It emulates terminating inputs completely.
--
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
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