Animated Proofs
- To: Arisbe List <arisbe@stderr.org>, Inquiry List <inquiry@stderr.org>, Frogs <Frogs.List@GMail.com>, Antti Karttunen <Antti.Karttunen@GMail.com>, Juha Kettunen <juhaket@GMail.com>, James Ingram <j.ingram@netcologne.de>, "John F. Sowa" <sowa@bestweb.net>, Standard Upper Ontology <standard-upper-ontology@IEEE.ORG>, Cybernetics <CYBCOM@HERMES.GWU.EDU>, FOM <fom@cs.nyu.edu>
- Subject: Animated Proofs
- From: Jon Awbrey <jawbrey@att.net>
- Date: Sun, 14 Mar 2010 15:04:45 -0400
- Delivered-to: mhonarc@GROUPER.IEEE.ORG
- List-help: <http://listserv.ieee.org/cgi-bin/wa?LIST=STANDARD-UPPER-ONTOLOGY>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STANDARD-UPPER-ONTOLOGY>
- List-owner: <mailto:STANDARD-UPPER-ONTOLOGY-request@LISTSERV.IEEE.ORG>
- List-subscribe: <mailto:STANDARD-UPPER-ONTOLOGY-subscribe-request@LISTSERV.IEEE.ORG>
- List-unsubscribe: <mailto:STANDARD-UPPER-ONTOLOGY-unsubscribe-request@LISTSERV.IEEE.ORG>
- Sender: standard-upper-ontology@ieee.org
- User-agent: Thunderbird 2.0.0.23 (Windows/20090812)
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