The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu'' (Q2330505)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu'' |
scientific article |
Statements
The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu'' (English)
0 references
22 October 2019
0 references
The author reacts to an attack by \textit{N. Miller} [Notre Dame J. Formal Logic 53, No. 1, 27--52 (2012; Zbl 1248.03022)] on the author's 2006 formalization of Euclid's use of diagrams Eu [Intuition formalized: Ancient and modern methods of proof in elementary Euclidean geometry. Pittsburgh, PA: Carnegie Mellon University (PhD Thesis) (2006)]. The author argues that all Miller's objections can be remedied.
0 references
elementary geometry
0 references
diagrams
0 references
proof systems
0 references
formalization
0 references