Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #105014
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Every D correctly simulated by H never reaches its final state and halts |
| Date | 2024-05-16 22:29 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v26ff0$18ad7$12@i2pn2.org> (permalink) |
| References | <v26b2t$1rdu0$1@dont-email.me> |
Cross-posted to 2 groups.
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.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-16 20:15 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-16 22:29 -0400
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-16 21:46 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-16 22:59 -0400
Re: Every D correctly simulated by H never reaches its final state and halts "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-17 09:25 +0200
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-17 12:08 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-17 10:55 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-18 12:45 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-18 09:38 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-18 10:52 -0400
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-19 13:37 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-19 07:36 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-19 16:43 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-19 08:59 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
Re: Every D correctly simulated by H never reaches its final state and halts --- Admitted Liar olcott <polcott333@gmail.com> - 2024-05-19 14:07 -0500
Re: Every D correctly simulated by H never reaches its final state and halts --- Olcott is an Admitted Liar Richard Damon <richard@damon-family.org> - 2024-05-19 15:20 -0400
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:08 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-20 12:53 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-21 12:39 +0300
Re: Every D correctly simulated by H never reaches its final state and halts immibis <news@immibis.com> - 2024-05-21 11:54 +0200
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-21 21:06 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-21 08:41 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-17 10:30 -0500
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-17 12:46 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-18 12:53 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-18 09:43 -0500
Re: Every D correctly simulated by H never reaches its final state and halts joes <noreply@example.com> - 2024-05-18 10:07 +0000
Re: Every D correctly simulated by H never reaches its final state and halts Mikko <mikko.levanto@iki.fi> - 2024-05-18 16:30 +0300
Re: Every D correctly simulated by H never reaches its final state and halts olcott <polcott333@gmail.com> - 2024-05-18 09:55 -0500
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-18 11:02 -0400
Re: Every D correctly simulated by H never reaches its final state and halts Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
Re: Every D correctly simulated by H never reaches its final state and halts immibis <news@immibis.com> - 2024-05-18 10:56 +0200
csiph-web