Liste des Groupes | Revenir à theory |
On 8/22/2024 3:16 AM, Fred. Zwarts wrote:"verbatim words" ahah.Op 22.aug.2024 om 06:22 schreef olcott:<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its input D
until H correctly determines that its simulated D would never
stop running unless aborted then
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
We swap the word "determines" for "predicts"
Les messages affichés proviennent d'usenet.