ONT Re: Zeroth Order Theories (ZOT's)
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
CM = Chris Menzel
CM: What does this baroque framework do that a hundred other little
programs for doing propositional logic and model theory don't do?
As with every other comprehensible part of your work that I've seen,
you are simply reinventing the wheel -- illustrated with ASCII art.
Chris,
Coming as it does from a fan of Bach, I will take take the "baroque"
as a compliment, and I should guess that you will take the movement
from rococo to baroque as an advance in the direction of classical.
In many ways I was specifically responding to your request that I take up
increasingly concrete examples, and so I am not just a little taken abach
by your present lack of appreciation, but I hope that you will understand
that my unassuming overture was selected with an ear to being as near as
pachelbel to a minimalist sort of expository fugure.
The last time that I trebled myself to check, propositional satisfiability
was still an NP-complete problem -- please don't tell me if the bit's all
defunk now, as my personal satisfiability derives on principle largolly
from working these problems through at my own andaunted pace in my own
manneristic excuse for a style.
What can I hope to hold out for such a discerning lister?
It's true, mine is the invention of a re-invention, and
poco a pokey little more than the modular transposition
of a rather well-turned-out epic cycle, none other than
the first round of Peirce's 3-ring logographic circus.
What's new, what's new, what's new, though?
It does scale nicely ...
The programme that I composed on an old 286 in 1989, and that
I've not up-scaled a jot, a line, or a tilde in all that time --
well, it still serves me well to amplify my powers of logical
acuteness, and to extend my range of analytic intuition many
octaves of variables beyond what I can accomplish on my own.
But that's just bravado to you, and not yet bravura, I guess ...
As for the ascii art ...
I hope that you realize that this is no mere ornamentation.
These are rough studies of the actual data structures that
abide at the heart of the programme's graph-theoretic art.
And one of the most significant features and innovations
of the etude's through-&-through-composition is the way
that it works through graph transformations and graph
projections in all of its basic themes and variations.
I think that this is an especially nice bit,
but then, a mother would.
But do stay tuned ...
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤