ONT Re: Inquiry Into Inquiry
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Jon Awbrey wrote:
>
> ¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
>
> W.M. Jaworski wrote:
> >
> > JA:
> > | A D (A)
> > | o o o
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ B * (B) /
> > | \ /
> > | \ * * * /
> > | \ /
> > | \ * H /
> > | \ /
> > | \ * * /
> > | \ /
> > | \ * * /
> > | \ /
> > | \ * * /
> > | \ /
> > | \ * * /
> > | \ /
> > | \*/
> > | o
> > | C
> > |
> > | Figure 2. Missing the Bus, Again
> > |
> > | A = Arriving bus situations,
> > | B = Best case situations,
> > | C = Current situation,
> > | D = Decoration situations,
> >
> > wmj: Nice picture.
> > Would state machine graph carry more information?
> > You could 'overload' states/nodes ('situations')
> > and edges/transitions with attributes.
>
> ¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
>
> WM(?),
>
> These are the stick-figure versions of my long-time (coming? gone?)
> project to integrate logic and information theory, which, like all my
> best ideas, I later discovered had "already been chewed" (ABC'd) by CSP,
> who lectured on this topic that he called "Information Theory" at Harvard,
> in 1865! Oh, Per Via, a recent reading of John Collier's draft article
> on "Information" for the Stanford Encyclopedia of Philosophy is tempting
> me to start using his moniker of "distinction theory" for the whole shebang,
> which, of course, has its echoes of Spencer-Brown's 'Laws of Form' (LOF).
>
> http://www.newcastle.edu.au/department/pl/Staff/JohnCollier/information/information.html
>
> It shall be soon enough, once we get this scaffold built,
> to start insistine on color schemes to paint the ceiling.
>
> Jon Awbrey
>
> ¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
On Second Thought (I'm a Peircean, I get three),
while you're waiting for the tour bus you might
want to flip through a few of these old touring
guides and travel brochures:
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Analytic Differential Ontology (ADO)
http://suo.ieee.org/ontology/msg00072.html
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Differential Analytic Turing Automata (DATA)
http://suo.ieee.org/email/msg03004.html
http://suo.ieee.org/email/msg03026.html
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Shroud of Turing (SOT)
http://suo.ieee.org/email/msg02714.html
http://suo.ieee.org/ontology/msg00308.html
http://www.virtual-earth.de/CG/cg-list/msg03669.html
http://www.virtual-earth.de/CG/cg-list/msg03677.html
http://stderr.org/pipermail/arisbe/2001-January/000167.html
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Here's the nub'o't.
A 'finite automaton' (FA -- "alonglongwaytorun") can always and rather facilely
be transposed into the key of a single proposition in ZOL, which lends its airs
to be not only played and appreciated but through-de-com-posed by whatchamacall
a "propositional constraint reasoner" (PCR), if a bit preversely to confound by
its zound the recombinant d'n'alogist again. But once it hast been transcribed
into a score of such a genre, all sorts of generalizations on the theme and all
mannerisms of vastening variations now open up efore the mind's ear and virtual
audacity of listening possibilities. To the likes of wot all I will recur anon.
Many Earguards,
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Incidental Musement:
http://www.stratfordfestival.ca/2001/playbill/soundofmusic.html
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤