Re: [FOM] Animated Proofs
Michael Lamport Commons <[email protected]> Sun, 14 Mar 2010 20:09:21 -0400
| Newsgroups | gmane.science.mathematics.frogs,gmane.comp.inquiry |
|---|---|
| Message-ID | <[email protected]> |
My Best, Michael Lamport Commons, Ph.D. Assistant Clinical Professor Department of Psychiatry Harvard Medical School Beth Israel Deaconess Medical Center 234 Huron Avenue Cambridge, MA 02138-1328 Telephone (617) 497-5270 Facsimile (617) 491-5270 Cellular (617) 320–0896 [email protected] http://dareassociation.org/ On 3/14/2010 3:04 PM, Jon Awbrey wrote: > 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 > >