[Inquiry] Re: Differential Logic B -- Discussion

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DLOG B.  Discussion Note 5

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

I know that it's only Thursday, but it feels like
it ought to be Friday, so let me take a break and
touch base, if lightly in passing, on a couple of
issues that occasionally emerge in this framework,
even if my better judgment and worsted experience
tells me that I will most likely have to continue
putting them off until I'm older if not wiser.

Put Off 1.  Infinite Expressions

I wasn't quite sure what Hugh was getting at
with that "radiating tree" business, and the
mismatch between our character formats makes
my reconstruction of his illustrative Figure
just a bit hypothetical, but something about
the general drift and shape of what he wrote
reminds me of the problem area that concerns
the meaning of "infinite expressions", or as
it's sometimes met, "re-entrant expressions".

HT: Just throwing out a thought (as usual):
    if one of the units, or logical variables
    is stable, while the other is active, do we
    see a "radiating tree" something like this:

       active     active     active
             \       |      /
              \      |     /
       active--o  stable  o--active
              /      |     \
             /       |      \
       active     active     active

I will just put a flag in this for now,
and maybe revisit it later in the day.

I didn't say which day ...

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o