Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD)

Liste des GroupesRevenir à c theory 
Sujet : Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD)
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 11. Dec 2024, 03:01:12
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <563f6f641ba78d2cc609ca8f2a9f9e2807294c5f@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 12/10/24 9:22 AM, olcott wrote:
On 12/10/2024 1:35 AM, Mikko wrote:
On 2024-12-09 13:46:16 +0000, olcott said:
>
On 12/9/2024 4:54 AM, Mikko wrote:
On 2024-12-08 19:34:19 +0000, olcott said:
>
On 12/8/2024 4:55 AM, Mikko wrote:
On 2024-12-05 04:20:50 +0000, olcott said:
>
There is an 80% chance that I will be alive in one month.
There may be an extended pause in my comments.
I will try to bring a computer to the out of town hospital.
>
On 12/4/2024 8:16 PM, Richard Damon wrote:
On 12/4/24 8:50 PM, olcott wrote:
On 12/4/2024 7:45 PM, Richard Damon wrote:
On 12/4/24 8:41 PM, olcott wrote:
On 12/4/2024 7:31 PM, Richard Damon wrote:
On 12/4/24 8:06 PM, olcott wrote:
On 12/4/2024 6:11 PM, Richard Damon wrote:
On 12/4/24 9:27 AM, olcott wrote:
On 12/3/2024 5:39 PM, Richard Damon wrote:
On 12/3/24 6:08 PM, olcott wrote:
On 12/3/2024 3:03 AM, joes wrote:
Am Mon, 02 Dec 2024 20:48:49 -0600 schrieb olcott:
On 11/28/2024 1:48 PM, joes wrote:
>
You said:
  >>> HHH can't simulate itself.
That is WRONG !!!
HHH DOES EMULATE ITSELF PROVING THAT IT CAN EMULATE ITSELF.
We know that HHH halts. It doesn't simulate itself halting.
>
>
Please try and explain how you are not dishonest what you
try to change the subject from my rebuttal of your statement:
>
 >>> HHH can't simulate itself.
>
That HHH does emulate itself emulating DDD proves
THAT IT CAN DO THIS.
>
>
But only if your think that wrong answer can be right.
>
I did not mention anything about answers my entire
scope is that HHH does emulate itself emulating DDD
thus conclusively proving that HHH can emulated itself
emulating DDD.
>
Whenever you go out-of-scope like this it surely
seems dishonest to me.
>
>
But the behaivor that HHH shows that it has *IS* an "answer",
>
DDD emulated by any HHH according to the semantics of
the x86 language cannot possibly reach its "ret" instruction
whether HHH aborts this emulation after N steps or never aborts.
>
>
>
Just a nonsense sentence, since HHH can't emulate HHH as it isn't given it,
>
Why do you have to keep fucking lying about this?
I could die on the operating table in two weeks!
>
>
What's the lie?
>
Can you point to what I say that is wrong, and a reliable reference that show it?
>
All you have is your own lies to call it a lie.
>
And yes, you might die in two weeks, and the only thing you will have left behind is all your lies.
>
Yes you fucking jackass this conclusively proves that
HHH does emulate itself emulating DDD.
>
https://github.com/plolcott/x86utm/blob/master/Halt7.c
>
>
>
Nope.
>
It proves that your HHH fails to meet its requirement to be pure function
>
It proves that HHH does emulate itself emulating DDD.
>
Once we get through this point then we know that DDD
does not halt:
>
DDD emulated by any HHH according to the semantics of
the x86 language cannot possibly reach its "ret" instruction
whether HHH aborts this emulation after N steps or never aborts.
*This tells us that DDD emulated by HHH DOES NOT HALT*
>
We do not begin to examine whether or not HHH found this
answer as a pure function until after we agree with the
prior point.
>
*In all of the history of the halting problem there*
*have never been a correct return value for this*
>
typedef void (*ptr)();
int HHH(ptr P);
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
int main()
{
   HHH(DD);
}
>
This is not a useful main. It is sufficient to determine whether HHH
returns but not to determine whther it returns the correct value.
>
When we understand that the first point is correct
then we know that HHH returning 0 is correct.
*This has much has never ever been done before*
>
This is one of the well known methods to prove that the value HHH returns
is incorrect. If HHH returns 0 then DD returns 0 but the meaning of 0 in
this context is that DD does not halt. THerefore the value returned by
HHH is incorrect.
>
Every expert in the C programming language has agreed that DD
simulated by HHH cannot possibly return.
>
No, they not. They have agreed that DD returns only if HHH returns
0 and that HHH is not able to simulated DD to that point.
>
Everyone disagreeing with this has dishonestly used to strawman
deception to refer to different behavior than DD simulated by HHH.
>
The topic as specified on the subject line is the behaviour of DD and
what HHH should report. Simulation is not mentioned there.
>
I can't put more than a sentence on the subject line.
>
What you did put there specifies that the halting problem is on topic
and therefore is not "strawman".
>
 In the specific aspect of the "do the opposite of whatever HHH says"
halting problem input DD, HHH does correctly reject DD as non-halting
on the basis that DD emulated by any HHH cannot possibly reach its
own final state.
Nope, sincr the program DD will halt and the program HHH says it will not.
Since you say it is answering the halting quesiton, that is, and only is, about the behavior of the *PROGRAM* described by the input, which *MUST* include all the code that it uses, and thus your short string of bytes you claim is the "input" is just a *LIE*. Since you admit that HHH looks at the "Global memory space", you have admitted that all of that IS THE INPUT, and thus you can't change HHH without creating a DIFFERENT problem, and thus we show that there are alternate deciders "HHH" (at different addresses as required to not change the input) that can emulate/simulate this input to a final state (like HHH1) and thus you claim is false.

Whether or not HHH did this the proper way is a different
subject. We only examining the single aspect of the correctness
of the return value. We are not examining any other aspect.
This one single aspect seems to be unprecedented progress.
But the wrong answer is just wrong, and you prove you are nothing but =an ignorant pathetic pathological lying idiot to think that it is ok to try to change the fundamental rules of the system.
That is what you are leaving as your legacy, that Peter Olcott doesn't undetstand that the rules of the system ARE the rules of the system, and can't be changed.
That is a fundamental part of "Truth" for which it seems is totally foreign to you, showing your total lack of undetstanding on how logic and truth works.
Sorry, but those are the FACTS, and you inability to understand that just proves that they ARE the facts about you. You are just showing that you are too stupid to see your stupidity, which is the worse kind of stupidity.
Your failure to address the problems just show that you understand you have no arguement against them, and thus are conceeding them to be real problems. When you die, you won't be able to divert from them any more, but they will be stuck to your reputation forever (until you become just a forgotten splot in life).

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