Liste des Groupes | Revenir à s logic |
ZFC removed logically impossible decision problem instances. My newIf Turing machines remain the same, then every halt decider still has a Turing machine which it gets wrong.
foundation for computation (NFFC) only removes logically impossible
decision problem instances. Turing machines remain the same.
Les messages affichés proviennent d'usenet.