Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
Product Description
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
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.
Technical Specifications
You might also like
VEVOR Aerial Yoga Frame, 9.67 ft Height Swing Stand, Max 551.15 lbs Load Chrome-Plated Steel Pipe Inversion Yoga Rig for Indoor Outdoor Use
Wit and Wisdom from the Kitchen: A Lifetime of Cooking Knowledge, Passed Down from Generations of Food Lovers
The Ernest Hemingway Signature Notebook: An Inspiring Notebook for Curious Minds (5) (The Signature Notebook Series)
The Classic Tale of Two Bad Mice: The Classic Edition
New Orleans Cocktails: An Elegant Collection of Over 100 Recipes Inspired by the Big Easy (City Cocktails)
My Fucking Awesome Bucket List: 101 Badass Journal Pages to Jumpstart Your Best Life – An Illustrated and Interactive Journal with Prompts for Road Trips, Concerts, and Wild Dreams
The Twelve Days of Christmas Cats (Hardcover): The Classic Edition
The Night Before Christmas Board Book: The Classic Edition