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

Liste des GroupesRevenir à c theory 
Sujet : Re: D correctly simulated by H cannot possibly reach its own line 06 and halt
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 02. Jun 2024, 10:00:16
Autres entêtes
Organisation : -
Message-ID : <v3h8qg$394r1$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Unison/2.2
On 2024-06-01 18:34:22 +0000, olcott said:

On 6/1/2024 1:28 PM, joes wrote:
Am Fri, 31 May 2024 09:25:40 -0500 schrieb olcott:
On 5/31/2024 2:50 AM, Fred. Zwarts wrote:
Op 31.mei.2024 om 00:01 schreef olcott:
On 5/30/2024 4:54 PM, joes wrote:
Am Thu, 30 May 2024 09:55:24 -0500 schrieb olcott:
 
typedef int (*ptr)();  // ptr is pointer to int function in C
00       int H(ptr p, ptr i);
01       int D(ptr p)
02       {
03         int Halt_Status = H(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         H(D,D);
12         return 0;
13       }
 
Everyone with sufficient knowledge of C can easily determine that D
correctly emulated by any *pure function* H (using an x86 emulator)
cannot possibly reach its own simulated final state at line 06 and
halt.
Yeah, of course not, if H doesn’t halt.
 
Or maybe you did not know that every computation that never reaches
its own final state *DOES NOT HALT* even if it stops running because
it is no longer simulated.
Since the claim is that H is also a computation, it holds for H, as
well. That means that H *DOES NOT HALT* even if it stops running because
it is no longer simulated.
*pure function H definitely halts you are confused*
The fuck? If H halts, then D can definitely reach past line 4.
 
 *Trying to get away with changing the subject away from this*
*is known as the strawman deception*
 DD correctly simulated by pure function HH cannot possibly reach
its own final state at line 06 in any finite number of steps of
correct simulation.
Your "DD correctly simulated by pure function HH" is an attempt
to deceive. Otherwise you would just say "DD" because that is
what the phrase means.
--
Mikko

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