Re: HP counter-example INPUT cannot possibly exist

Liste des GroupesRevenir à theory 
Sujet : Re: HP counter-example INPUT cannot possibly exist
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 20. Jun 2025, 17:54:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10343o8$4ms9$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 6/19/2025 3:17 AM, Mikko wrote:
On 2025-06-18 16:05:33 +0000, olcott said:
 
On 6/18/2025 10:57 AM, joes wrote:
Am Wed, 18 Jun 2025 09:39:02 -0500 schrieb olcott:
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.
>
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.
In what sense? The code for DDD is clearly in your repository.
>
There has never been any HP proof that has
ever defined *AN ACTUAL INPUT* to a termination
analyzer that can possibly do the opposite of
whatever value that this termination analyzer
determines.
 Of course a proof of the halting problem does not define anything
for a termination alayzer. Termination anlyzers are not a relevant
for any proof (or other discussion) about the halting problem.
 
Simulating termination analyzer are equivalent to
a partial halt deciders.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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