| Liste des Groupes | Revenir à theory |
On 2025-10-15, Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote:Yes that sums up the key mistake of the Halting problem.On 15/10/2025 03:46, Kaz Kylheku wrote:Which points to our mistake, because in this context we are handed
...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.
the ontology.
Les messages affichés proviennent d'usenet.