Sujet : Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
De : news.dead.person.stones (at) *nospam* darjeeling.plus.com (Mike Terry)
Groupes : comp.theoryDate : 16. May 2025, 17:08:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1007nuk$3rb4n$2@dont-email.me>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
On 16/05/2025 15:33, olcott wrote:
Mike does not agree that HHH(DD) gets the correct
answer. He does agree that an HHH derived from the
exact meaning of these words is correct:
<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>
Please stop telling other people what you think I agree and do not agree with. It serves no possible purpose other than as some kind of warped Appeal To Authority.
Just argue whatever point you are making in your own words.
Mike.
Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met