Groups | Search | Server Info | Login | Register

Groups > comp.theory > #108640

Re: Sequence of sequence, selection and iteration matters

From joes <noreply@example.org>
Newsgroups comp.theory
Subject Re: Sequence of sequence, selection and iteration matters
Date 2024-07-09 18:55 +0000
Organization i2pn2 (i2pn.org)
Message-ID <ff14ec4e6fc2bdf45a31b4880657db762da5728e@i2pn2.org> (permalink)
References (6 earlier) <v6jig0$1ctoi$11@dont-email.me> <v6jkib$1e3jq$1@dont-email.me> <v6jpe5$1eul0$1@dont-email.me> <v6jpqo$1e3jq$2@dont-email.me> <v6jqfg$1eul0$2@dont-email.me>

Show all headers | View raw

Am Tue, 09 Jul 2024 12:02:40 -0500 schrieb olcott:
> On 7/9/2024 11:51 AM, Fred. Zwarts wrote:
>> Op 09.jul.2024 om 18:44 schreef olcott:
>>> On 7/9/2024 10:21 AM, Fred. Zwarts wrote:
>>>> Op 09.jul.2024 om 16:46 schreef olcott:
>>>>> On 7/9/2024 9:38 AM, Fred. Zwarts wrote:

>>>>>>> *When DDD is correctly emulated by any pure function*
>>>>>>> *HHH x86 emulator that can possibly exist* which calls an emulated
>>>>>>> HHH(DDD) to repeat this process until the emulated DDD is aborted.
>>>> And the fact *that* it aborts, makes the simulation incorrect (as
>>>> Sipser would agree with), because the X86 code does not specify an
>>>> abort at that point. Therefore, the only conclusion must be: No such
>>>> HHH exists.
>>> HHH is fully operational in the x86utm operating system.

>>> When DDD is correctly emulated by any pure function x86 emulator HHH
>>> calls an emulated HHH(DDD) this call cannot possibly return.
>> HHH cannot possibly simulate itself to the end and return, which shows
> the simulation is correct because that is what the x86 code means when
> it says that DDD correctly emulated by HHH is stuck in recursive
> emulation.
The assembly doesn't show anything about emulation. There are only
function calls. If you just showed the source for HHH, you could point
to the line where it aborts.

> That people not sufficiently understanding the semantics of the x86
> language say otherwise merely proves that their understanding is
> insufficient.
For the millionth time: Nothing about this is special to x86.
What are the semantics that say that HHH doesn't halt?

-- 
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-07 09:16 -0500
  Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-07 13:28 -0400
    Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 10:10 -0500
      Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
  Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-08 10:22 +0300
    Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-08 08:04 -0500
      Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-08 19:26 -0400
        Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 18:45 -0500
          Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 19:59 -0400
            Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 19:21 -0500
              Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 20:31 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 19:47 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 21:27 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 20:37 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 21:53 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 21:01 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees to something different. Richard Damon <richard@damon-family.org> - 2024-07-08 22:11 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings olcott <polcott333@gmail.com> - 2024-07-08 21:42 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings Richard Damon <richard@damon-family.org> - 2024-07-08 22:59 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings olcott <polcott333@gmail.com> - 2024-07-08 23:22 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings Richard Damon <richard@damon-family.org> - 2024-07-09 07:29 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings olcott <polcott333@gmail.com> - 2024-07-09 09:40 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 19:51 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 21:30 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 20:38 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 21:53 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-08 21:00 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-08 22:08 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Mikko <mikko.levanto@iki.fi> - 2024-07-09 09:35 +0300
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-09 07:29 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Mikko <mikko.levanto@iki.fi> - 2024-07-10 10:42 +0300
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-10 07:24 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Mikko <mikko.levanto@iki.fi> - 2024-07-11 10:14 +0300
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-10 08:48 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-10 20:01 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees Mikko <mikko.levanto@iki.fi> - 2024-07-11 10:15 +0300
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-11 09:44 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) olcott <polcott333@gmail.com> - 2024-07-08 20:23 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) Richard Damon <richard@damon-family.org> - 2024-07-08 22:01 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) olcott <polcott333@gmail.com> - 2024-07-08 21:06 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) Richard Damon <richard@damon-family.org> - 2024-07-08 22:13 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) olcott <polcott333@gmail.com> - 2024-07-08 21:44 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) Richard Damon <richard@damon-family.org> - 2024-07-08 22:59 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) olcott <polcott333@gmail.com> - 2024-07-08 23:01 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) Richard Damon <richard@damon-family.org> - 2024-07-09 07:29 -0400
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) olcott <polcott333@gmail.com> - 2024-07-09 09:44 -0500
                Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
          Re: Sequence of sequence, selection and iteration matters --- Ben agrees Mikko <mikko.levanto@iki.fi> - 2024-07-09 09:28 +0300
            Re: Sequence of sequence, selection and iteration matters --- Ben agrees olcott <polcott333@gmail.com> - 2024-07-09 09:24 -0500
              Re: Sequence of sequence, selection and iteration matters --- Ben agrees Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
              Re: Sequence of sequence, selection and iteration matters --- Ben agrees Mikko <mikko.levanto@iki.fi> - 2024-07-10 10:27 +0300
      Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-09 09:22 +0300
        Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 09:19 -0500
          Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-09 16:38 +0200
            Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 09:46 -0500
              Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-09 17:21 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 11:44 -0500
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-09 18:51 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 12:02 -0500
                Re: Sequence of sequence, selection and iteration matters joes <noreply@example.org> - 2024-07-09 18:55 +0000
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-09 22:31 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 16:18 -0500
                Re: Sequence of sequence, selection and iteration matters joes <noreply@example.org> - 2024-07-10 04:01 +0000
                DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-09 23:19 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt joes <noreply@example.org> - 2024-07-10 13:27 +0000
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-10 08:41 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt Richard Damon <richard@damon-family.org> - 2024-07-10 20:01 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-10 19:24 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. Richard Damon <richard@damon-family.org> - 2024-07-10 20:37 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. olcott <polcott333@gmail.com> - 2024-07-10 20:01 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. Richard Damon <richard@damon-family.org> - 2024-07-10 21:11 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-10 20:21 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt Richard Damon <richard@damon-family.org> - 2024-07-10 21:50 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-11 09:51 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt Richard Damon <richard@damon-family.org> - 2024-07-11 22:08 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-11 21:28 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt Richard Damon <richard@damon-family.org> - 2024-07-11 23:18 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-11 22:30 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt joes <noreply@example.org> - 2024-07-12 08:05 +0000
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-12 07:08 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 15:02 +0200
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-12 09:51 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 22:36 +0200
                Re: DDD correctly emulated by HHH cannot possibly halt Mikko <mikko.levanto@iki.fi> - 2024-07-13 11:04 +0300
                Re: DDD correctly emulated by HHH cannot possibly halt Richard Damon <richard@damon-family.org> - 2024-07-12 19:10 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt joes <noreply@example.org> - 2024-07-13 23:00 +0000
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-13 18:12 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt Richard Damon <richard@damon-family.org> - 2024-07-13 19:42 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt Richard Damon <richard@damon-family.org> - 2024-07-12 07:15 -0400
                Re: DDD correctly emulated by HHH cannot possibly halt olcott <polcott333@gmail.com> - 2024-07-12 07:28 -0500
                Re: DDD correctly emulated by HHH cannot possibly halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 15:18 +0200
                Re: DDD correctly emulated by HHH cannot possibly halt joes <noreply@example.org> - 2024-07-12 13:41 +0000
                Re: DDD correctly but partially emulated by HHH cannot possibly be seen to halt by HHH, but do halt Richard Damon <richard@damon-family.org> - 2024-07-12 19:23 -0400
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 09:13 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-10 07:37 -0500
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 16:09 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-10 09:16 -0500
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 16:41 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-10 09:53 -0500
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 19:38 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-10 12:41 -0500
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-10 20:19 +0200
                Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-11 10:22 +0300
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-11 09:49 -0500
                Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-11 22:08 -0400
                Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-12 12:08 +0300
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-12 08:35 -0500
                Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-13 11:12 +0300
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-13 07:44 -0500
                Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-14 11:37 +0300
                Re: Sequence of sequence, selection and iteration matters -- Professor Hehner olcott <polcott333@gmail.com> - 2024-07-14 10:02 -0500
                Re: Sequence of sequence, selection and iteration matters -- Professor Hehner Richard Damon <richard@damon-family.org> - 2024-07-14 17:41 -0400
                Re: Sequence of sequence, selection and iteration matters -- Professor Hehner Mikko <mikko.levanto@iki.fi> - 2024-07-15 10:25 +0300
                Re: Sequence of sequence, selection and iteration matters -- Professor Hehner olcott <polcott333@gmail.com> - 2024-07-15 08:07 -0500
                Re: Sequence of sequence, selection and iteration matters -- Professor Hehner Mikko <mikko.levanto@iki.fi> - 2024-07-16 09:54 +0300
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 12:01 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-12 07:33 -0500
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 14:53 +0200
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-12 08:45 -0500
                Re: Sequence of sequence, selection and iteration matters joes <noreply@example.org> - 2024-07-12 13:57 +0000
                Re: Sequence of sequence, selection and iteration matters "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 16:42 +0200
                Re: Sequence of sequence, selection and iteration matters joes <noreply@example.org> - 2024-07-12 13:43 +0000
                Re: Sequence of sequence, selection and iteration matters ---clarification olcott <polcott333@gmail.com> - 2024-07-09 16:22 -0500
                Re: Sequence of sequence, selection and iteration matters --- one more freaking time olcott <polcott333@gmail.com> - 2024-07-09 16:25 -0500
                Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
                Re: Sequence of sequence, selection and iteration matters joes <noreply@example.org> - 2024-07-09 18:50 +0000
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 14:09 -0500
                Re: Sequence of sequence, selection and iteration matters olcott <polcott333@gmail.com> - 2024-07-09 14:26 -0500
                Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
              Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
          Re: Sequence of sequence, selection and iteration matters Richard Damon <richard@damon-family.org> - 2024-07-09 22:52 -0400
          Re: Sequence of sequence, selection and iteration matters Mikko <mikko.levanto@iki.fi> - 2024-07-10 10:36 +0300

csiph-web