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, 18:07:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <100ict0$2b77t$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 24 25 26 27
User-Agent : Mozilla Thunderbird
On 5/20/2025 11:58 AM, Richard Heathfield wrote:
On 20/05/2025 17:46, olcott wrote:
On 5/20/2025 11:44 AM, Richard Heathfield wrote:
On 20/05/2025 17:18, olcott wrote:
No one has actually made any rebuttal of my actual points.
>
It's far from clear what your actual points are.
>
But I repeat myself.
>
>
Mike Terry Proves ---
How the requirements that Professor Sipser agreed to are exactly met
The evidence of articles posted in this newsgroup suggests strongly that what you think Mike Terry 'proves' is very different from what he thinks he's saying.
*The bullshit and double-talk posted here does no such thing*
On 5/14/2025 7:36 PM, Mike Terry wrote:
--------- Sipser quote -----
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.
----------------------------
we can easily interpret that as saying exactly what I said
a SHD does above. It tells PO that in the tight loop example,
H correctly simulates as far as [A], at which point it correctly
determines that "its simulated input would never stop running
unless aborted", so it can decide "non-halting".
https://al.howardknight.net/?STYPE=msgid&MSGI=%3C1003cu5%242p3g1%241%40dont-email.me%3E It also suggests that you are trying to muddy the waters.
Liar!
I think you're being deliberately unclear and trying your utmost not to be understood.
Why, I know not. But you are not behaving as someone would who has confidence in his argument. If you truly believed you were right, you would be doing your utmost to make yourself clear. Every foolish repetition and every pointless evasion makes it harder and harder for anyone to take you seriously.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer