Isbn: 9781575865089 - euclid and his twentieth century rivals: diagrams in the logic of euclidean geometry (19 risultati)

Condizione: new.

Condizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Condizione: New.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condizione: Good. 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. 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.…

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: New. 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 such diagrams in Euclidean geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Series: CLSI - Studies in the Theory and Applications of Diagrams. Num Pages: 120 pages, Illustrations. BIC Classification: PBMH. Category: (P) Professional & Vocational. Dimension: 230 x 156 x 10. Weight in Grams: 208. . 2007. Illustrated. paperback. . . . . …

Condizione: New. pp. 119.

Paperback. Condizione: Brand New. 119 pages. 9.00x6.00x0.50 inches. In Stock.

Condizione: New. 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 such diagrams in Euclidean geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Series: CLSI - Studies in the Theory and Applications of Diagrams. Num Pages: 120 pages, Illustrations. BIC Classification: PBMH. Category: (P) Professional & Vocational. Dimension: 230 x 156 x 10. Weight in Grams: 208. . 2007. Illustrated. paperback. . . . . Books ship from the US and Ireland. …

Condizione: New. In English.

Condizione: New. pp. 119.

Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.

Condizione: New.

Condizione: as new. Stanford :CSLI Publications, 2007. Paperback. 119 pp. English text. Condition : as new.Includes bibliographical references (p. 115-116) and index. 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. Condition : as new copy. ISBN 9781575865089. Keywords : . …

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New. Satisfaction Guaranteed or your money back.

Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.