Author: Nathaniel Miller
Publisher: Center for the Study of Language and Information Publica Tion
ISBN:
Category : Mathematics
Languages : en
Pages : 136
Book Description
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.
Euclid and His Twentieth Century Rivals
Author: Nathaniel Miller
Publisher: Center for the Study of Language and Information Publica Tion
ISBN:
Category : Mathematics
Languages : en
Pages : 136
Book Description
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.
Publisher: Center for the Study of Language and Information Publica Tion
ISBN:
Category : Mathematics
Languages : en
Pages : 136
Book Description
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.
Euclid and His Modern Rivals
Author: Lewis Carroll
Publisher:
ISBN:
Category : Geometry
Languages : en
Pages : 380
Book Description
Publisher:
ISBN:
Category : Geometry
Languages : en
Pages : 380
Book Description
Euclid and His Rivals
Author: Charles Lutwidge Dodgson
Publisher:
ISBN:
Category : Geometry
Languages : en
Pages : 275
Book Description
Publisher:
ISBN:
Category : Geometry
Languages : en
Pages : 275
Book Description
Euclid's Elements
Author: Euclid
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 544
Book Description
"The book includes introductions, terminology and biographical notes, bibliography, and an index and glossary" --from book jacket.
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 544
Book Description
"The book includes introductions, terminology and biographical notes, bibliography, and an index and glossary" --from book jacket.
Euclid and His Modern Rivals
Author: Lewis Carroll
Publisher:
ISBN:
Category :
Languages : en
Pages : 299
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 299
Book Description
Euclid in the Rainforest
Author: Joseph Mazur
Publisher: Penguin
ISBN: 0452287839
Category : Mathematics
Languages : en
Pages : 353
Book Description
Like Douglas Hofstadter’s Gödel, Escher, Bach, and David Berlinski’s A Tour of the Calculus, Euclid in the Rainforest combines the literary with the mathematical to explore logic—the one indispensable tool in man’s quest to understand the world. Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure stories and historical narratives populated with a rich and quirky cast of characters, Mazur artfully reveals the less-than-airtight nature of logic and the muddled relationship between math and the real world. Ultimately, Mazur argues, logical reasoning is not purely robotic. At its most basic level, it is a creative process guided by our intuitions and beliefs about the world.
Publisher: Penguin
ISBN: 0452287839
Category : Mathematics
Languages : en
Pages : 353
Book Description
Like Douglas Hofstadter’s Gödel, Escher, Bach, and David Berlinski’s A Tour of the Calculus, Euclid in the Rainforest combines the literary with the mathematical to explore logic—the one indispensable tool in man’s quest to understand the world. Underpinning both math and science, it is the foundation of every major advancement in knowledge since the time of the ancient Greeks. Through adventure stories and historical narratives populated with a rich and quirky cast of characters, Mazur artfully reveals the less-than-airtight nature of logic and the muddled relationship between math and the real world. Ultimately, Mazur argues, logical reasoning is not purely robotic. At its most basic level, it is a creative process guided by our intuitions and beliefs about the world.
Euclid and His Modern Rivals
Author: Charles Lutwidge Dodgson
Publisher:
ISBN:
Category : Geometry
Languages : en
Pages : 275
Book Description
Publisher:
ISBN:
Category : Geometry
Languages : en
Pages : 275
Book Description
Euclid and His Modern Rivals
Author: Charles Lutwidge Dodgson
Publisher: DigiCat
ISBN:
Category : Art
Languages : en
Pages : 168
Book Description
Euclid and His Modern Rivals is a mathematical book by the British mathematician Charles Lutwidge Dodgson, known under his literary pseudonym "Lewis Carroll." The book evaluates the educational merits of thirteen contemporary geometry textbooks compared to Euclid's Elements. Caroll demonstrates that every of the presented geometry books of his time was inferior to or functionally identical to Wuclid's oeuvre.
Publisher: DigiCat
ISBN:
Category : Art
Languages : en
Pages : 168
Book Description
Euclid and His Modern Rivals is a mathematical book by the British mathematician Charles Lutwidge Dodgson, known under his literary pseudonym "Lewis Carroll." The book evaluates the educational merits of thirteen contemporary geometry textbooks compared to Euclid's Elements. Caroll demonstrates that every of the presented geometry books of his time was inferior to or functionally identical to Wuclid's oeuvre.
EUCLID AND HIS MODERN RIVALS
Author: CHARLES L. DODGSON
Publisher:
ISBN: 9781033119396
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9781033119396
Category :
Languages : en
Pages : 0
Book Description
Euclid and his modern rivals
Author: Ch. L. Dodgson
Publisher: Рипол Классик
ISBN: 5871823726
Category :
Languages : en
Pages : 311
Book Description
Publisher: Рипол Классик
ISBN: 5871823726
Category :
Languages : en
Pages : 311
Book Description