Re: The halting problem is self-contradictory

Liste des GroupesRevenir à theory 
Sujet : Re: The halting problem is self-contradictory
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 20. Oct 2025, 20:21:33
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10d623t$384nl$5@dont-email.me>
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 Mon, 20 Oct 2025 13:42:56 -0500 schrieb olcott:
On 10/20/2025 1:09 PM, joes wrote:
Am Mon, 20 Oct 2025 12:47:36 -0500 schrieb olcott:
On 10/20/2025 12:41 PM, joes wrote:

What details? Every DD calls HHH, and every HHH aborts.
The semantic halting property of the input finite string overrules
everything else because Turing machines only compute their mapping
from input finite strings.
The input contains an encoding of the abort.
If (a) is met (and it is met) then the input specifies non halting
behavior. Non-halting is not and never has been the same thing as
stopping running or yanking the power cord would prove that all programs
halt.
It is not met. Whether an input halts does not depend on what HHH says.

--
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
15 Oct 25 * The halting problem is self-contradictory126olcott
15 Oct 25 +* Re: The halting problem is self-contradictory62Kaz Kylheku
15 Oct 25 i+* Re: The halting problem is self-contradictory53olcott
15 Oct 25 ii+* Re: The halting problem is self-contradictory51Kaz Kylheku
15 Oct 25 iii+* Re: The halting problem is self-contradictory31olcott
15 Oct 25 iiii`* Re: The halting problem is self-contradictory30Kaz Kylheku
15 Oct 25 iiii `* Re: The halting problem is self-contradictory29olcott
15 Oct 25 iiii  `* Re: The halting problem is self-contradictory28Kaz Kylheku
15 Oct 25 iiii   +* Re: The halting problem is self-contradictory12olcott
15 Oct 25 iiii   i+* Re: The halting problem is self-contradictory10Alan Mackenzie
15 Oct 25 iiii   ii`* Re: The halting problem is self-contradictory9olcott
15 Oct 25 iiii   ii +* Re: The halting problem is self-contradictory6Alan Mackenzie
15 Oct 25 iiii   ii i+* Re: The halting problem is self-contradictory4olcott
16 Oct 25 iiii   ii ii`* Re: The halting problem is self-contradictory3Kaz Kylheku
16 Oct 25 iiii   ii ii +- Re: The halting problem is self-contradictory1Richard Heathfield
16 Oct 25 iiii   ii ii `- The Halting Problem is Incoherent1olcott
15 Oct 25 iiii   ii i`- The Halting Problem is Incoherent1olcott
15 Oct 25 iiii   ii `* Re: The halting problem is self-contradictory2Kaz Kylheku
15 Oct 25 iiii   ii  `- The Halting Problem is Incoherent1olcott
15 Oct 25 iiii   i`- Re: The halting problem is self-contradictory1Kaz Kylheku
15 Oct 25 iiii   `* Re: The halting problem is self-contradictory15olcott
15 Oct 25 iiii    +- Re: The halting problem is self-contradictory1Chris M. Thomasson
15 Oct 25 iiii    `* Re: The halting problem is self-contradictory13Kaz Kylheku
15 Oct 25 iiii     `* Re: The halting problem is self-contradictory12olcott
15 Oct 25 iiii      `* Re: The halting problem is self-contradictory11olcott
16 Oct 25 iiii       `* Re: The halting problem is self-contradictory10Kaz Kylheku
16 Oct 25 iiii        `* Re: The halting problem is self-contradictory9olcott
16 Oct 25 iiii         `* Re: The halting problem is self-contradictory8olcott
16 Oct 25 iiii          +* Re: The halting problem is self-contradictory5Alan Mackenzie
16 Oct 25 iiii          i+- Re: The halting problem is self-contradictory1olcott
16 Oct 25 iiii          i`* Re: The halting problem is self-contradictory3Richard Heathfield
16 Oct 25 iiii          i +- Re: The halting problem is self-contradictory1olcott
16 Oct 25 iiii          i `- Re: The halting problem is self-contradictory1Kaz Kylheku
16 Oct 25 iiii          `* Re: The halting problem is self-contradictory2Kaz Kylheku
16 Oct 25 iiii           `- The Halting Problem is Incoherent1olcott
15 Oct 25 iii+* Re: The halting problem is self-contradictory18Dan Cross
15 Oct 25 iiii`* Re: The halting problem is self-contradictory17olcott
15 Oct 25 iiii +- Re: The halting problem is self-contradictory1tTh
15 Oct 25 iiii +- Re: The halting problem is self-contradictory1Kaz Kylheku
16 Oct 25 iiii `* Re: The halting problem is self-contradictory -- application to c/c++14Mikko
16 Oct 25 iiii  `* Re: The halting problem is self-contradictory -- application to c/c++13olcott
16 Oct 25 iiii   +- Re: The halting problem is self-contradictory -- application to c/c++1Chris M. Thomasson
17 Oct 25 iiii   `* Re: The halting problem is self-contradictory -- application to c/c++11Mikko
17 Oct 25 iiii    `* Re: The halting problem is self-contradictory -- application to c/c++10olcott
18 Oct 25 iiii     `* Re: The halting problem is self-contradictory -- application to c/c++9Mikko
18 Oct 25 iiii      `* Re: The halting problem is self-contradictory -- application to c/c++8olcott
19 Oct 25 iiii       `* Re: The halting problem is self-contradictory -- application to c/c++7Mikko
19 Oct 25 iiii        +* Re: The halting problem is self-contradictory -- application to c/c++3Richard Heathfield
19 Oct 25 iiii        i`* Re: The halting problem is self-contradictory -- application to c/c++2Mikko
19 Oct 25 iiii        i `- Re: The halting problem is self-contradictory -- application to c/c++1Richard Heathfield
19 Oct 25 iiii        +- Re: The halting problem is self-contradictory -- application to c/c++1olcott
19 Oct 25 iiii        `* Re: The halting problem is self-contradictory -- application to c/c++2Chris M. Thomasson
19 Oct 25 iiii         `- Re: The halting problem is self-contradictory -- application to c/c++1Chris M. Thomasson
15 Oct 25 iii`- Re: The halting problem is self-contradictory1olcott
16 Oct 25 ii`- Re: The halting problem is self-contradictory1Tristan Wibberley
15 Oct 25 i`* Re: The halting problem is self-contradictory8Tristan Wibberley
15 Oct 25 i `* Re: The halting problem is self-contradictory7Kaz Kylheku
16 Oct 25 i  +* The Halting Problem is Incoherent4olcott
16 Oct 25 i  i+- Re: The Halting Problem is Incoherent1Python
16 Oct 25 i  i`* Re: The Halting Problem is Incoherent2Tristan Wibberley
16 Oct 25 i  i `- Re: The Halting Problem is Incoherent1olcott
16 Oct 25 i  `* Re: The halting problem is self-contradictory2Tristan Wibberley
16 Oct 25 i   `- Re: The halting problem is self-contradictory1olcott
15 Oct 25 `* Re: The halting problem is self-contradictory63Mikko
15 Oct 25  +* Re: The halting problem is self-contradictory61olcott
16 Oct 25  i`* Re: The halting problem is self-contradictory60Mikko
16 Oct 25  i `* Re: The halting problem is self-contradictory59olcott
16 Oct 25  i  +* Re: The halting problem is self-contradictory4Kaz Kylheku
16 Oct 25  i  i`* The halting problem incoherent3olcott
17 Oct 25  i  i `* Re: The halting problem incoherent2Mikko
17 Oct 25  i  i  `- Re: The halting problem incoherent1olcott
17 Oct 25  i  `* Re: The halting problem is self-contradictory54Mikko
17 Oct 25  i   `* Re: The halting problem is self-contradictory53olcott
19 Oct 25  i    `* Re: The halting problem is self-contradictory52Mikko
19 Oct 25  i     `* Re: The halting problem is self-contradictory51olcott
19 Oct 25  i      +* Re: The halting problem is self-contradictory45joes
20 Oct 25  i      i`* Re: The halting problem is self-contradictory44olcott
20 Oct 25  i      i `* Re: The halting problem is self-contradictory43joes
20 Oct 25  i      i  `* Re: The halting problem is self-contradictory42olcott
20 Oct 25  i      i   `* Re: The halting problem is self-contradictory41joes
20 Oct 25  i      i    `* Re: The halting problem is self-contradictory40olcott
20 Oct 25  i      i     `* Re: The halting problem is self-contradictory39joes
20 Oct 25  i      i      `* Re: The halting problem is self-contradictory38olcott
20 Oct 25  i      i       +* Re: The halting problem is self-contradictory36joes
20 Oct 25  i      i       i`* Re: The halting problem is self-contradictory35olcott
20 Oct 25  i      i       i `* Re: The halting problem is self-contradictory34joes
20 Oct 25  i      i       i  `* Re: The halting problem is self-contradictory33olcott
20 Oct 25  i      i       i   `* Re: The halting problem is self-contradictory32olcott
20 Oct 25  i      i       i    +- Re: The halting problem is self-contradictory1Chris M. Thomasson
21 Oct 25  i      i       i    `* Re: The halting problem is self-contradictory30Kaz Kylheku
21 Oct 25  i      i       i     `* Re: The halting problem is self-contradictory29olcott
21 Oct 25  i      i       i      `* Re: The halting problem is self-contradictory28Kaz Kylheku
21 Oct 25  i      i       i       +* Re: The halting problem is self-contradictory24olcott
21 Oct 25  i      i       i       i`* Re: The halting problem is self-contradictory23Kaz Kylheku
21 Oct 25  i      i       i       i `* Re: The halting problem is self-contradictory22olcott
21 Oct 25  i      i       i       i  `* Re: The halting problem is self-contradictory21Kaz Kylheku
21 Oct 25  i      i       i       i   `* The Halting Problem is Incoherent20olcott
21 Oct 25  i      i       i       i    +* Re: The Halting Problem is Incoherent15dbush
21 Oct 25  i      i       i       i    i+* Re: The Halting Problem is Incoherent10olcott
21 Oct 25  i      i       i       i    ii`* Re: The Halting Problem is Incoherent9dbush
21 Oct 25  i      i       i       i    ii `* Re: The Halting Problem is Incoherent8olcott
23 Oct 25  i      i       i       i    i`* Re: The Halting Problem is Incoherent4olcott
21 Oct 25  i      i       i       i    `* Re: The Halting Problem is Incoherent4Kaz Kylheku
21 Oct 25  i      i       i       `* Re: The halting problem is self-contradictory3olcott
20 Oct 25  i      i       `- Re: The halting problem is self-contradictory1Kaz Kylheku
20 Oct 25  i      `* Re: The halting problem is self-contradictory5Mikko
15 Oct 25  `- Re: The halting problem is self-contradictory1Chris M. Thomasson

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal