to the English translation of Lagrange's Mecanique Analytique Lagrange's Mecanique Analytique appeared early in 1788 almost exactly one cen- tury after the publication of Newton's Principia Mathematica. It marked the culmination of a line of research devoted to recasting Newton's synthetic, geomet- ric methods in the analytic style of the Leibnizian calculus. Its sources extended well beyond the physics of central forces set forth in the Principia. Continental au- thors such as Jakob Bernoulli, Daniel Bernoulli, Leonhard Euler, Alexis Clairaut and Jean d'Alembert had developed new concepts and methods to investigate problems in constrained interaction, fluid flow, elasticity, strength of materials and the operation of machines. The Mecanique Analytique was a remarkable work of compilation that became a fundamental reference for subsequent research in exact science. During the eighteenth century there was a considerable emphasis on extending the domain of analysis and algorithmic calculation, on reducing the dependence of advanced mathematics on geometrical intuition and diagrammatic aids. The analytical style that characterizes the Mecanique Analytique was evident in La- grange's original derivation in 1755 of the 8-algorithm in the calculus of variations. It was expressed in his consistent attempts during the 1770s to prove theorems of mathematics and mechanics that had previously been obtained synthetically. The scope and distinctiveness of his 1788 treatise are evident if one compares it with an earlier work of similar outlook, Euler's Mechanica sive Motus Scientia Analyt- 1 ice Exposita of 1736.

This book confronts the issue of how young people can find a way into the world of algebra. It represents multiple perspectives which include an analysis of situations in which algebra is an efficient problem-solving tool, the use of computer-based technologies, and a consideration of the historical evolution of algebra. The book emphasizes the situated nature of algebraic activity as opposed to being concerned with identifying students' conceptions in isolation from problem-solving activity.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics."

In this examination of the Babylonian cuneiform "algebra" texts, based on a detailed investigation of the terminology and discursive organization of the texts, Jens Hoyrup proposes that the traditional interpretation must be rejected. The texts turn out to speak not of pure numbers, but of the dimensions and areas of rectangles and other measurable geometrical magnitudes, often serving as representatives of other magnitudes (prices, workdays, etc...), much as pure numbers represent concrete magnitudes in modern applied algebra. Moreover, the geometrical procedures are seen to be reasoned to the same extent as the solutions of modern equation algebra, though not built on any explicit deductive structure.

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being. Brouwer attacked the main currents of the philosophy of mathematics: the formalists and the Platonists. In tum, both these schools began viewing intuitionism as the most harmful party among all known philosophies of mathematics. That was the origin of the now-90-year-old debate over intuitionism. As both sides have appealed in their arguments to philosophical propositions, the discussions have attracted the attention of philosophers as well. One might ask here what role a philosopher can play in controversies over mathematical intuitionism. Can he reasonably enter into disputes among mathematicians? I believe that these disputes call for intervention by a philo sopher. The three best-known arguments for intuitionism, those of Brouwer, Heyting and Dummett, are based on ontological and epistemological claims, or appeal to theses that properly belong to a theory of meaning. Those lines of argument should be investigated in order to find what their assumptions are, whether intuitionistic consequences really follow from those assumptions, and finally, whether the premises are sound and not absurd. The intention of this book is thus to consider seriously the arguments of mathematicians, even if philosophy was not their main field of interest. There is little sense in disputing whether what mathematicians said about the objectivity and reality of mathematical facts belongs to philosophy, or not."

An understanding of developments in Arabic mathematics between the IXth and XVth century is vital to a full appreciation of the history of classical mathematics. This book draws together more than ten studies to highlight one of the major developments in Arabic mathematical thinking, provoked by the double fecondation between arithmetic and the algebra of al-Khwarizmi, which led to the foundation of diverse chapters of mathematics: polynomial algebra, combinatorial analysis, algebraic geometry, algebraic theory of numbers, diophantine analysis and numerical calculus. Thanks to epistemological analysis, and the discovery of hitherto unknown material, the author has brought these chapters into the light, proposes another periodization for classical mathematics, and questions current ideology in writing its history. Since the publication of the French version of these studies and of this book, its main results have been admitted by historians of Arabic mathematics, and integrated into their recent publications. This book is already a vital reference for anyone seeking to understand history of Arabic mathematics, and its contribution to Latin as well as to later mathematics. The English translation will be of particular value to historians and philosophers of mathematics and of science.

Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy. On the other hand, this period also witnessed the emergence of a variety of alternative theories of real numbers and corresponding theories of continua, as well as non-Archimedean geometry, non-standard analysis, and a number of important generalizations of the system of real numbers, some of which have been described as arithmetic continua of one type or another. With the exception of E.W. Hobson's essay, which is concerned with the ideas of Cantor and Dedekind and their reception at the turn of the century, the papers in the present collection are either concerned with or are contributions to, the latter groups of studies. All the contributors are outstanding authorities in their respective fields, and the essays, which are directed to historians and philosophers of mathematics as well as to mathematicians who are concerned with the foundations of their subject, are preceded by a lengthy historical introduction.

In the year 1889 Sofya Vasilievna Kovalevskaya, Profes- sor of Mathematics at the University of Stockholm, pub- lished her recollections of growing up in mid-nineteenth century Russia. Professor Kovalevskaya was already an international celebrity, and partly for the wrong reasons: less as the distinguished mathematician she actually was than as a "mathematical lady"-a bizarre but fascinating phenomenon.* Her book was an immediate success. She had written it in Russian, but its first publication was a translation into Swedish, the language of her adopted homeland, where it appeared thinly disguised as a novel under the title From Russian Ltfe: the Rajevski Sisters (Sonja Kovalevsky. Ur ryska lifvet. Systrarna Rajevski. Heggstrom, 1889). In the following year the book came out in Russia in two *"My gifted Mathematical Assistant Mr. Hammond exclaimed ...'Why, this is the first handsome mathematical lady I have ever seen!'" Letter to S. V. Kovalevskaya from].]. Sylvester, Professor of Mathe- matics, New College, Oxford, Dec. 25, 1886.

In three volumes, a distinguished group of scholars from a variety of disciplines in the natural and social sciences, the humanities and the arts contribute essays in honor of Robert S. Cohen, on the occasion of his 70th birthday. The range of the essays, as well as their originality, and their critical and historical depth, pay tribute to the extraordinary scope of Professor Cohen's intellectual interests, as a scientist-philosopher and a humanist, and also to his engagement in the world of social and political practice. The essays presented in Physics, Philosophy, and the Scientific Community (Volume I of Essays in Honor of Robert S. Cohen) focus on philosophical and historical issues in contemporary physics: on the origins and conceptual foundations of quantum mechanics, on the reception and understanding of Bohr's and Einstein's work, on the emergence of quantum electrodynamics, and on some of the sharp philosophical and scientific issues that arise in current scientific practice (e.g. in superconductivity research). In addition, several essays deal with critical issues within the philosophy of science, both historical and contemporary: e.g. with Cartesian notions of mechanism in the philosophy of biology; with the language and logic of science - e.g. with new insights concerning the issue of a physicalistic' language in the arguments of Neurath, Carnap and Wittgenstein; with the notion of elementary logic'; and with rational and non-rational elements in the history of science. Two original contributions to the history of mathematics and some studies in the comparative sociology of science round off this outstanding collection.

This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http://mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).

In the early modern period, a crucial transformation occurred in the classical conception of number and magnitude. Traditionally, numbers were merely collections of discrete units that measured some multiple. Magnitude, on the other hand, was usually described as being continuous, or being divisible into parts that are infinitely divisible. This traditional idea of discrete number versus continuous magnitude was challenged in the early modern period in several ways.

This detailed study explores how the development of algebraic symbolism, logarithms, and the growing practical demands for an expanded number concept all contributed to a broadening of the number concept in early modern England. An interest in solving practical problems was not, in itself, enough to cause a generalisation of the number concept. It was the combined impact of novel practical applications together with the concomitant development of such mathematical advances as algebraic notation and logarithms that produced a broadened number concept.

Based on the latest historical research, Worlds Out of Nothing is the first book to provide a course on the history of geometry in the 19th century. Topics covered in the first part of the book are projective geometry, especially the concept of duality, and non-Euclidean geometry. The book then moves on to the study of the singular points of algebraic curves (Plucker's equations) and their role in resolving a paradox in the theory of duality; to Riemann's work on differential geometry; and to Beltrami's role in successfully establishing non-Euclidean geometry as a rigorous mathematical subject. The final part of the book considers how projective geometry rose to prominence, and looks at Poincare's ideas about non-Euclidean geometry and their physical and philosophical significance.

Three chapters are devoted to writing and assessing work in the history of mathematics, with examples of sample questions in the subject, advice on how to write essays, and comments on what instructors should be looking for."

Imre Lakatos (1922-1974) was one of the protagonists in shaping the "new philosophy of science." More than 25 years after his untimely death, it is time for a critical re-evaluation of his ideas. His main theme of locating rationality within the scientific process appears even more compelling today, after many historical case studies have revealed the cultural and societal elements within scientific practices. Recently there has been, above all, an increasing interest in Lakatos' philosophy of mathematics, which emphasises heuristics and mathematical practice over logical justification. But suitable modifications of his approach are called for in order to make it applicable to modern axiomatised theories.

Pioneering historical research in England and Hungary has unearthed hitherto unknown facts about Lakatos' personal life, his wartime activities and his involvement in the political developments of post-war Europe. From a communist activist committed to Gyorgyi Lukacs' thinking, Lakatos developed into a staunch anti-Marxist who found his intellectual background in Popper's critical rationalism. The volume also publishes for the first time a part of his Debrecen Ph.D. thesis and it is concluded by a bibliography of his Hungarian writings. "

Leonardo da Pisa, perhaps better known as Fibonacci (ca. 1170 - ca. 1240), selected the most useful parts of Greco-Arabic geometry for the book known as De Practica Geometrie. This translation offers a reconstruction of De Practica Geometrie as the author judges Fibonacci wrote it, thereby correcting inaccuracies found in numerous modern histories. It is a high quality translation with supplemental text to explain text that has been more freely translated. A bibliography of primary and secondary resources follows the translation, completed by an index of names and special words.

This volume is, as may be readily apparent, the fruit of many years' labor in archives and libraries, unearthing rare books, researching Nachlasse, and above all, systematic comparative analysis of fecund sources. The work not only demanded much time in preparation, but was also interrupted by other duties, such as time spent as a guest professor at universities abroad, which of course provided welcome opportunities to present and discuss the work, and in particular, the organizing of the 1994 International Grassmann Conference and the subsequent editing of its proceedings. If it is not possible to be precise about the amount of time spent on this work, it is possible to be precise about the date of its inception. In 1984, during research in the archive of the Ecole polytechnique, my attention was drawn to the way in which the massive rupture that took place in 1811-precipitating the change back to the synthetic method and replacing the limit method by the method of the quantites infiniment petites-significantly altered the teaching of analysis at this first modern institution of higher education, an institution originally founded as a citadel of the analytic method."

Many literary critics seem to think that an hypothesis about obscure and remote questions of history can be refuted by a simple demand for the production of more evidence than in fact exists. The demand is as easy to make as it is impossible to satisfy. But the true test of an hypothesis, if it cannot be shown to con?ict with known truths, is the number of facts that it correlates and explains. Francis M. Cornford [1914] 1934, 220. It was in the autumn of 1997 that the research project leading to this publication began. One of us [GH], while a visiting fellow at the Center for Philosophy of Science (University of Pittsburgh), gave a talk entitled, "Proportions and Identity: The Aesthetic Aspect of Symmetry". The presentation focused on a confusion s- rounding the concept of symmetry: it exhibits unity, yet it is often claimed to reveal a form of beauty, namely, harmony, which requires a variety of elements. In the audience was the co-author of this book [BRG] who responded with enthusiasm, seeking to extend the discussion of this issue to historical sources in earlier periods. A preliminary search of the literature persuaded us that the history of symmetry was rich in possibilities for new insights into the making of concepts. John Roche's brief essay (1987), in which he sketched the broad outlines of the history of this concept, was particularly helpful, and led us to conclude that the subject was worthy of monographic treatment.

John Wallis (1616-1703) was the most influential English mathematician prior to Newton. He published his most famous work, Arithmetica Infinitorum, in Latin in 1656. This book studied the quadrature of curves and systematised the analysis of Descartes and Cavelieri. Upon publication, this text immediately became the standard book on the subject and was frequently referred to by subsequent writers. This will be the first English translation of this text ever to be published.

During the past 25 years, set theory has developed in several interesting directions. The most outstanding results cover the application of sophisticated techniques to problems in analysis, topology, infinitary combinatorics and other areas of mathematics. This book contains a selection of contributions, some of which are expository in nature, embracing various aspects of the latest developments. Amongst topics treated are forcing axioms and their applications, combinatorial principles used to construct models, and a variety of other set theoretical tools including inner models, partitions and trees. Audience: This book will be of interest to graduate students and researchers in foundational problems of mathematics.

The Kenneth May Lectures have never before been published in book form

Important contributions to the history of mathematics by well-known historians of science

Should appeal to a wide audience due to its subject area and accessibility

Symbols, Impossible Numbers, and Geometric Entanglements is the first history of the development and reception of algebra in early modern England and Scotland. Not primarily a technical history, this book analyzes the struggles of a dozen British thinkers to come to terms with early modern algebra, its symbolical style, and negative and imaginary numbers. Professor Pycior uncovers these thinkers as a "test-group" for the symbolic reasoning that would radically change not only mathematics but also logic, philosophy, and language studies. The book also shows how pedagogical and religious concerns shaped the British debate over the relative merits of algebra and geometry. The first book to position algebra firmly in the Scientific Revolution and pursue Newton the algebraist, it highlights Newton's role in completing the evolution of algebra from an esoteric subject into a major focus of British mathematics. Other thinkers covered include Oughtred, Harriot, Wallis, Hobbes, Barrow, Berkeley, and MacLaurin.

This book contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino University to celebrate the 150th anniversary of G. Peano's birth - one of the greatest figures in modern mathematics and logic and the most important mathematical logician in Italy - a century after the publication of Formulario Mathematico, a great attempt to systematise Mathematics in symbolic form.

This book presents the Riemann Hypothesis, connected problems, and a taste of the body of theory developed towards its solution. It is targeted at the educated non-expert. Almost all the material is accessible to any senior mathematics student, and much is accessible to anyone with some university mathematics.

The appendices include a selection of original papers. This collection is not very large and encompasses only the most important milestones in the evolution of theory connected to the Riemann Hypothesis. The appendices also include some authoritative expository papers. These are the "expert witnesses whose insight into this field is both invaluable and irreplaceable.

The main theme of this anthology is the unique interaction between mathematics, physics and philosophy during the beginning of the 20th century. In this book, ten renowned philosopher-historians probe insightfully into key conceptual questions of pre-quantum mathematical physics. The result is a diverse yet thematically focused compilation of first class papers on mathematics, physics and philosophy, and a source-book on the interaction between them.

This book offers a detailed history of parametric statistical inference. Covering the period between James Bernoulli and R.A. Fisher, it examines: binomial statistical inference; statistical inference by inverse probability; the central limit theorem and linear minimum variance estimation by Laplace and Gauss; error theory, skew distributions, correlation, sampling distributions; and the Fisherian Revolution. Lively biographical sketches of many of the main characters are featured throughout, including Laplace, Gauss, Edgeworth, Fisher, and Karl Pearson. Also examined are the roles played by DeMoivre, James Bernoulli, and Lagrange.

Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in a narrow sense, or else to traditional problems of analytic philosophy. From Dedekind to Goedel: Essays on the Development of the Foundations of Mathematics illustrates the much greater variety of the actual developments in the foundations during the period covered. The viewpoints that serve this purpose included the foundational ideas of working mathematicians, such as Kronecker, Dedekind, Borel and the early Hilbert, and the development of notions like model and modelling, arbitrary function, completeness, and non-Archimedean structures. The philosophers discussed include not only the household names in logic, but also Husserl, Wittgenstein and Ramsey. Needless to say, such logically-oriented thinkers as Frege, Russell and Goedel are not entirely neglected, either. Audience: Everybody interested in the philosophy and/or history of mathematics will find this book interesting, giving frequently novel insights.