Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace

Liste des GroupesRevenir à theory 
Sujet : Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 30. Jul 2024, 08:04:52
Autres entêtes
Organisation : -
Message-ID : <v8a3ak$u91h$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Unison/2.2
On 2024-07-29 16:43:07 +0000, olcott said:

On 7/28/2024 3:57 AM, Mikko wrote:
On 2024-07-27 19:27:16 +0000, olcott said:
 It is a verified fact that HHH get the correct halt
status decision in that HHH exactly matched that same
behavior pattern as this:
 No, it is not a verified fact. It is obvious from the code of DDD
that DDD halts if HHH does, and otherwise HHH does not answer.
Therefore, if HHH answers, the correct answer is "halts".
 
 HHH(Infinite_Recursion) and HHH(DDD) derive equivalent
non-halting behavior patterns in the execution trace of
their input.
Doesn't matter but suggests that the tracing system is defective.
What really matters it that DDD halts or HHH is not a decider.
--
Mikko

Date Sujet#  Auteur
26 Jul 24 * This function proves that only the outermost HHH examines the execution trace112olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace3joes
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace2Mike Terry
26 Jul 24 i `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace50Mike Terry
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace49olcott
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace3olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace6Fred. Zwarts
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace5olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i i +* Re: This function proves that only the outermost HHH examines the execution trace2joes
27 Jul 24 i i i`- Re: This function proves that only the outermost HHH examines the execution trace1olcott
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace37Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace36olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace31Fred. Zwarts
27 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace30olcott
28 Jul 24 i   i +* Re: This function proves that only the outermost HHH examines the execution trace5Fred. Zwarts
28 Jul 24 i   i i`* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i   i i `- Re: This function proves that only the outermost HHH examines the execution trace1joes
28 Jul 24 i   i `* Re: This function proves that only the outermost HHH examines the execution trace24Mikko
29 Jul 24 i   i  `* Re: This function proves that only the outermost HHH examines the execution trace23olcott
29 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
30 Jul 24 i   i   `* Re: This function proves that only the outermost HHH examines the execution trace20Mikko
31 Jul 24 i   i    `* Re: This function proves that only the outermost HHH examines the execution trace19olcott
31 Jul 24 i   i     +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
31 Jul 24 i   i     `* Re: This function proves that only the outermost HHH examines the execution trace17Mikko
31 Jul 24 i   i      +* Re: This function proves that only the outermost HHH examines the execution trace14olcott
1 Aug 24 i   i      i`* Re: This function proves that only the outermost HHH examines the execution trace13Mikko
1 Aug 24 i   i      i `* Re: This function proves that only the outermost HHH examines the execution trace12olcott
1 Aug 24 i   i      i  +* Re: This function proves that only the outermost HHH examines the execution trace10Fred. Zwarts
1 Aug 24 i   i      i  i`* Re: This function proves that only the outermost HHH examines the execution trace9olcott
1 Aug 24 i   i      i  i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i `* Re: This function proves that only the outermost HHH examines the execution trace7joes
1 Aug 24 i   i      i  i  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
1 Aug 24 i   i      i  i   +* Re: This function proves that only the outermost HHH examines the execution trace3Fred. Zwarts
1 Aug 24 i   i      i  i   i`* Re: This function proves that only the outermost HHH examines the execution trace2olcott
2 Aug 24 i   i      i  i   i `- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i   `* Re: This function proves that only the outermost HHH examines the execution trace2joes
1 Aug 24 i   i      i  i    `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
2 Aug 24 i   i      i  `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
31 Jul 24 i   i      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
1 Aug 24 i   i       `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i    `* HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace3olcott
29 Jul 24 i     +- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Fred. Zwarts
30 Jul 24 i     `- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Mikko
27 Jul 24 +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace56Fred. Zwarts
27 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace55olcott
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace54Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace53olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace50Alan Mackenzie
27 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace17olcott
27 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace9Alan Mackenzie
27 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace8olcott
27 Jul 24 i   iii `* Re: This function proves that only the outermost HHH examines the execution trace7Alan Mackenzie
27 Jul 24 i   iii  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
27 Jul 24 i   iii   `* Re: This function proves that only the outermost HHH examines the execution trace5Alan Mackenzie
28 Jul 24 i   iii    `* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   iii     `* Re: This function proves that only the outermost HHH examines the execution trace3Alan Mackenzie
28 Jul 24 i   iii      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
28 Jul 24 i   iii       `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace7Mikko
29 Jul 24 i   ii `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
29 Jul 24 i   ii  +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
29 Jul 24 i   ii  `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i   ii   `* Re: This function proves that only the outermost HHH examines the execution trace3olcott
29 Jul 24 i   ii    +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   ii    `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace27Mike Terry
28 Jul 24 i   ii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace21olcott
28 Jul 24 i   iii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace19Fred. Zwarts
28 Jul 24 i   iii `* HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)18olcott
28 Jul 24 i   iii  +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion)1Richard Damon
28 Jul 24 i   iii  `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)16Fred. Zwarts
28 Jul 24 i   iii   `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)15olcott
28 Jul 24 i   iii    +- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) unless it can abort.1Richard Damon
29 Jul 24 i   iii    `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)13Fred. Zwarts
29 Jul 24 i   iii     `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)12olcott
29 Jul 24 i   iii      `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)11Fred. Zwarts
30 Jul 24 i   iii       `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)10Mike Terry
30 Jul 24 i   iii        `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)9olcott
30 Jul 24 i   iii         +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion) OLCOTTS ERROR1Richard Damon
30 Jul 24 i   iii         +* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)6joes
31 Jul 24 i   iii         i`* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)5Mike Terry
31 Jul 24 i   iii         i `* Linz proof is essentially isomorphic4olcott
31 Jul 24 i   iii         i  `* Re: Linz proof is essentially isomorphic3Richard Damon
31 Jul 24 i   iii         i   `* Re: Linz proof is essentially isomorphic2olcott
31 Jul 24 i   iii         i    `- Re: Linz proof is essentially isomorphic1Richard Damon
30 Jul 24 i   iii         `- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)1Fred. Zwarts
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace4Alan Mackenzie
28 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace5Mikko
27 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace2Fred. Zwarts
3 Aug 24 `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal