THEORY: Codic cortex

From: Mitchell Porter (
Date: Thu Apr 19 2001 - 18:09:32 MDT

What the subject line should really say is,
"technical book on complexity of proofs, some
of whose mathematical content might be adapted
so as to apply to the analysis of code".

The book is _A Graphic Apology for Symmetry
and Implicitness_ by Alessandra Carbone and
Stephen Semmes (Oxford Science Publications,
2000, I think it's a weird title too). I
haven't read it; it's a long technical book
about representing proofs as directed graphs,
and using the symmetries of the graphs to
simplify the proofs. The preface to the book
is on the web (in Postscript format, it seems)

Do You Yahoo!?
Yahoo! Auctions - buy the things you want at great prices

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:36 MDT