Sari: Studies in the Theory and Applications of Diagrams
(Ilmumisaeg: 01-Apr-2007, Hardback, Kirjastus: Centre for the Study of Language & Information, ISBN-13: 9781575865072)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
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,...Loe edasi...
Sari: Studies in the Theory and Applications of Diagrams
(Ilmumisaeg: 01-Apr-2007, Paperback / softback, Kirjastus: Centre for the Study of Language & Information, ISBN-13: 9781575865089)
This book discusses the history of diagrams in Euclidean Geometry; develops a formal system FG for working with geometric diagrams in Euclidean geometry; develops meta-mathematical results about this formal system; and discusses the ways in which suc...Loe edasi...