Philosophy of mathematics and deductive structure in Euclid's Elements
著者
書誌事項
Philosophy of mathematics and deductive structure in Euclid's Elements
（Dover books on mathematics）
Dover Publications, 2006
並立書誌 全1件
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [371]-376
Includes index
Originaly published by Cambridge, Mass. : MIT Press , c1981
内容説明・目次
内容説明
This is the most extensive examination of Euclid's "Elements" in English since the last revision of T. L. Heath's monumental three-volume translation and commentary appeared over fifty years ago. While the present work augments and updates Heath's in the light of subsequent scholarship, its principal concern is to apply the resources of modern logic and philosophy of mathematics to the "Elements" in order to provide an understanding of the distinctively Greek conception of the foundations of mathematics.Mueller probes the internal logic and development of the "Elements, " giving a careful and full account of the independence and interdependence of its various books and of their mathematical and logical foundations. By considering alternative paths Euclid might have followed he clarifies the motivations underlying Euclid's actual choices. The results of his analyses are encapsulated in analytic diagrams. Appendixes listing all the propositions and presuppositions of the "Elements" make it easy for a reader to focus on particular parts of the "Elements" and to study the exact role of individual propositions.In order to bring out distinctive aspects of Greek mathematics the author makes frequent comparisons and contrasts with later mathematical developments. For example, he gives a detailed explanation of the differences between Euclid's axiomatic method and Hilbert's, between Euclid's development of arithmetic and modern ones based on Peano's axioms, and between Euclid's theory of proportion and Dedekind's theory of real numbers. The result is not only a clarification of Greek mathematics but of the mathematical enterprise itself.
「Nielsen BookData」 より