Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH

Liste des GroupesRevenir à s logic 
Sujet : Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 14. May 2025, 22:01:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10030c3$2mivc$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 5/14/2025 3:51 PM, dbush wrote:
On 5/14/2025 11:45 AM, olcott wrote:
On 5/14/2025 6:20 AM, Richard Damon wrote:
>
And since the DD that HHH is simulating WILL HALT when fully simulated (an action that HHH doesn't do)
>
*NOT IN THE ACTUAL SPEC*
<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
>
 That Sipser didn't agree what you think the above means:
 
If that was actually true then you could provide an
alternative meaning for the exact words stated above.
I keep challenging you to provide this alternative
meaning and you dodge because you know that you are
lying about there being any alternative meaning
FOR THE EXACT WORDS LISTED ABOVE.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
27 May 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal