Re: V5 --- Professor Sipser --- trace of HHH on DDD input

Liste des GroupesRevenir à theory 
Sujet : Re: V5 --- Professor Sipser --- trace of HHH on DDD input
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 25. Aug 2024, 14:32:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vaf886$1sf6p$2@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
User-Agent : Mozilla Thunderbird
On 8/25/2024 2:53 AM, Mikko wrote:
On 2024-08-24 19:49:42 +0000, Fred. Zwarts said:
 
Op 24.aug.2024 om 16:35 schreef olcott:
On 8/24/2024 9:27 AM, joes wrote:
Am Sat, 24 Aug 2024 08:21:45 -0500 schrieb olcott:
On 8/24/2024 3:47 AM, Fred. Zwarts wrote:
Op 23.aug.2024 om 23:40 schreef olcott:
On 8/23/2024 2:24 AM, joes wrote:
Am Thu, 22 Aug 2024 12:42:59 -0500 schrieb olcott:
>
Only IF it will in fact keep repeating, which is not the case.
Only IF it *WOULD* in fact keep repeating, *which is the case*
It is the case only if you still cheat with the Root variable, which
makes that HHH processes a non-input, when it is requested to predict
the behaviour of the input.
The fact is that it *WOULD* in fact keep repeating,
thus *IT DOES* get the correct answer.
>
The simulated, aborting HHH would… abort.
>
<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
>
Why repeating this over and over again if you do not understand the words?
Sipser agreed to 'If ... correctly simulates ... correctly determines ...'.
There is no correct simulation, there is no correct determination, so the remainder of the sentence does not apply.
Maybe you should read it a few more times, until you understand what 'if' means.
Maybe use a dictionary to learn the meaning of English words.
 For certain words like "if" and "would" a grammar book might be better.
 
"IF" AKA within the following assumed premises:
   {HHH emulates N instructions of DDD according to the
    semantics of the x86 language}
"UNTIL" (this condition is met)
{a preexisting correct non-halting behavior
  pattern has been matched by these N instructions}
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal