[FOM] Standard Language of Euclid

Peter LeFanu Lumsdaine plumsdai at andrew.cmu.edu
Sun Sep 27 12:29:03 EDT 2009

On 26 Sep 2009, at 19:06, A. MANI wrote:

> In the original language of Euclid it is not possible to remove the  
> schematic
> figures from the proof. It definitely possess a 'logic of diagrams'  
> component.
> It seems nobody has actually formalized it. 'School geometry' like  
> in some of
> the older British texts (Hall & Stevans for e.g) is in the language  
> you
> describe.

If I remember right, John Mumma looked at possible formalisations of  
Euclid's diagrammatic language in his PhD thesis, available at his  


Peter LeFanu Lumsdaine
Carnegie Mellon University

More information about the FOM mailing list