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:39:40
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10342se$4ms9$1@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 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:
On 2025-06-12 15:18:30 +0000, olcott said:
>
On 6/12/2025 3:23 AM, Mikko wrote:
On 2025-06-11 14:34:41 +0000, olcott said:
>
On 6/11/2025 4:19 AM, Mikko wrote:
On 2025-06-10 15:11:50 +0000, olcott said:
>
On 6/10/2025 6:15 AM, Richard Damon wrote:
On 6/9/25 8:34 PM, olcott wrote:
On 6/9/2025 7:16 PM, Richard Damon wrote:
On 6/9/25 3:16 PM, Mr Flibble wrote:
"big fat ignorant liar" -- Damon
>
There are no words.
>
/Flibble
>
Can you show me wrong?
>
Or are you complaining about me telling him the truth?
>
What about this paper that I wrote?
>
Severe anthropogenic climate change proven entirely with verifiable facts
>
https://www.researchgate.net/ publication/336568434_Severe_anthropogenic_climate_change_proven_entirely_with_verifiable_facts
>
>
Which just shows you don't know the meaning of the word "prove".
>
What specifically do you believe is not proven?
>
The article makes no attempt to prove anything.
>
That is a dishonest or stupid thing to say.
>
On what page and line there is the end of the conclusion of
a proof?
>
Maybe you don't know what a verified fact is?
>
Irrepevant.
>
That you don't know what a verified fact is, cannot
possibly be more relevant.
>
Indeed, but what is more relevant is that you don't know what a fact is.
>
It means that when I conclusively
prove that you are wrong you will still think that you are
correct because you lack the basis for dividing correct
from incorrect.
>
Irrelevant as long as you don't prove anything.
>
When I fully proven my claim and your lack of sufficient
technical knowledge fails to understand this proof that
is not any actual rebuttal at all.
>
Be specific. The relevant techincal knoledge is the knowloedge
of what a proof is and how one looks like. That knowledge
I have, so I know that you have not presented any proof.
I have not failed to understand what does not exist.
>
A proof is any sequence of statements
 So far correct.
 
that are necessarily true and thus impossibly false.
 But this is not. A proof starts with assumptions that may be true of
false. Each statement that is not a definition, axiom, postulate,
hypthesis or other assumption follows from some previous statements
by an inference rule. The conclusion of a proof is the last statement
of the sequence.
 
Some proofs begin with definitions instead of assumptions.

Your question "What specifically do you believe is not
proven?" was about proofs, not about facts.
>
Facts are the ultimate ground-of-being maximum foundational
basis of all proofs.
>
No, they are not, just of proofs about the real world.
>
So how many decades how you carefully studied the
philosophical foundation of analytical truth?
>
It doesn't take decades of study to learn that an analyitcal
truth says nothing about the real world. That is one of the
very first things teached and learned.
>
That dogs are animals is an analytical truth
that does say something about the real world.
 No, it is not. Vernacular terms "dog" and "animal" have aquired teir
traditiona meanigs separately and at different times. The statement
"Dogs are aninals" is known to be true from comparison of various
things to the traditional meanings of those words.
 
Like almost everyone you don't know much about
analytical truth.
 As an analytincal truth says nothing about the real world the
usefulness of any knowledge about it is limited.
 
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.
 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.
*For 90 years no one ever bothered to notice this*
int main()
{
   DD(); // IS NOT AN ACTUAL INPUT TO THE
}       // HHH(DD) THAT THIS DD() CALLS.
In the C programming language it has always been
impossible for the caller of a function to be an
argument to this called function.
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*
Intuition would tell you that the behavior must be the
same, yet empirical proof proves they are not the same.
That you insist on disagreeing with empirical proof is
ridiculous.

It is always the case that the computation the PHD
is embedded within or the function that calls the
PHD that does the opposite. It is never the input.
>
Doesn't matter. Those proofs prove that for any Turing machine there
is an input that proves that the decider is not a halt decider.
>
*Counter-factual there never has been any such an input*
 It is proven that for every Turing machine there is a counter
example. The proof also identifies what that counter example
is.
 
This may be difficult to understand.
A lack of comprehension does not count as a rebuttal.
 That's right. You have no rebuttal but, lacking comprehension,
you keep claiming that you have.
 
When Ĥ is applied to ⟨Ĥ⟩     // *adapted from bottom of page 319*
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
 That is not a syntactically valid sentence and therefore does not
say anything. The original sentence is meaningful but the "adaptation"
did not preserve its meaning and meaningfulness.
 In particular it does not mean that:
 
Within the premise that embedded_H is a simulating partial
halt decider based on a UTM then it does mean this.
Because every author rejected simulation out-of-hand
without review no one even noticed this before.

(a) Ĥ copies its input ⟨Ĥ⟩
(b) Ĥ invokes embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩
(c) embedded_H simulates ⟨Ĥ⟩ ⟨Ĥ⟩
(d) simulated ⟨Ĥ⟩ copies its input ⟨Ĥ⟩
(e) simulated ⟨Ĥ⟩ invokes simulated embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩
(f) simulated embedded_H simulates ⟨Ĥ⟩ ⟨Ĥ⟩
(g) goto (d) with one more level of simulation until embedded_H
     sees the repeating pattern and transitions to Ĥ.qn.
>
⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by embedded_H cannot possibly
reach its own ⟨Ĥ.qy⟩ state or final halt state of ⟨Ĥ.qn⟩
thus can never do the opposite of whatever embedded_H decides.
https://www.liarparadox.org/Peter_Linz_HP_317-320.pdf
 
--
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