Re: Zeroth Order Ontology

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

ZOO 16

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

In: ZOO.    http://suo.ieee.org/ontology/thrd1.html#05155
Re: ZOO 3.  http://suo.ieee.org/ontology/msg05163.html

How I got into this ... continued ...

The next thing I remember, @leastwise upon this particular strand
of history, would be somewhere in 1972, when John Eulenberg came to
E Lan from Palo Alto, and I remember remarking to him that I knew all
about that from my Texas history, but he said, No, the other Palo Alto.
But that will give you a rather landmarkable index of what I knew then.
He'd come to be the Director of the new Artificial Language Laboratory,
a place I'd be flitting through, hanging about, and briefly one summer
working in, for the next sixteen years or so.

At that time I had just come back from a year of wandering that took me
through Ann Arbor, where I took my first course in Foundations of Maths
from Frank Harary, who was teaching out of Raymond Wilder's book, and I
had in other coursework gotten my first real taste of Abstract Algebra,
Group Theory, Graph Theory, and Logic, not to mention toying with the
hot new subject of Mathematical Psychology that briefly flowered in
A^2 about that time.

Back in E Lan, Eulenberg taught a course in Mathematical Linguistics
that I took, or maybe just sat in.  I think the official textbook was
Robert Wall's 'Introduction', but there was a long list of exploratory
readings that included the more notorious monographs of Carnap, Chomsky,
Jackendoff, Levi-Strauss, Morris, Piaget, Saussure, and Spencer Brown,
so naturally I went bananas over that.

We also did projects in computational linguistics, using Snobol,
one of the up and comimg string processing languages of the day,
and that was when I commenced to work on my first simple-minded
"automatic theorem prover" (ATP) -- which was to me, by the way,
an acronym of no little auspicion from my brief but happy days
in biochemistry -- and naturally I began with the set of axioms
or initials for ZOL that were known to me by way of CSP and GSB.

To be continued ...

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o