Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #108066
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: People are still trying to get away with disagreeing with the semantics of the x86 language |
| Date | 2024-06-30 22:16 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v5t3h4$1kfbr$13@i2pn2.org> (permalink) |
| References | (12 earlier) <v5st66$o7ss$1@dont-email.me> <v5su4q$1kfbr$11@i2pn2.org> <v5sv8o$ogo5$1@dont-email.me> <v5t0h8$1kfbr$12@i2pn2.org> <v5t1af$omq9$1@dont-email.me> |
Cross-posted to 2 groups.
On 6/30/24 9:38 PM, olcott wrote: > On 6/30/2024 8:24 PM, Richard Damon wrote: >> On 6/30/24 9:03 PM, olcott wrote: >> On 6/30/2024 7:44 PM, Richard >> Damon wrote: >>> >>> I had to dumb this down because even the smartest >>> people here were overwhelmed: >>> >>> The call from DDD to HHH(DDD) when N steps of DDD are >>> correctly emulated by any pure function x86 emulator >>> HHH at machine address 0000217a cannot possibly return. >> >> But that is NOT the "behavior of the input", and CAN NOT BE SO DEFINED. >> > > I don't understand why you so stupidly lie about this. > > _DDD() > [00002172] 55 push ebp ; housekeeping > [00002173] 8bec mov ebp,esp ; housekeeping > [00002175] 6872210000 push 00002172 ; push DDD > [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) > [0000217f] 83c404 add esp,+04 > [00002182] 5d pop ebp > [00002183] c3 ret > Size in bytes:(0018) [00002183] > > DDD is correctly emulated by HHH which calls an > emulated HHH(DDD) to repeat the process until aborted. > And, since the HHH that DDD calls will abort is emulation, it WILL return to DDD and it will return also. You seem to be confused by the fact that the outer HHH stopped looking at the behavior of its input when it aborted its simulation. HHH aborting its emulation DOES NOT STOP THE BEHAVIOR OF THE MACHINE IT WAS EMULATING. Also, "DDD" isn't just the bytes you list above, or your problem isn't properly defined, as then HHH can not correct emulate its input past the call instructions, which is a ERROR you keep on repeating. THe input to HHH must include ALL of the code of DDD and everything it calls, or it isn't a proper input, and you are just shown to have been lying for years about that.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 11:09 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 12:45 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 12:17 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 13:59 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 13:06 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 14:38 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 13:47 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 15:08 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 14:25 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 16:10 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 15:17 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 16:25 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 15:33 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 17:19 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 17:54 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-29 19:46 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-29 21:46 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-06-30 12:02 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 08:34 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 09:07 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 15:31 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 16:37 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 17:55 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-06-30 11:50 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-06-30 11:42 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 12:18 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 15:31 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 16:41 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 17:54 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 17:55 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 16:48 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 17:57 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 17:41 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 19:14 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 18:18 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 19:53 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 19:00 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 20:13 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 19:27 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 20:44 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 20:03 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 21:24 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 20:38 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-06-30 22:16 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 21:27 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 07:08 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 07:49 -0500
Re: olcott is still disagreeing with the semantics of simulation joes <noreply@example.org> - 2024-07-01 15:57 +0000
Re: olcott is still disagreeing with the semantics of simulation olcott <polcott333@gmail.com> - 2024-07-01 11:03 -0500
Re: olcott is still disagreeing with the semantics of simulation Richard Damon <richard@damon-family.org> - 2024-07-01 20:38 -0400
Re: olcott is still disagreeing with the semantics of simulation olcott <polcott333@gmail.com> - 2024-07-01 20:41 -0500
Re: olcott is still disagreeing with the semantics of simulation Richard Damon <richard@damon-family.org> - 2024-07-01 21:54 -0400
Re: olcott is still disagreeing with the semantics of simulation olcott <polcott333@gmail.com> - 2024-07-01 21:18 -0500
Re: olcott is still disagreeing with the semantics of simulation Richard Damon <richard@damon-family.org> - 2024-07-01 22:38 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 20:38 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 20:32 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 21:58 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-03 14:25 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 20:38 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 20:42 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 22:00 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 21:21 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 22:40 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-03 14:23 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-07-02 09:13 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-06-30 22:25 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 07:08 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 07:53 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 20:38 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 11:05 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-04 07:51 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-04 11:25 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language --- repeat until acknowledged olcott <polcott333@gmail.com> - 2024-06-30 17:00 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language --- repeat until acknowledged Richard Damon <richard@damon-family.org> - 2024-06-30 18:04 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language --- repeat until acknowledged olcott <polcott333@gmail.com> - 2024-06-30 17:48 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language --- repeat until acknowledged Richard Damon <richard@damon-family.org> - 2024-06-30 19:13 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-07-01 09:05 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 07:44 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-01 16:01 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 11:12 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-01 20:38 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-07-02 09:59 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-02 13:43 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-02 21:22 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-02 14:48 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 10:26 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 08:21 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-03 14:39 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 09:45 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 10:15 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-04 07:46 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 13:26 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-04 08:41 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 15:06 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-04 11:03 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 16:26 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-04 11:31 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 16:35 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-04 12:52 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-04 11:25 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-04 11:25 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 17:59 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 11:03 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 19:51 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 12:58 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 20:25 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 13:37 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 20:46 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 13:59 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 21:15 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 14:23 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 21:31 +0200
DDD correctly emulated by any pure function HHH that can possibly exist DOES NOT HALT olcott <polcott333@gmail.com> - 2024-07-03 15:08 -0500
Re: DDD correctly emulated by any pure function HHH that can possibly exist DOES NOT HALT "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-03 22:59 +0200
Re: DDD correctly emulated by any pure function HHH that can possibly exist DOES NOT HALT olcott <polcott333@gmail.com> - 2024-07-03 16:04 -0500
Re: DDD correctly emulated by any pure function HHH that can possibly exist DOES NOT HALT "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-04 09:35 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language joes <noreply@example.org> - 2024-07-04 10:23 +0000
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Richard Damon <richard@damon-family.org> - 2024-07-02 18:44 -0400
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-07-03 09:41 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-03 08:17 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language Mikko <mikko.levanto@iki.fi> - 2024-07-04 08:57 +0300
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-01 10:32 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 07:46 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-01 16:37 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 09:50 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 10:20 -0500
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-01 20:22 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-01 10:46 +0200
Re: People are still trying to get away with disagreeing with the semantics of the x86 language olcott <polcott333@gmail.com> - 2024-07-01 08:31 -0500
csiph-web