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.
Which points to our mistake, because in this context we are handed
the ontology.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
Les messages affichés proviennent d'usenet.