Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #105002
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Every D correctly simulated by H never reaches its final state and halts |
| Date | 2024-05-16 20:15 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <v26b2t$1rdu0$1@dont-email.me> (permalink) |
Cross-posted to 2 groups.
The following is self-evidently true on the basis of the
semantics of the C programming language.
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*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — 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