• Title Euclid and His Twentieth Century Rivals
• Author(s) Nathaniel Miller
• Publisher: Center for the Study of Language, University of Northern Colorado (April 15, 2007);
• Hardcover/Paperback 119 pages
• eBook PDF
• Language: English
• ISBN-10: 1575865084
• ISBN-13: 978-1575865089
• Share This:  

Book Description

Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to the use of diagrams in proofs. In Euclid and His Twentieth-Century Rivals, Nathaniel Miller discusses the history of diagrams in Euclidean Geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously.

This book also introduces a diagrammatic computer proof system, based on this formal system. This volume will be of interest to mathematicians, computer scientists, and anyone interested in the use of diagrams in geometry.

• N/A

• Amazon
• Amazon (Euclidean Plane and its Relatives)

• Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc.
• Geometry and Topology
• History of Mathematics

• Euclid and His Twentieth Century Rivals (Nathaniel Miller)

• The Elements of Non-Euclidean Geometry (Julian L. Coolidge)

  The heroic age of non-euclidean geometry is passed. It is long since the days when Lobatchewsky timidly referred to his system as an 'imaginary geometry', and the new subject appeared as a dangerous lapse from the orthodox doctrine of Euclid.

• Euclidean Plane and its Relatives: A Minimalist Introduction

  The book is designed for a semester-long course in Foundations of Geometry and meant to be rigorous, conservative, elementary and minimalist. It promotes the art and the skills of developing logical proofs.

• The Story of Euclid (W. B. Frankland)

  Euclid was a Greek mathematician, often referred to as the "Father of Geometry". His Elements is one of the most influential works in the history of mathematics, serving as the main textbook until the late 19th or early 20th century.

• The Legacy of Felix Klein (Hans-Georg Weigand, et al)

  This open access book provides an overview of Felix Klein's ideas. It discusses the meaning, importance and the legacy of Klein's ideas today and in the future, within an international, global context.

• Elementary College Geometry (Henry Africk)

  This text is intended for a brief introductory course in plane geometry, covers the topics from elementary geometry that are most likely to be required for more advanced mathematics courses. The only prerequisite is a semester of algebra.

• Spectral Geometry of Graphs (Pavel Kurasov)

  This open access book gives a systematic introduction into the Spectral Theory of differential operators on metric graphs. Main focus is on the fundamental relations between the spectrum and the geometry of the underlying graph.