Re: Hypothetical possibilities --- Complete Proof

Liste des GroupesRevenir à theory 
Sujet : Re: Hypothetical possibilities --- Complete Proof
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 01. Aug 2024, 20:30:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8gnoo$2bb0i$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
Op 01.aug.2024 om 18:32 schreef olcott:
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>
Sipser agreed only to a correct simulation.
 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.
The never ending pattern is there only in your dreams. The HHH that halts after two cycles has a halting pattern. Only HHH, when simulating itself, cannot see that after two cycles, because it needs one more cycle.
Two is not infinite.
Dream are no substitute for facts, not for logic.

Date Sujet#  Auteur
20 Jul 24 * Hypothetical possibilities221olcott
20 Jul 24 +* Re: Hypothetical possibilities3Richard Damon
20 Jul 24 i`* Re: Hypothetical possibilities2olcott
20 Jul 24 i `- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 +* Re: Hypothetical possibilities101Fred. Zwarts
20 Jul 24 i`* Re: Hypothetical possibilities100olcott
20 Jul 24 i +* Re: Hypothetical possibilities47Fred. Zwarts
20 Jul 24 i i+* Re: Hypothetical possibilities6olcott
20 Jul 24 i ii+* Re: Hypothetical possibilities4Richard Damon
20 Jul 24 i iii`* Re: Hypothetical possibilities3olcott
20 Jul 24 i iii +- Re: Hypothetical possibilities1Richard Damon
21 Jul 24 i iii `- Re: Hypothetical possibilities1Fred. Zwarts
21 Jul 24 i ii`- Re: Hypothetical possibilities1Fred. Zwarts
20 Jul 24 i i`* Re: Hypothetical possibilities40Alan Mackenzie
20 Jul 24 i i +* Re: Hypothetical possibilities11olcott
20 Jul 24 i i i+* Re: Hypothetical possibilities2Alan Mackenzie
22 Jul 24 i i ii`- Re: Hypothetical possibilities --- Alan Mackenzie tries to get away with mere rhetoric as a rebuttal1olcott
21 Jul 24 i i i`* Re: Hypothetical possibilities8Fred. Zwarts
21 Jul 24 i i i `* Re: Hypothetical possibilities7olcott
21 Jul 24 i i i  +* Re: Recursive simulation (was: Hypothetical possibilities)3joes
21 Jul 24 i i i  i`* Re: Recursive simulation2olcott
21 Jul 24 i i i  i `- Re: Recursive simulation1Fred. Zwarts
21 Jul 24 i i i  +* Re: Hypothetical possibilities2Fred. Zwarts
21 Jul 24 i i i  i`- Re: Hypothetical possibilities1joes
21 Jul 24 i i i  `- Re: Hypothetical IMpossibilities1Richard Damon
20 Jul 24 i i +* Re: Hypothetical possibilities2olcott
21 Jul 24 i i i`- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 i i +- Re: Hypothetical possibilities --- Alan Mackenzie1olcott
20 Jul 24 i i +- Re: Hypothetical possibilities --- Alan Mackenzie1olcott
21 Jul 24 i i +* Re: Hypothetical possibilities7olcott
21 Jul 24 i i i`* Re: Hypothetical possibilities6Fred. Zwarts
21 Jul 24 i i i `* Re: Hypothetical possibilities5olcott
21 Jul 24 i i i  +* Re: Hypothetical possibilities3Fred. Zwarts
22 Jul 24 i i i  i`* Re: Hypothetical possibilities2olcott
22 Jul 24 i i i  i `- Re: Hypothetical possibilities1Fred. Zwarts
21 Jul 24 i i i  `- Re: Hypothetical IMpossibilities1Richard Damon
22 Jul 24 i i +* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric16olcott
22 Jul 24 i i i+- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric1Fred. Zwarts
22 Jul 24 i i i+* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric4Alan Mackenzie
22 Jul 24 i i ii+- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Liar?1olcott
22 Jul 24 i i ii`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away denying tautologies2olcott
23 Jul 24 i i ii `- Re: Hypothetical possibilities --- Fake rebuttals trying to get away denying tautologies1Fred. Zwarts
23 Jul 24 i i i`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric10Mikko
23 Jul 24 i i i `* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric9olcott
23 Jul 24 i i i  +* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric7Alan Mackenzie
23 Jul 24 i i i  i`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say6olcott
23 Jul 24 i i i  i +- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say1Fred. Zwarts
24 Jul 24 i i i  i `* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say4Richard Damon
24 Jul 24 i i i  i  `* Re: Hypothetical possibilities --- Mindless robots programmed to disagree3olcott
24 Jul 24 i i i  i   +- Re: Hypothetical possibilities --- Olcott is a Mindless robots programmed to disagree1Richard Damon
24 Jul 24 i i i  i   `- Re: Hypothetical possibilities --- Mindless robots programmed to disagree1Fred. Zwarts
25 Jul 24 i i i  `- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric1Mikko
22 Jul 24 i i `- Re: Hypothetical possibilities --- Alan Mackenzie tries to get away with mere rhetoric as a rebuttal1olcott
20 Jul 24 i `* Re: Hypothetical possibilities52Richard Damon
20 Jul 24 i  `* Re: Hypothetical possibilities51olcott
20 Jul 24 i   +* Re: Hypothetical possibilities49joes
20 Jul 24 i   i+- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 i   i`* Re: Hypothetical possibilities47olcott
21 Jul 24 i   i `* Re: Hypothetical possibilities46Richard Damon
21 Jul 24 i   i  `* Re: Hypothetical possibilities45olcott
21 Jul 24 i   i   `* Re: Hypothetical possibilities44Richard Damon
21 Jul 24 i   i    `* Re: Hypothetical possibilities43olcott
21 Jul 24 i   i     `* Re: Hypothetical possibilities42Richard Damon
21 Jul 24 i   i      `* Re: Hypothetical possibilities41olcott
21 Jul 24 i   i       `* Re: Hypothetical possibilities40Richard Damon
21 Jul 24 i   i        +* Re: Hypothetical possibilities31olcott
21 Jul 24 i   i        i`* Re: Hypothetical possibilities30Richard Damon
21 Jul 24 i   i        i +* Re: Hypothetical possibilities6olcott
21 Jul 24 i   i        i i`* Re: Hypothetical possibilities5Richard Damon
21 Jul 24 i   i        i i `* Re: Hypothetical possibilities4olcott
21 Jul 24 i   i        i i  `* Re: Hypothetical possibilities3Richard Damon
21 Jul 24 i   i        i i   `* Re: Hypothetical possibilities2olcott
21 Jul 24 i   i        i i    `- Re: Hypothetical possibilities1Richard Damon
21 Jul 24 i   i        i `* Re: Hypothetical possibilities -- I reread this again more carefully23olcott
21 Jul 24 i   i        i  +* Re: Hypothetical possibilities -- I reread this again more carefully6olcott
21 Jul 24 i   i        i  i+- Re: Hypothetical possibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i  i`* Re: Hypothetical possibilities -- I reread this again more carefully4joes
21 Jul 24 i   i        i  i `* Re: Hypothetical possibilities -- I reread this again more carefully3olcott
21 Jul 24 i   i        i  i  `* Re: Hypothetical possibilities -- I reread this again more carefully2joes
21 Jul 24 i   i        i  i   `- Re: Hypothetical possibilities -- I reread this again more carefully1olcott
21 Jul 24 i   i        i  `* Re: Hypothetical possibilities -- I reread this again more carefully16Richard Damon
21 Jul 24 i   i        i   +* Re: Hypothetical possibilities -- I reread this again more carefully14olcott
21 Jul 24 i   i        i   i`* Re: Hypothetical possibilities -- I reread this again more carefully13Richard Damon
21 Jul 24 i   i        i   i +* Re: Hypothetical possibilities -- I reread this again more carefully8olcott
21 Jul 24 i   i        i   i i`* Re: Hypothetical possibilities -- I reread this again more carefully7joes
21 Jul 24 i   i        i   i i `* Re: Hypothetical possibilities -- I reread this again more carefully6olcott
21 Jul 24 i   i        i   i i  +* Re: Hypothetical possibilities -- I reread this again more carefully4joes
21 Jul 24 i   i        i   i i  i`* Re: Hypothetical possibilities -- I reread this again more carefully3olcott
21 Jul 24 i   i        i   i i  i +- Re: Hypothetical possibilities -- I reread this again more carefully1Fred. Zwarts
21 Jul 24 i   i        i   i i  i `- Re: Hypothetical IMpossibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i   i i  `- Re: Hypothetical IMpossibilities -- I reread this again more carefully1Richard Damon
22 Jul 24 i   i        i   i `* Re: Hypothetical possibilities -- I reread this again more carefully4olcott
22 Jul 24 i   i        i   i  `* Re: Hypothetical possibilities -- I reread this again more carefully3Richard Damon
22 Jul 24 i   i        i   i   `* Re: Hypothetical possibilities -- I reread this again more carefully2olcott
23 Jul 24 i   i        i   i    `- Re: Hypothetical possibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i   `- Re: Hypothetical possibilities -- I reread this again more carefully --- correction1olcott
21 Jul 24 i   i        `* Re: Hypothetical possibilities8olcott
21 Jul 24 i   i         `* Re: Hypothetical possibilities7Richard Damon
21 Jul 24 i   i          `* Re: Hypothetical possibilities6olcott
21 Jul 24 i   i           `* Re: Hypothetical possibilities5Richard Damon
21 Jul 24 i   i            `* Re: Hypothetical possibilities4olcott
20 Jul 24 i   `- Re: Hypothetical possibilities1Richard Damon
22 Jul 24 `* Re: Hypothetical possibilities116Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal