A formal system for Euclid's Elements
| Autor: | Avigad, Jeremy, Dean, Edward, Mumma, John |
|---|---|
| Rok vydání: | 2008 |
| Předmět: | |
| Zdroj: | Review of Symbolic Logic 2:4 (2009) 700-768 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1017/S1755020309990098 |
| Popis: | We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning. |
| Databáze: | arXiv |
| Externí odkaz: |
|