skip to content
Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry Preview this item
ClosePreview this item
Checking...

Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry

Author: Nathaniel Miller
Publisher: Stanford, Calif. : CSLI Publications, ©2007.
Series: Studies in the theory and applications of diagrams.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

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. This work discusses the history of  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Miscellanea
Additional Physical Format: Online version:
Miller, Nathaniel, 1972-
Euclid and his twentieth century rivals.
Stanford, Calif. : CSLI Publications, c2007
(OCoLC)654494926
Named Person: Euclid.; Euclid.
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Nathaniel Miller
ISBN: 9781575865089 1575865084 9781575865072 1575865076
OCLC Number: 71947628
Description: viii, 119 p. : ill. ; 23 cm.
Contents: Background. A short history of diagrams, logic, and geometry ; The philosophy behind this work ; Euclid's elements --
Syntax and semantics of diagrams. Basic syntax of Euclidean diagrams ; Advanced syntax of diagrams : corresponding graph structures and diagram equivalence classes ; Diagram semantics ; Diagrammatic proofs --
Construction rules. Inference rules ; Transformation rules ; Dealing with areas and lengths of circular arcs ; CDEG --
Meta-mathematical results. Lemma incorporation ; Satisfiable and unsatisfiable diagrams ; Transformations and weaker systems.
Series Title: Studies in the theory and applications of diagrams.
Responsibility: Nathaniel Miller.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/71947628>
library:oclcnum"71947628"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/71947628>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:copyrightYear"2007"
schema:creator
schema:datePublished"2007"
schema:description"Background. A short history of diagrams, logic, and geometry ; The philosophy behind this work ; Euclid's elements -- Syntax and semantics of diagrams. Basic syntax of Euclidean diagrams ; Advanced syntax of diagrams : corresponding graph structures and diagram equivalence classes ; Diagram semantics ; Diagrammatic proofs -- Construction rules. Inference rules ; Transformation rules ; Dealing with areas and lengths of circular arcs ; CDEG -- Meta-mathematical results. Lemma incorporation ; Satisfiable and unsatisfiable diagrams ; Transformations and weaker systems."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/796419556>
schema:genre"Miscellanea"@en
schema:genre"Miscellanea."@en
schema:inLanguage"en"
schema:name"Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry"@en
schema:numberOfPages"119"
schema:publisher
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.