Re: D correctly simulated by H cannot possibly reach its own line 06 and halt

Liste des GroupesRevenir à theory 
Sujet : Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 01. Jun 2024, 14:57:22
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3f5ri$2n53n$1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
On 6/1/24 8:42 AM, immibis wrote:
On 31/05/24 21:07, olcott wrote:
...
 Does EE halt?
 int EE() {
   HH(EE, EE);
   return 0;
}
By his definitions, no, which is the problem, because that just clearly proves that by his definition, HH isn't a decider because it doesn't halt, at least if that is decided by HH itself.

Date Sujet#  Auteur
30 May 24 * Re: D correctly simulated by H cannot possibly reach its own line 06 and halt67joes
31 May 24 `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt66olcott
31 May 24  +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
31 May 24  +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt60Fred. Zwarts
31 May 24  i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt59olcott
31 May 24  i +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt30Fred. Zwarts
31 May 24  i i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt29olcott
31 May 24  i i +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt23Fred. Zwarts
31 May 24  i i i+* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3olcott
31 May 24  i i ii+- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
31 May 24  i i ii`- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Fred. Zwarts
31 May 24  i i i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt19olcott
31 May 24  i i i +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt17Fred. Zwarts
31 May 24  i i i i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt16olcott
31 May 24  i i i i +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt13Fred. Zwarts
31 May 24  i i i i i+* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry11olcott
1 Jun 24  i i i i ii`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry10Fred. Zwarts
1 Jun 24  i i i i ii `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry9olcott
1 Jun 24  i i i i ii  +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry1Richard Damon
2 Jun 24  i i i i ii  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry7Mikko
2 Jun 24  i i i i ii   `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry6olcott
2 Jun 24  i i i i ii    +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry1Richard Damon
3 Jun 24  i i i i ii    `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry4Mikko
3 Jun 24  i i i i ii     `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry3olcott
3 Jun 24  i i i i ii      `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry2Mikko
3 Jun 24  i i i i ii       `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt --- Mike Terry1olcott
1 Jun 24  i i i i i`- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  i i i i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt2immibis
1 Jun 24  i i i i  `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
1 Jun 24  i i i `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
31 May 24  i i +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  i i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt4joes
1 Jun 24  i i  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3olcott
1 Jun 24  i i   +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24  i i   `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1joes
31 May 24  i +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  i +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt12Mikko
1 Jun 24  i i`* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt11olcott
2 Jun 24  i i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt10Mikko
2 Jun 24  i i  `* Deciders are ONLY accountable for their actual inputs ---9olcott
2 Jun 24  i i   +* Re: Deciders are ONLY accountable for their actual inputs ---4Richard Damon
3 Jun 24  i i   i`* Re: Deciders are ONLY accountable for their actual inputs ---3Mikko
3 Jun 24  i i   i `* Re: Deciders are ONLY accountable for their actual inputs ---2olcott
4 Jun 24  i i   i  `- Re: Deciders are ONLY accountable for their actual inputs ---1Richard Damon
3 Jun 24  i i   `* Re: Deciders are ONLY accountable for their actual inputs ---4Mikko
3 Jun 24  i i    `* Re: Deciders are ONLY accountable for their actual inputs ---3olcott
3 Jun 24  i i     +- Re: Deciders are ONLY accountable for their actual inputs ---1Mikko
3 Jun 24  i i     `- Re: Deciders are ONLY accountable for their actual inputs ---1Fred. Zwarts
1 Jun 24  i `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt15joes
1 Jun 24  i  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt14olcott
1 Jun 24  i   +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24  i   `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt12Mikko
2 Jun 24  i    `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt11olcott
2 Jun 24  i     +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
2 Jun 24  i     +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
3 Jun 24  i     `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt8Mikko
3 Jun 24  i      `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt7olcott
3 Jun 24  i       +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3Mikko
3 Jun 24  i       i`* DD correctly simulated by HH cannot possibly reach past its own line 03 and halt2olcott
4 Jun 24  i       i `- Re: DD correctly simulated by HH cannot possibly reach past its own line 03 and halt1Mikko
3 Jun 24  i       +* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt2Fred. Zwarts
3 Jun 24  i       i`- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1olcott
4 Jun 24  i       `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon
31 May 24  +- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1immibis
1 Jun 24  `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt3joes
1 Jun 24   `* Re: D correctly simulated by H cannot possibly reach its own line 06 and halt2olcott
1 Jun 24    `- Re: D correctly simulated by H cannot possibly reach its own line 06 and halt1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal