Interesting Esoterica

A formal system for Euclid's Elements

Article by Avigad, Jeremy and Dean, Edward and Mumma, John
  • Published in 2008
  • Added on
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

Links

Other information

keywords
Logic

BibTeX entry

@article{Avigad2008,
	abstract = {We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.},
	author = {Avigad, Jeremy and Dean, Edward and Mumma, John},
	keywords = {Logic},
	month = {oct},
	title = {A formal system for Euclid's Elements},
	url = {http://arxiv.org/abs/0810.4315 http://arxiv.org/pdf/0810.4315v3},
	year = 2008,
	archivePrefix = {arXiv},
	eprint = {0810.4315},
	primaryClass = {math.LO},
	urldate = {2010-04-04}
}