Hi--
Does any one know if anyone has ever tried to produce a theorem prover
for S-B's formalism?
Yes. William Bricken (now at the University of Washington doing VR)
produced a Lisp based LoF theorem prover a few year back with a nice visual
interface which animated the proof through a tree graph. I saw him
demonstrate it at the first Artificial Life workshop though his article
did not make it to the final volume. I have the paper which describes
the system.
Also was there ever any follow up to Varela and Kaufman's articiles on
Form Dynamics?
Not that I know, though there are further references to it in Kaufmann's
"Knots and Physics" second edition. Most are Kaufmann papers published
in obscure journals...
Kent
--------------------------------------------------------------------------------
Kent D. Palmer, Ph.D. editor Thinknet philosophy newsletter
Software Engineering Technologist administrator Thinknet philosophy lists
Philosopher at large without portfolio system operator Thinknet BBS 714-638-0876
palmer@world.std.com or @netcom.com autopoietic social systems theorist
Joao Pedro Leao (Artificial Iconoclast and Director of Computer Resources
Artificial Physics Lab * Boston University - Physics Dept. Boston MA 02215)
leao@buphy.bu.edu | leao@buphyc.bitnet | BUPHYC::LEAO
"Let this be a lesson: never give a monster the job of a mad scientist...
...now be a good bunny and let me have your brain! "