Liste des Groupes | Revenir à s logic |
Claude.ai agrees that the halting problem as defined is a
category error.
https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a
This can only be directly seen within my notion of a
simulating halt decider. I used the Linz proof as my basis.
Sorrowfully Peter Linz passed away 2 days less than
one year ago on my Mom's birthday July 19, 2024.
Les messages affichés proviennent d'usenet.