Sujet : Re: V5 --- Professor Sipser --- trace of HHH on DDD input
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 25. Aug 2024, 09:53:03
Autres entêtes
Organisation : -
Message-ID : <vaensv$1qd66$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
User-Agent : Unison/2.2
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.
-- Mikko
…