Download WordPress Themes, Happy Birthday Wishes
Home » Computer » Euclid and His Twentieth Century Rivals

Euclid and His Twentieth Century Rivals

  • Category: Computer
  • Author: Nathaniel Miller
  • Pages: 119 pages
  • File type: PDF

Read and download free eBook intituled Euclid and His Twentieth Century Rivals in format PDF – 119 pages created by Nathaniel Miller.

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.

Read and Download Links:

Euclid and His Twentieth Century Rivals

READ  Understanding Electronics Components

Leave a Reply

Your email address will not be published. Required fields are marked *

*

x

Check Also

The Linux Command Line

Read and download free Book intituled The Linux Command Line in format PDF written by William Shotts.