[FOM] Animated Proofs
Jon Awbrey
jawbrey at att.net
Sun Mar 14 15:04:45 EDT 2010
Hi All --
I finally got around to doing something I've
been thinking about doing since the late 60's,
animating proofs in Peirce's logical graphs.
Here's a rough cut where all I did was flip through
a sequence of images that I had already made up
in storyboard form:
http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems#Majority_function_example
Jon Awbrey
--
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
More information about the FOM
mailing list