Re: HP counter-example INPUT cannot possibly exist

Liste des GroupesRevenir à theory 
Sujet : Re: HP counter-example INPUT cannot possibly exist
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 20. Jun 2025, 18:44:22
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <99eb0f362051436ae74efca453421ffb6cc84724@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 20 Jun 2025 11:39:40 -0500 schrieb olcott:
On 6/19/2025 3:12 AM, Mikko wrote:
On 2025-06-18 14:39:02 +0000, olcott said:
On 6/16/2025 3:21 AM, Mikko wrote:
On 2025-06-15 14:44:47 +0000, olcott said:
On 6/15/2025 4:19 AM, Mikko wrote:
On 2025-06-13 15:33:45 +0000, olcott said:
On 6/13/2025 5:37 AM, Mikko wrote:

As you respond to my question without answering it it is obvious
that you don't see any proofs in your article.
>
It is a fact that there is no actual input D to any termination
analyzer H that does the opposite of whatever value that H
derives. The key element that all conventional HP proofs depend on
cannot possibly exist.
>
Nonsense is not a fact.
>
After studying these things for 22 years I found that every
conventional proof of the halting problem never provides an actual
input that would do the opposite of whatever value that its partial
halt decider (PHD) returns.
Only if that non-decider simulates.

The core part of those proofs is a constructive specification of that
test case.
Yet no one ever noticed that the counter-example input cannot even be
constructed thus the proof itself never actually existed.
How can't it be constructed? You are certainly passing that input to HHH.

Depending on the style of the proof one can ither prove that the
counter example exists or that if a halting decider exists then the
caunter example exists, too, and otherwise none is needed.
 
No this is counter-factual.
It has never been possible for *AN ACTUAL INPUT* to do the opposite of
whatever value that it decider decides.
Do you think that no programs halt when HHH is prepended? Do you think
that HHH doesn't halt?

int main()
{
   DD(); // IS NOT AN ACTUAL INPUT TO THE
}       // HHH(DD) THAT THIS DD() CALLS.
Then explain why you are not passing it to HHH for fuck's sake.

In the C programming language it has always been impossible for the
caller of a function to be an argument to this called function.
No, C does not forbid recursion.

The finite string of x86 machine language that is passed as an argument
to HHH *is not exactly one and the same thing as the directly executed
DD*
DD does have the same "string". How else would you pass a program?

Intuition would tell you that the behavior must be the same, yet
empirical proof proves they are not the same.
No, the definitions tell us the behaviour is the same; your intuition
tells you HHH is correct.

--
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
10 Jun 25 * Re: "big fat ignorant liar"46Richard Damon
10 Jun 25 `* Re: "big fat ignorant liar"45olcott
10 Jun 25  `* Re: "big fat ignorant liar"44Richard Damon
10 Jun 25   `* Re: "big fat ignorant liar"43olcott
10 Jun 25    +- Re: "big fat ignorant liar"1Richard Damon
11 Jun 25    `* Re: "big fat ignorant liar"41Mikko
11 Jun 25     `* Re: "big fat ignorant liar"40olcott
11 Jun 25      +- Re: "big fat ignorant liar"1Richard Damon
12 Jun 25      `* Re: "big fat ignorant liar"38Mikko
12 Jun 25       `* Re: "big fat ignorant liar"37olcott
12 Jun 25        +- Re: "big fat ignorant liar"1Richard Damon
13 Jun 25        `* Re: "big fat ignorant liar"35Mikko
13 Jun 25         `* Re: "big fat ignorant liar"34olcott
15 Jun 25          `* Re: "big fat ignorant liar"33Mikko
15 Jun 25           `* Re: "big fat ignorant liar"32olcott
16 Jun 25            `* Re: "big fat ignorant liar"31Mikko
18 Jun 25             `* HP counter-example INPUT cannot possibly exist30olcott
18 Jun 25              +* Re: HP counter-example INPUT cannot possibly exist16joes
18 Jun 25              i`* Re: HP counter-example INPUT cannot possibly exist15olcott
19 Jun 25              i `* Re: HP counter-example INPUT cannot possibly exist14Mikko
20 Jun 25              i  `* Re: HP counter-example INPUT cannot possibly exist13olcott
21 Jun 25              i   `* Re: HP counter-example INPUT cannot possibly exist12Mikko
21 Jun 25              i    `* Re: HP counter-example INPUT cannot possibly exist11olcott
22 Jun 25              i     `* Re: HP counter-example INPUT cannot possibly exist10Mikko
22 Jun 25              i      `* Re: HP counter-example INPUT cannot possibly exist9olcott
23 Jun 25              i       `* Re: HP counter-example INPUT cannot possibly exist8Mikko
23 Jun 25              i        `* Re: HP counter-example INPUT cannot possibly exist7olcott
24 Jun 25              i         `* Re: HP counter-example INPUT cannot possibly exist6Mikko
24 Jun 25              i          `* Re: HP counter-example INPUT cannot possibly exist5olcott
25 Jun 25              i           `* Re: HP counter-example INPUT cannot possibly exist4Fred. Zwarts
25 Jun 25              i            `* Re: HP counter-example INPUT cannot possibly exist3olcott
26 Jun 25              i             +- Re: HP counter-example INPUT cannot possibly exist1Mikko
26 Jun 25              i             `- Re: HP counter-example INPUT cannot possibly exist1Fred. Zwarts
19 Jun 25              `* Re: HP counter-example INPUT cannot possibly exist13Mikko
20 Jun 25               `* Re: HP counter-example INPUT cannot possibly exist12olcott
20 Jun 25                +* Re: HP counter-example INPUT cannot possibly exist2joes
20 Jun 25                i`- Re: HP counter-example INPUT cannot possibly exist1olcott
21 Jun 25                `* Re: HP counter-example INPUT cannot possibly exist9Mikko
21 Jun 25                 `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof8olcott
22 Jun 25                  `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof7Mikko
22 Jun 25                   `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof6olcott
23 Jun 25                    `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof5Mikko
23 Jun 25                     `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof4olcott
24 Jun 25                      `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof3Mikko
24 Jun 25                       `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof2olcott
25 Jun 25                        `- Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal