Re: Proof Animations

Jon Awbrey <[email protected]>
Newsgroups gmane.comp.inquiry
Message-ID <[email protected]>
Peircers,

It is taking a lot more work than I ever imagined to convert
my old Knol articles into WordPress posts, but I did manage to
update the article on the "Praeclarum Theorema" of Leibniz so far
as to include another example of a proof animation.  As before, it's
an equational proof in a graphical syntax that is derived from Peirce's
alpha graphs for propositional logic.

Praeclarum Theorema
http://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema

Regards,

Jon

--

academia http://independent.academia.edu/JonAwbrey
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
word press blog 1: http://jonawbrey.wordpress.com/
word press blog 2: http://inquiryintoinquiry.com/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.