Translator Disclaimer
August 2019 The Eu Approach to Formalizing Euclid: A Response to “On the Inconsistency of Mumma’s Eu”
John Mumma
Notre Dame J. Formal Logic 60(3): 457-480 (August 2019). DOI: 10.1215/00294527-2019-0012

Abstract

In line with Ken Manders’s seminal account of Euclid’s diagrammatic method in the “The Euclidean Diagram,” two proof systems with a diagrammatic syntax have been advanced as formalizations of the method FG and Eu. In a paper examining Eu, Nathaniel Miller, the creator of FG, has identified a variety of technical problems with the formal details of Eu. This response shows how the problems are remedied.

Citation

Download Citation

John Mumma. "The Eu Approach to Formalizing Euclid: A Response to “On the Inconsistency of Mumma’s Eu”." Notre Dame J. Formal Logic 60 (3) 457 - 480, August 2019. https://doi.org/10.1215/00294527-2019-0012

Information

Received: 4 October 2013; Accepted: 18 August 2017; Published: August 2019
First available in Project Euclid: 2 July 2019

zbMATH: 07120750
MathSciNet: MR3985621
Digital Object Identifier: 10.1215/00294527-2019-0012

Subjects:
Primary: 03A05
Secondary: 03B30, 51M99

Rights: Copyright © 2019 University of Notre Dame

JOURNAL ARTICLE
24 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.60 • No. 3 • August 2019
Back to Top