Re: Every D(D) simulated by H presents non-halting behavior to H ###

From	Richard Damon <richard@damon-family.org>
Newsgroups	comp.theory, comp.lang.c
Subject	Re: Every D(D) simulated by H presents non-halting behavior to H ###
Date	2024-05-18 12:47 -0400
Organization	i2pn2 (i2pn.org)
Message-ID	<v2am2q$1ct7o$8@i2pn2.org> (permalink)
References	(25 earlier) <v2838r$29rd7$1@dont-email.me> <v2a8th$2ps09$1@dont-email.me> <v2ahqc$2qvr9$1@dont-email.me> <v2aicl$1ct7o$6@i2pn2.org> <v2al77$2s12h$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 5/18/24 12:32 PM, James Kuyper wrote:
> On 5/18/24 11:44, Richard Damon wrote:
>> On 5/18/24 11:34 AM, James Kuyper wrote:
>>> On 5/18/24 09:02, Mikko wrote:
>>>> On 2024-05-17 17:14:01 +0000, olcott said:...>>>> Fully operational
> software that runs under Widows and Linux
>>>>> proves that the above is true EMPIRICALLY.
> 
> You cannot prove that code is strictly conforming empirically. It might
> simply happen to work on every system you've tried it on. Have you ever
> tested it on a system where code and data pointers are different sizes?
> 
>>>> No, it does not. As the program is not strictly conforming
>>>> and uses a non-standard extension some implementation may
>>>> execute it differently or refuse to execute.
>>>
>>> Which non-standard extension does it use?
>>
>> I think the issue is the casting of a pointer to function to a pointer
>> to object, which is one of the grey areas in the standard. (which occurs
>> in code not shown)
>>
>> It is not specified that such a cast is allowed, but it also isn't
>> specifically disallowed, it is just omitted as a case in the listing of
>> te possibilities for casting.
> 
> Such code has undefined behavior "by the omission of any explicit
> definition of behavior." (4p2).
> Strictly conforming programs cannot have undefined behavior (4p5).

Undefined by the C Standard, but likely defined by the implementation.

Most programs don't need to be "Strictly Conforming" and most actual 
practical programs are not, because they use some aspect of 
implementation defined behavior.

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

Thread

Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-13 06:54 +0200
  Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 00:19 -0500
    Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-13 07:29 +0200
      Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 08:40 -0500
        Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
    Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 07:22 -0400
  Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-13 12:14 +0300
    Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 09:43 -0500
      Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-14 00:20 +0200
        Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-13 18:00 -0500
          Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
      Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-13 20:30 -0400
      Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-14 12:52 +0300
        Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-14 09:35 -0500
          Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-14 22:16 -0400
          Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-15 11:18 +0300
            Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-15 10:24 -0500
              Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-05-15 16:23 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-15 12:01 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
              Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-15 20:24 -0400
              Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-16 13:48 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-16 09:50 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-16 16:15 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-16 11:39 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:56 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-17 20:02 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 18:00 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### André G. Isaak <agisaak@gm.invalid> - 2024-05-17 17:15 -0600
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:10 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:24 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### André G. Isaak <agisaak@gm.invalid> - 2024-05-18 20:58 -0600
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:27 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 05:45 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:50 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:07 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 14:15 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 08:11 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-20 11:01 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 12:06 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:03 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 19:34 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 10:30 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 09:20 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 18:45 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-17 13:53 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-17 12:14 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-17 21:06 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-18 16:02 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 10:07 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:11 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### DFS <nospam@dfs.com> - 2024-05-18 21:52 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-19 04:22 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:30 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 14:09 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 14:12 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 14:34 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:29 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-20 16:32 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 21:46 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 22:21 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-18 22:42 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 08:08 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-19 12:48 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-20 11:16 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-20 14:00 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 14:11 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Alan Mackenzie <acm@muc.de> - 2024-05-20 16:43 +0000
                Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-20 17:45 +0000
                Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-20 11:28 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-21 11:47 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 20:27 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:10 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 13:13 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-22 10:50 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:27 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 06:47 +0200
                Lying meets the standard of losing defamation cases olcott <polcott333@gmail.com> - 2024-05-21 00:03 -0500
                Re: Lying meets the standard of losing defamation cases Richard Damon <richard@damon-family.org> - 2024-05-21 07:54 -0400
                Lying meets the standard of losing defamation cases olcott <polcott333@gmail.com> - 2024-05-21 00:05 -0500
                Re: Lying meets the standard of losing defamation cases Richard Damon <richard@damon-family.org> - 2024-05-21 07:56 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-20 22:35 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 08:52 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 10:56 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-21 11:36 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-21 11:48 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 18:10 +0200
                Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 17:16 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 20:13 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <NoOne@NoWhere.com> - 2024-05-21 22:55 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-22 07:48 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-22 07:41 +0200
                Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 12:56 +0000
                Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) immibis <news@immibis.com> - 2024-05-22 07:42 +0200
                Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 05:32 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### David Brown <david.brown@hesbynett.no> - 2024-05-22 18:40 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-22 15:30 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Kaz Kylheku <643-408-1753@kylheku.com> - 2024-05-22 16:15 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-22 11:15 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:12 -0700
                Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 19:15 +0000
                Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 12:51 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-21 13:08 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:24 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-21 13:26 -0700
                Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###) gazelle@shell.xmission.com (Kenny McCormack) - 2024-05-21 21:13 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-22 07:40 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-23 19:29 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:19 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-18 22:45 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Jeff Barnett <jbb@notatt.com> - 2024-05-19 00:48 -0600
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 11:34 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:44 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-18 18:01 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 12:04 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:31 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 12:49 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:52 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-19 13:23 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:14 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 12:32 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 12:47 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### James Kuyper <jameskuyper@alumni.caltech.edu> - 2024-05-18 13:01 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2024-05-18 12:03 -0700
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 13:20 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-19 10:53 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 07:34 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-19 16:48 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-19 09:03 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
                Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 13:13 -0500
                Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 15:09 -0400
                Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 14:29 -0500
                Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 15:49 -0400
                Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 15:34 -0500
                Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 19:30 -0400
                Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-19 15:59 -0500
                Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-19 19:31 -0400
                Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-20 13:33 -0500
                Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Every D(D) is correctly simulated by H Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:35 +0300
                Re: Every D(D) is correctly simulated by H olcott <polcott333@gmail.com> - 2024-05-20 12:58 -0500
                Re: Every D(D) is correctly simulated by H Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-20 11:21 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-20 12:56 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 06:49 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-21 00:05 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 07:58 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-21 13:06 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-21 08:44 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-22 10:17 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-21 08:54 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-21 16:38 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-22 10:39 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-22 09:51 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-22 19:01 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-23 13:06 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-23 08:18 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-23 21:44 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-24 11:58 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-24 12:13 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-24 13:25 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-25 11:14 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 07:09 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 08:54 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 13:03 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 14:16 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 13:28 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 15:23 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-25 15:09 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-25 16:21 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-26 11:57 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-26 08:32 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-26 19:19 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-26 11:50 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-26 13:16 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-27 11:11 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 08:52 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 10:10 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 09:39 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 10:58 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 10:43 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 11:56 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 11:06 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 12:37 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 14:52 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 17:34 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-27 17:46 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-27 19:12 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-28 11:21 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-28 10:13 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-28 22:04 -0400
                My use of the Socratic method defined: EXACTLY ONE-POINT-AT-A-TIME olcott <polcott333@gmail.com> - 2024-05-28 21:30 -0500
                Re: My use of the Socratic method defined: EXACTLY ONE-POINT-AT-A-TIME Richard Damon <richard@damon-family.org> - 2024-05-28 23:38 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-28 11:17 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-28 10:10 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Mikko <mikko.levanto@iki.fi> - 2024-05-28 10:17 +0300
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-28 09:37 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-26 12:31 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### immibis <news@immibis.com> - 2024-05-18 10:54 +0200
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 10:12 -0500
                Re: Every D(D) simulated by H presents non-halting behavior to H ### Richard Damon <richard@damon-family.org> - 2024-05-18 11:22 -0400
                Re: Every D(D) simulated by H presents non-halting behavior to H ### joes <noreply@example.com> - 2024-05-18 16:18 +0000
                Re: Every D(D) simulated by H presents non-halting behavior to H ### olcott <polcott333@gmail.com> - 2024-05-18 11:27 -0500

csiph-web