Sujet : Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser
De : python (at) *nospam* invalid.org (Python)
Groupes : comp.theoryDate : 22. Aug 2024, 14:11:33
Autres entêtes
Organisation : CCCP
Message-ID : <va7de6$blq6$24@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
Le 22/08/2024 à 14:59, olcott a écrit :
On 8/22/2024 3:16 AM, Fred. Zwarts wrote:
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"
"verbatim words" ahah.
Flagrante delicto of Sin => Hell.
…