Re: The halting problem is self-contradictory

Liste des GroupesRevenir à theory 
Sujet : Re: The halting problem is self-contradictory
De : tristan.wibberley+netnews2 (at) *nospam* alumni.manchester.ac.uk (Tristan Wibberley)
Groupes : comp.theory sci.logic comp.lang.c sci.math
Date : 15. Oct 2025, 05:39:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10cn8hn$3dnsg$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 15/10/2025 03:46, Kaz Kylheku wrote:
...
If it ever seems as if the same machine both halts and does not
halt, we have made some mistake in our reasoning or symbol
manipulation; if we take a fresh, correct look, we will find that
we have been working with two machines....

or else that our ontology is incorrect.

--
Tristan Wibberley


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