Re: Every D correctly simulated by H never reaches its final state and halts

Liste des GroupesRevenir à s logic 
Sujet : Re: Every D correctly simulated by H never reaches its final state and halts
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 17. May 2024, 04:29:52
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v26ff0$18ad7$12@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
On 5/16/24 9:15 PM, olcott wrote:
The following is self-evidently true on the basis of the
semantics of the C programming language.
Which proves that you don't understand that C programming language, or how logic work.

 typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr x);
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
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 }
 In the above case a simulator is an x86 emulator that correctly
emulates at least one of the x86 instructions of D in the order
specified by the x86 instructions of D.
 This may include correctly emulating the x86 instructions of H
in the order specified by the x86 instructions of H thus calling
H(D,D) in recursive simulation.
 Any H/D pair matching the above template where
D(D) is simulated by the same H(D,D) that it calls
cannot possibly reach its own line 06 and halt.
 *This is a simple software engineering verified fact*
 
No, THAT IS A OLCOTT LIE.
I proved it wrong in a post I made about two weeks ago, which you read, simce you replied to it, but didn't even attempt to refute the arguement I made.
You have REPEATEDLY lied and said I didn't make such a post, but don't beleive your own lie enough to take a small risk on it, so you are admitting that it might be possible, but you choose to LIE and ignore it and just continue to lie saying your statement is self-evidently true, which just proves that you don't understand what Truth actually is.
You are just proving that you are nothing but an ignorant pathological lying idiot.

Date Sujet#  Auteur
17 May 24 * Every D correctly simulated by H never reaches its final state and halts14olcott
17 May 24 +* Re: Every D correctly simulated by H never reaches its final state and halts3Richard Damon
17 May 24 i`* Re: Every D correctly simulated by H never reaches its final state and halts2olcott
17 May 24 i `- Re: Every D correctly simulated by H never reaches its final state and halts1Richard Damon
17 May 24 +* Re: Every D correctly simulated by H never reaches its final state and halts9Fred. Zwarts
17 May 24 i+* Re: Every D correctly simulated by H never reaches its final state and halts6olcott
17 May 24 ii+* Re: Every D correctly simulated by H never reaches its final state and halts4Mikko
17 May 24 iii`* Re: Every D correctly simulated by H never reaches its final state and halts3olcott
18 May 24 iii +- Re: Every D correctly simulated by H never reaches its final state and halts1Richard Damon
18 May 24 iii `- Re: Every D correctly simulated by H never reaches its final state and halts1joes
18 May 24 ii`- Re: Every D correctly simulated by H never reaches its final state and halts1Richard Damon
19 May 24 i`* Re: Every D correctly simulated by H never reaches its final state and halts --- Admitted Liar2olcott
19 May 24 i `- Re: Every D correctly simulated by H never reaches its final state and halts --- Olcott is an Admitted Liar1Richard Damon
18 May 24 `- Re: Every D correctly simulated by H never reaches its final state and halts1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal