Euclid and His Twentieth Century Rivals

Current Research Activities:

Reasoning with Geometric Diagrams - It has long been assumed in mathematical communities that diagrams can be properly used only as aids to human intuition which have no place in formal proofs, reducing diagrams to second-class citizens of the mathematical world.  My research aims to show that diagrams can be used rigorously and fruitfully in formal mathematics, and, indeed, that the formal proofs that one gets using diagrams are more understandable and correspond better to  normal informal proofs (of the kind that one finds in Euclid's Elements, for example) than traditional linguistic formal proofs.

Other Research:

To read the pdf files, you need the Adobe Acrobat reader, which you can download for free here.

Nathaniel Miller <>