Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry
著者
書誌事項
Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry
(Studies in the theory and applications of diagrams / Dave Barker-Plummer, series editor)
CSLI Publications, c2007
- : pbk. : alk. paper
- : cloth
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 115-116) and index
内容説明・目次
内容説明
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. In "Euclid and His Twentieth-Century Rivals", Nathaniel Miller 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. 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.
「Nielsen BookData」 より