bokomslag Euclid and His Twentieth Century Rivals
Vetenskap & teknik

Euclid and His Twentieth Century Rivals

Nathaniel Miller

Inbunden

1089:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 11-22 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 119 sidor
  • 2007
Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to his use of diagrams. In "Euclid and His Twentieth-Century Rivals", Nathaniel Miller discusses the history of such diagrams in Euclidean geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Miller 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.
  • Författare: Nathaniel Miller
  • Format: Inbunden
  • ISBN: 9781575865072
  • Språk: Engelska
  • Antal sidor: 119
  • Utgivningsdatum: 2007-04-01
  • Förlag: Centre for the Study of Language & Information