It has always been impossible to define an INPUT that does the opposite of its halt decider

Liste des GroupesRevenir à s logic 
Sujet : It has always been impossible to define an INPUT that does the opposite of its halt decider
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophy
Date : 10. Jun 2025, 00:10:02
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1027pka$qb6d$1@dont-email.me>
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 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 6/9/2025 3:39 PM, Richard Heathfield wrote:
 On 09/06/2025 20:54, dbush wrote:
If you would just be honest about the fact that you're not working on the halting problem, people would stop bothering
you.
Well, I doubt if he'll ever do that, but we could stop bothering him anyway. You'd be amazed at how much time you save. :-)
 
I have refuted the halting problem proofs the
exact same way that ZFC refuted Russell's Paradox.
The halting problem proof crucially depends on defining
an *INPUT* that does the opposite of whatever value its
corresponding halt decider returns. It is not possible
to define such an *INPUT*.
int main()
{
   DDD(); // Is not an *INPUT* to the HHH(DDD)
}        // that this DDD calls.
When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
The computation that embedded_H is embedded within
is not an *INPUT* to embedded_H.
--
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
9 Jun 25 * Everyone on this forum besides Keith has been a damned liar about this point74olcott
9 Jun 25 +* Re: Everyone on this forum besides Keith has been a damned liar about this point67dbush
9 Jun 25 i`* Re: Everyone on this forum besides Keith has been a damned liar about this point66olcott
9 Jun 25 i +* Re: Everyone on this forum besides Keith has been a damned liar about this point63dbush
9 Jun 25 i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point62olcott
9 Jun 25 i i +* Re: Everyone on this forum besides Keith has been a damned liar about this point52olcott
9 Jun 25 i i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point51dbush
9 Jun 25 i i i `* Re: Everyone on this forum besides Keith has been a damned liar about this point50olcott
9 Jun 25 i i i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point49dbush
9 Jun 25 i i i   +* Re: Everyone on this forum besides Keith has been a damned liar about this point47olcott
9 Jun 25 i i i   i`* Re: Everyone on this forum besides Keith has been a damned liar about this point46dbush
9 Jun 25 i i i   i +* Re: Everyone on this forum besides Keith has been a damned liar about this point44olcott
9 Jun 25 i i i   i i`* Re: Everyone on this forum besides Keith has been a damned liar about this point43dbush
9 Jun 25 i i i   i i `* Re: Everyone on this forum besides Keith has been a damned liar about this point42olcott
9 Jun 25 i i i   i i  +- Re: Everyone on this forum besides Keith has been a damned liar about this point1dbush
9 Jun 25 i i i   i i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point40dbush
9 Jun 25 i i i   i i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point39olcott
9 Jun 25 i i i   i i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point38dbush
9 Jun 25 i i i   i i     `* Re: Everyone on this forum besides Keith has been a damned liar about this point37olcott
9 Jun 25 i i i   i i      `* Re: Everyone on this forum besides Keith has been a damned liar about this point36dbush
9 Jun 25 i i i   i i       `* Re: Everyone on this forum besides Keith has been a damned liar about this point35olcott
9 Jun 25 i i i   i i        `* Re: Everyone on this forum besides Keith has been a damned liar about this point34dbush
9 Jun 25 i i i   i i         `* Re: Everyone on this forum besides Keith has been a damned liar about this point33olcott
9 Jun 25 i i i   i i          `* Re: Everyone on this forum besides Keith has been a damned liar about this point32dbush
9 Jun 25 i i i   i i           `* Re: Everyone on this forum besides Keith has been a damned liar about this point31olcott
9 Jun 25 i i i   i i            `* Re: Everyone on this forum besides Keith has been a damned liar about this point30dbush
9 Jun 25 i i i   i i             `* Re: Everyone on this forum besides Keith has been a damned liar about this point29olcott
9 Jun 25 i i i   i i              `* Re: Everyone on this forum besides Keith has been a damned liar about this point28dbush
9 Jun 25 i i i   i i               `* Re: Everyone on this forum besides Keith has been a damned liar about this point27olcott
9 Jun 25 i i i   i i                +* Re: Everyone on this forum besides Keith has been a damned liar about this point14dbush
9 Jun 25 i i i   i i                i`* Re: Everyone on this forum besides Keith has been a damned liar about this point13olcott
9 Jun 25 i i i   i i                i `* Re: Everyone on this forum besides Keith has been a damned liar about this point12dbush
9 Jun 25 i i i   i i                i  `* Re: Everyone on this forum besides Keith has been a damned liar about this point11olcott
9 Jun 25 i i i   i i                i   `* Re: Everyone on this forum besides Keith has been a damned liar about this point10dbush
9 Jun 25 i i i   i i                i    `* Re: Everyone on this forum besides Keith has been a damned liar about this point9olcott
9 Jun 25 i i i   i i                i     `* Re: Everyone on this forum besides Keith has been a damned liar about this point8dbush
9 Jun 25 i i i   i i                i      `* Re: Everyone on this forum besides Keith has been a damned liar about this point7olcott
9 Jun 25 i i i   i i                i       +* Re: Everyone on this forum besides Keith has been a damned liar about this point4dbush
9 Jun 25 i i i   i i                i       i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i i   i i                i       i+- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i i   i i                i       i`- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i i   i i                i       `* Re: Everyone on this forum besides Keith has been a damned liar about this point2dbush
9 Jun 25 i i i   i i                i        `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i i   i i                `* Re: Everyone on this forum besides Keith has been a damned liar about this point12dbush
9 Jun 25 i i i   i i                 `* Re: Everyone on this forum besides Keith has been a damned liar about this point11olcott
9 Jun 25 i i i   i i                  `* Re: Everyone on this forum besides Keith has been a damned liar about this point10dbush
9 Jun 25 i i i   i i                   +* Re: Everyone on this forum besides Keith has been a damned liar about this point4olcott
9 Jun 25 i i i   i i                   i`* Re: Everyone on this forum besides Keith has been a damned liar about this point3dbush
9 Jun 25 i i i   i i                   i `* Re: Everyone on this forum besides Keith has been a damned liar about this point2olcott
9 Jun 25 i i i   i i                   i  `- Re: Everyone on this forum besides Keith has been a damned liar about this point1dbush
9 Jun 25 i i i   i i                   `* Re: Everyone on this forum besides Keith has been a damned liar about this point5Richard Heathfield
10 Jun 25 i i i   i i                    +- It has always been impossible to define an INPUT that does the opposite of its halt decider1olcott
10 Jun 25 i i i   i i                    `* Re: Everyone on this forum besides Keith has been a damned liar about this point3olcott
10 Jun 25 i i i   i i                     `* Re: Everyone on this forum besides Keith has been a damned liar about this point2Richard Damon
10 Jun 25 i i i   i i                      `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i i   i `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 i i i   `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
10 Jun 25 i i +* Mike can't even count to eight --- HHH(DDD)2olcott
10 Jun 25 i i i`- Re: Mike can't even count to eight --- HHH(DDD)1Richard Damon
14 Jun 25 i i `* The input to HHH(DDD) specifies a non-halting sequence of configurations +++7olcott
15 Jun 25 i i  `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++6Fred. Zwarts
15 Jun 25 i i   +* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++3olcott
15 Jun 25 i i   i+- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Richard Damon
16 Jun 25 i i   i`- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
15 Jun 25 i i   `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++2olcott
16 Jun 25 i i    `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1Fred. Zwarts
9 Jun 25 i `* Re: Everyone on this forum besides Keith has been a damned liar about this point2Richard Damon
9 Jun 25 i  `- Re: Everyone on this forum besides Keith has been a damned liar about this point1olcott
9 Jun 25 +- Re: Everyone on this forum besides Keith has been a damned liar about this point1Keith Thompson
9 Jun 25 `* Re: Everyone on this forum besides Keith has been a damned liar about this point5Richard Damon
9 Jun 25  `* Re: Everyone on this forum besides Keith has been a damned liar about this point4olcott
14 Jun 25   `* The input to HHH(DDD) specifies a non-halting sequence of configurations +++3olcott
15 Jun 25    `* Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++2Fred. Zwarts
15 Jun 25     `- Re: The input to HHH(DDD) specifies a non-halting sequence of configurations +++1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal