Formal Videfication

Re: Freek Wiedijk
At: http://www.cs.nyu.edu/pipermail/fom/2014-October/018272.html

Freek & FOM,

There is always C.S. Peirce's project to develop
logical graphs as "moving pictures of thought".

I give a few primitive animations here:

http://intersci.ss.uci.edu/wiki/index.php/Logical_graph

Jon

Freek Wiedijk wrote:
 >
 > Of course what we really would like to have in this analogy
 > is a photocamera :-)  (But for formal math that still has
 > to be invented, I think.)
 >
 > Freek
 >

-- 

academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache