Distributed for the Center for the Study of Language and Information
Euclid and His Twentieth Century Rivals
Diagrams in the Logic of Euclidean Geometry
Cloth $65.00
ISBN: 9781575865072
Published July 2008
Paper $27.50
ISBN: 9781575865089
Published April 2007
1. Background 2. Syntax and Semantics of Diagrams 3. Diagrammatic Proofs 4. Meta-mathematical Results 5. Conclusions Appendix A: Euclid's Postulates Appendix B: Hilbert's Axioms Appendix C: Isabel Luengo's DS1 Appendix D: A CDEG transcript References Index
|