Re: Hypothetical possibilities --- Complete Proof

Liste des GroupesRevenir à theory 
Sujet : Re: Hypothetical possibilities --- Complete Proof
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 01. Aug 2024, 17:32:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8gdan$288f9$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 26 27 28 29
User-Agent : Mozilla Thunderbird
On 8/1/2024 11:11 AM, joes wrote:
Am Thu, 01 Aug 2024 09:30:00 -0500 schrieb olcott:
On 8/1/2024 9:23 AM, Fred. Zwarts wrote:
Op 01.aug.2024 om 15:29 schreef olcott:
On 8/1/2024 8:12 AM, Fred. Zwarts wrote:
Op 01.aug.2024 om 14:20 schreef olcott:
On 8/1/2024 3:10 AM, Fred. Zwarts wrote:
Op 31.jul.2024 om 23:23 schreef olcott:
On 7/31/2024 3:01 PM, Fred. Zwarts wrote:
Op 31.jul.2024 om 17:14 schreef olcott:
On 7/31/2024 3:44 AM, Fred. Zwarts wrote:
Op 31.jul.2024 om 06:09 schreef olcott:
 
The trace stops and hides what happens when 000015d2 is called.
Olcott is hiding the conditional branch instructions in the
recursion.
These next lines conclusively prove that DDD is being correctly
emulated by HHH after DDD calls HHH(DDD).
It also shows that HHH when simulating itself, does not reach the end
of its own simulation.
If you weren't a clueless wonder you would understand that DDD correctly
emulated by HHH including HHH emulating itself emulated DDD has no end
of correct emulation.

It does if the simulated HHH aborts, but its simulating copy preempts
that. Indeed, it has no choice, but if it didn't abort, the simulation
wouldn't abort either. Therefore it can't simulate itself.
 
<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
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
I spent two years carefully composing the above before I even
asked professor Sipser to review it.
DDD is correctly emulated by HHH until HHH sees the same
never ending pattern that anyone else can see.
--
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
8 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal