Sujet : Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 20. May 2025, 17:18:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <100ia0b$2abui$1@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
User-Agent : Mozilla Thunderbird
On 5/20/2025 10:48 AM, Richard Heathfield wrote:
On 20/05/2025 16:30, olcott wrote:
<nothing he hasn't said a thousand times before>
<yawn>
Excessive repetition hinders you. But I repeat myself.
<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
No one has actually made any rebuttal of my actual points.
Even Mike tried to get away with the strawman fallacy of
substituting DDD simulated by HHH1 for my actual claim of
DDD simulated by HHH.
As long as everyone KEEPS DOING THIS it remains
perfectly apt for me to KEEP POINTING THIS OUT.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer