Re: Simulation vs. Execution in the Halting Problem

Liste des GroupesRevenir à theory 
Sujet : Re: Simulation vs. Execution in the Halting Problem
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 06. Jun 2025, 09:29:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101u8sh$251rf$3@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
Op 05.jun.2025 om 17:50 schreef olcott:
On 6/5/2025 2:14 AM, Fred. Zwarts wrote:
Op 04.jun.2025 om 18:31 schreef olcott:
On 6/4/2025 4:13 AM, Fred. Zwarts wrote:
Op 03.jun.2025 om 21:53 schreef olcott:
On 6/3/2025 7:45 AM, dbush wrote:
On 6/2/2025 10:58 PM, Mike Terry wrote:
Even if presented with /direct observations/ contradicting his position, PO can (will) just invent new magical thinking that only he is smart enough to understand, in order to somehow justify his busted intuitions.
>
My favorite is that the directly executed D(D) doesn't halt even though it looks like it does:
>
>
On 1/24/24 19:18, olcott wrote:
 > The directly executed D(D) reaches a final state and exits normally.
 > BECAUSE ANOTHER ASPECT OF THE SAME COMPUTATION HAS BEEN ABORTED,
 > Thus meeting the correct non-halting criteria if any step of
 > a computation must be aborted to prevent its infinite execution
 > then this computation DOES NOT HALT (even if it looks like it does).
>
>
If the second call of otherwise infinite recursion had
to be aborted to prevent actual infinite recursion then
this call always was non-halting even when it was forced
to stop running.
>
>
But since there is no infinite recursion, no abort is needed.
>
*You just contradicted yourself*
>
void DDD()
{
   HHH(DDD);
   return;
}
>
HHH simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)
that simulates DDD that calls HHH(DDD)...
>
There we see that HHH aborts after a finite recursion.
 HHH is supposed to abort as soon as it detects that
the simulated input cannot possibly reach its own
simulated "return" instruction final state.
 
But HHH does not *detect* that. The abort is based on an *invalid assumption*, not on what HHH sees. HHH sees only the first few recursive recursions of a finite recursion and misses the fact that the next cycle if the simulated HHH will abort and halt.
You are dreaming again of an invalid other HHH that does not abort and you use that dream as a basis for the decision to abort. But it incorrect to say that HHH detect something when it is not there.

Date Sujet#  Auteur
29 May 25 * Re: Simulation vs. Execution in the Halting Problem238olcott
30 May 25 +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
30 May 25 `* Re: Simulation vs. Execution in the Halting Problem236Mikko
30 May 25  `* Re: Simulation vs. Execution in the Halting Problem235olcott
31 May 25   +* Re: Simulation vs. Execution in the Halting Problem175Richard Damon
31 May 25   i`* Re: Simulation vs. Execution in the Halting Problem174olcott
31 May 25   i +* Re: Simulation vs. Execution in the Halting Problem168dbush
31 May 25   i i`* Re: Simulation vs. Execution in the Halting Problem167olcott
31 May 25   i i +* Re: Simulation vs. Execution in the Halting Problem165dbush
31 May 25   i i i`* Re: Simulation vs. Execution in the Halting Problem164olcott
31 May 25   i i i `* Re: Simulation vs. Execution in the Halting Problem163dbush
31 May 25   i i i  `* Re: Simulation vs. Execution in the Halting Problem162Mike Terry
1 Jun 25   i i i   `* Re: Simulation vs. Execution in the Halting Problem161olcott
1 Jun 25   i i i    +* Re: Simulation vs. Execution in the Halting Problem159Mike Terry
1 Jun 25   i i i    i`* Re: Simulation vs. Execution in the Halting Problem158olcott
1 Jun 25   i i i    i `* Re: Simulation vs. Execution in the Halting Problem157Mike Terry
1 Jun 25   i i i    i  `* Re: Simulation vs. Execution in the Halting Problem156olcott
1 Jun 25   i i i    i   +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
1 Jun 25   i i i    i   +- Re: Simulation vs. Execution in the Halting Problem1dbush
1 Jun 25   i i i    i   `* Re: Simulation vs. Execution in the Halting Problem153Mike Terry
1 Jun 25   i i i    i    +* Re: Simulation vs. Execution in the Halting Problem13olcott
2 Jun 25   i i i    i    i+* Re: Simulation vs. Execution in the Halting Problem3Richard Damon
2 Jun 25   i i i    i    ii`* Re: Simulation vs. Execution in the Halting Problem2olcott
2 Jun 25   i i i    i    ii `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
2 Jun 25   i i i    i    i`* Re: Simulation vs. Execution in the Halting Problem9Mike Terry
2 Jun 25   i i i    i    i `* Re: Simulation vs. Execution in the Halting Problem8olcott
2 Jun 25   i i i    i    i  +* Re: Simulation vs. Execution in the Halting Problem3Fred. Zwarts
2 Jun 25   i i i    i    i  i`* Re: Simulation vs. Execution in the Halting Problem2olcott
3 Jun 25   i i i    i    i  i `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
2 Jun 25   i i i    i    i  `* Re: Simulation vs. Execution in the Halting Problem4Mike Terry
2 Jun 25   i i i    i    i   `* Re: Simulation vs. Execution in the Halting Problem3olcott
2 Jun 25   i i i    i    i    `* Re: Simulation vs. Execution in the Halting Problem2Mike Terry
2 Jun 25   i i i    i    i     `- Re: Simulation vs. Execution in the Halting Problem1olcott
2 Jun 25   i i i    i    +- Re: Simulation vs. Execution in the Halting Problem1olcott
3 Jun 25   i i i    i    +* Re: Simulation vs. Execution in the Halting Problem137Mike Terry
3 Jun 25   i i i    i    i+* Re: Simulation vs. Execution in the Halting Problem5André G. Isaak
3 Jun 25   i i i    i    ii`* Re: Simulation vs. Execution in the Halting Problem4olcott
3 Jun 25   i i i    i    ii `* Re: Simulation vs. Execution in the Halting Problem3André G. Isaak
3 Jun 25   i i i    i    ii  `* Re: Simulation vs. Execution in the Halting Problem2olcott
3 Jun 25   i i i    i    ii   `- Re: Simulation vs. Execution in the Halting Problem1André G. Isaak
3 Jun 25   i i i    i    i+* Re: Simulation vs. Execution in the Halting Problem5olcott
3 Jun 25   i i i    i    ii+- Re: Simulation vs. Execution in the Halting Problem1Fred. Zwarts
3 Jun 25   i i i    i    ii`* Re: Simulation vs. Execution in the Halting Problem3Richard Damon
3 Jun 25   i i i    i    ii `* Re: Simulation vs. Execution in the Halting Problem2olcott
4 Jun 25   i i i    i    ii  `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
3 Jun 25   i i i    i    i`* Re: Simulation vs. Execution in the Halting Problem126dbush
3 Jun 25   i i i    i    i +* Re: Simulation vs. Execution in the Halting Problem117Mike Terry
3 Jun 25   i i i    i    i i+* Re: Simulation vs. Execution in the Halting Problem114wij
3 Jun 25   i i i    i    i ii`* Re: Simulation vs. Execution in the Halting Problem113olcott
4 Jun 25   i i i    i    i ii +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
4 Jun 25   i i i    i    i ii `* Re: Simulation vs. Execution in the Halting Problem111Mikko
4 Jun 25   i i i    i    i ii  `* Re: Simulation vs. Execution in the Halting Problem110olcott
6 Jun 25   i i i    i    i ii   `* Re: Simulation vs. Execution in the Halting Problem109Mikko
6 Jun 25   i i i    i    i ii    `* Re: Simulation vs. Execution in the Halting Problem108olcott
7 Jun 25   i i i    i    i ii     `* Re: Simulation vs. Execution in the Halting Problem107Mikko
7 Jun 25   i i i    i    i ii      `* Re: Simulation vs. Execution in the Halting Problem106olcott
8 Jun 25   i i i    i    i ii       +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
8 Jun 25   i i i    i    i ii       `* Re: Simulation vs. Execution in the Halting Problem104Mikko
8 Jun 25   i i i    i    i ii        `* Re: Simulation vs. Execution in the Halting Problem103olcott
8 Jun 25   i i i    i    i ii         +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
10 Jun 25   i i i    i    i ii         `* Re: Simulation vs. Execution in the Halting Problem101Mikko
10 Jun 25   i i i    i    i ii          `* Re: Simulation vs. Execution in the Halting Problem100olcott
10 Jun 25   i i i    i    i ii           +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
11 Jun 25   i i i    i    i ii           `* Re: Simulation vs. Execution in the Halting Problem98Mikko
11 Jun 25   i i i    i    i ii            `* Re: Simulation vs. Execution in the Halting Problem97olcott
11 Jun 25   i i i    i    i ii             +* Re: Simulation vs. Execution in the Halting Problem49wij
11 Jun 25   i i i    i    i ii             i`* Re: Simulation vs. Execution in the Halting Problem48olcott
11 Jun 25   i i i    i    i ii             i `* Re: Simulation vs. Execution in the Halting Problem47wij
11 Jun 25   i i i    i    i ii             i  `* Re: Simulation vs. Execution in the Halting Problem46olcott
11 Jun 25   i i i    i    i ii             i   `* Re: Simulation vs. Execution in the Halting Problem45wij
11 Jun 25   i i i    i    i ii             i    `* Re: Simulation vs. Execution in the Halting Problem44olcott
11 Jun 25   i i i    i    i ii             i     `* Re: Simulation vs. Execution in the Halting Problem43wij
11 Jun 25   i i i    i    i ii             i      `* Re: Simulation vs. Execution in the Halting Problem42olcott
11 Jun 25   i i i    i    i ii             i       `* Re: Simulation vs. Execution in the Halting Problem41wij
11 Jun 25   i i i    i    i ii             i        `* Re: Simulation vs. Execution in the Halting Problem40olcott
11 Jun 25   i i i    i    i ii             i         +* Re: Simulation vs. Execution in the Halting Problem38wij
11 Jun 25   i i i    i    i ii             i         i`* Re: Simulation vs. Execution in the Halting Problem37olcott
11 Jun 25   i i i    i    i ii             i         i +* Re: Simulation vs. Execution in the Halting Problem35wij
11 Jun 25   i i i    i    i ii             i         i i`* Re: Simulation vs. Execution in the Halting Problem34olcott
11 Jun 25   i i i    i    i ii             i         i i `* Re: Simulation vs. Execution in the Halting Problem33wij
11 Jun 25   i i i    i    i ii             i         i i  `* Re: Simulation vs. Execution in the Halting Problem32olcott
11 Jun 25   i i i    i    i ii             i         i i   `* Re: Simulation vs. Execution in the Halting Problem31wij
11 Jun 25   i i i    i    i ii             i         i i    `* Re: Simulation vs. Execution in the Halting Problem30olcott
11 Jun 25   i i i    i    i ii             i         i i     `* Re: Simulation vs. Execution in the Halting Problem29wij
11 Jun 25   i i i    i    i ii             i         i i      +- Re: Simulation vs. Execution in the Halting Problem1wij
11 Jun 25   i i i    i    i ii             i         i i      `* Re: Simulation vs. Execution in the Halting Problem27olcott
11 Jun 25   i i i    i    i ii             i         i i       `* Re: Simulation vs. Execution in the Halting Problem26wij
11 Jun 25   i i i    i    i ii             i         i i        `* Re: Simulation vs. Execution in the Halting Problem25olcott
11 Jun 25   i i i    i    i ii             i         i i         `* Re: Simulation vs. Execution in the Halting Problem24wij
11 Jun 25   i i i    i    i ii             i         i i          `* Re: Simulation vs. Execution in the Halting Problem23olcott
12 Jun 25   i i i    i    i ii             i         i i           +* Re: Simulation vs. Execution in the Halting Problem21wij
12 Jun 25   i i i    i    i ii             i         i i           i`* Re: Simulation vs. Execution in the Halting Problem20olcott
12 Jun 25   i i i    i    i ii             i         i i           i `* Re: Simulation vs. Execution in the Halting Problem19wij
12 Jun 25   i i i    i    i ii             i         i i           i  `* Re: Simulation vs. Execution in the Halting Problem18olcott
12 Jun 25   i i i    i    i ii             i         i i           i   +* Re: Simulation vs. Execution in the Halting Problem10wij
12 Jun 25   i i i    i    i ii             i         i i           i   i`* Re: Simulation vs. Execution in the Halting Problem9olcott
12 Jun 25   i i i    i    i ii             i         i i           i   i +* Re: Simulation vs. Execution in the Halting Problem3wij
12 Jun 25   i i i    i    i ii             i         i i           i   i i`* Re: Simulation vs. Execution in the Halting Problem2olcott
12 Jun 25   i i i    i    i ii             i         i i           i   i i `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
12 Jun 25   i i i    i    i ii             i         i i           i   i `* Re: Simulation vs. Execution in the Halting Problem5Fred. Zwarts
12 Jun 25   i i i    i    i ii             i         i i           i   i  `* Re: Simulation vs. Execution in the Halting Problem4olcott
12 Jun 25   i i i    i    i ii             i         i i           i   `* Re: Simulation vs. Execution in the Halting Problem7joes
12 Jun 25   i i i    i    i ii             i         i i           `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
11 Jun 25   i i i    i    i ii             i         i `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
11 Jun 25   i i i    i    i ii             i         `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
11 Jun 25   i i i    i    i ii             +- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
12 Jun 25   i i i    i    i ii             `* Re: Simulation vs. Execution in the Halting Problem46Mikko
3 Jun 25   i i i    i    i i`* Re: Simulation vs. Execution in the Halting Problem2olcott
3 Jun 25   i i i    i    i `* Re: Simulation vs. Execution in the Halting Problem8olcott
3 Jun 25   i i i    i    `- Re: Simulation vs. Execution in the Halting Problem1Mikko
1 Jun 25   i i i    `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
31 May 25   i i `- Re: Simulation vs. Execution in the Halting Problem1Richard Damon
31 May 25   i `* Re: Simulation vs. Execution in the Halting Problem5Richard Damon
1 Jun 25   `* Re: Simulation vs. Execution in the Halting Problem59Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal