Re: Zeroth Order Ontology

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

ZOO.  Discussion Note 5

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

Under the Sunday Supplement "Link Of A Link" category, be sure to
check out the home page of knot theorist Lou Kauffman, especially
his "Box Algebra Exercise".  Because I am trying to focus on the
problems of actually computing things, I will have to stick with
finite strings and trees for quite a while, but Kauffman's work
will give you a taste of what a semantics for infinite and/or
re-entrant logical expressions would have to be like.  These
issues come up in the branch of topology that studies knots,
and they provide an intuitive foundation for the study of
so-called "non-well-founded set theory" that was already
underway twenty years before Peter Aczel's book came out,
though of course one can trace the dimmer beginnings of
the subject way back before either one of these sources.

http://www.lawsofform.org/
http://www2.math.uic.edu/~kauffman/
http://www2.math.uic.edu/~kauffman/Arithmetic.htm

Jon Awbrey

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