Re: Animated Proofs

Re: Charles Silver @ http://www.cs.nyu.edu/pipermail/fom/2010-April/014523.html

I'm guessing that he means the sort of picture that one sees here:

Frithjof Dau's animated Alpha Graph proof of Leibniz's Praeclarum Theorema:

http://web.archive.org/web/20070706192257/http://dr-dau.net/pc.shtml

(I had to use the WebArchive version here, as the current page freezes up.)

Those are nice pictures, but I found early on that the planar embedding imposes
certain limitations on the efficiency and extensibility of the graphical syntax.
Peirce himself experimented with the idea of pasting paper bridges on the plane
of representation, but I gather that he did this mostly just to handle the crossing
"lines of identity" that he used to bind variables in his Beta Graphs for predicate
logic.  Spencer-Brown, in his revival of Peirce's Alpha Graphs, endeavored to escape
the limitations of the plane through the use of worm-hole-like devices to augment the
genus of the medium -- but I can't speak to that.

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