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.

Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agree ment between mind and reality, and that their potential discrepan cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling."

One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of mathematicians' activities as given, and go on to ask what philosophical morals one might perhaps find in their story. On the other hand, some philosophers, logicians and mathematicians have tried or are trying to subject the very concepts which mathematicians are using in their work to critical scrutiny. In practice this usually means scrutinizing the logical and linguistic tools mathematicians wield. Such scrutiny can scarcely help relying on philosophical ideas and principles. In other words it can scarcely help being literally a study of language, truth and logic in mathematics, albeit not necessarily in the spirit of AJ. Ayer. As its title indicates, the essays included in the present volume represent the latter approach. In most of them one of the fundamental concepts in the foundations of mathematics and logic is subjected to a scrutiny from a largely novel point of view. Typically, it turns out that the concept in question is in need of a revision or reconsideration or at least can be given a new twist. The results of such a re-examination are not primarily critical, however, but typically open up new constructive possibilities. The consequences of such deconstructions and reconstructions are often quite sweeping, and are explored in the same paper or in others.

General textbooks, attempting to cover three thousand or so years of mathematical history, must necessarily oversimplify just about everything, the practice of which can scarcely promote a critical approach to the subject. To counter this, History of Mathematics offers deeper coverage of key select topics, providing students with material that could encourage more critical thinking. It also includes the proofs of important results which are typically neglected in the modern history of mathematics curriculum.

Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought. The influence of the Boolean school on the development of logic, always recognised but long underestimated, has recently become a major research topic. This collection is the first anthology of works on Boole. It contains two works published in 1865, the year of Boole's death, but never reprinted, as well as several classic studies of recent decades and ten original contributions appearing here for the first time. From the programme of the English Algebraic School to Boole's use of operator methods, from the problem of interpretability to that of psychologism, a full range of issues is covered. The Boole Anthology is indispensable to Boole studies and will remain so for years to come.

This book deals with the development of thinking under different cultural conditions, focusing on the evolution of mathematical thinking in the history of science and education. Starting from Piaget's genetic epistemology, it provides a conceptual framework for describing and explaining the development of cognition by reflective abstractions from systems of actions.

A translation of Hilberts "Theorie der algebraischen Zahlk rper" best known as the "Zahlbericht," first published in 1897, in which he provides an elegantly integrated overview of the development of algebraic number theory up to the end of the nineteenth century. The Zahlbericht also provided a firm foundation for further research in the theory, and can be seen as the starting point for all twentieth century investigations into the subject, as well as reciprocity laws and class field theory. This English edition further contains an introduction by F. Lemmermeyer and N. Schappacher.

The articles in this volume have been first presented during an international Conference organised by the Greek Society for the History of Science and Technology in June 1990 at Corfu. The Society was founded in 1989 and planned to hold a series of meetings to impress upon an audience comprised mainly by Greek students and scholars, the point that history of science is an autonomous discipline with its own plurality of approaches developed over the years as a result of long discussions and disputes within the community of historians of science. The Conference took place at a time when more and more people came to realise that the future of the Greek Universities and Research Centres depends not only on the progress of the institutional reforms, but also very crucially on the establishment of new and modern subject areas. Though there have been significant steps towards such a direction in the physical sciences, mathematics and engineering, the situation in the so-called humanities has been, at best, confusing. Political expediencies of the post war years and ideological commitments to a glorious, yet very distant past, paralysed the development of the humanities and constrained them within a framework which could not allow much more than a philological approach.

To a large extent, it lies, no doubt, in what is presented in this work under the title of meta lever, a method which it is certainly interesting to develop and further refine. There exists in mathematics courses a strange prudery which forbids one to ask questions such as, Why are we doing this? -, At what is the objective aimed? -, whereas it is usually easy to reply to such questions, to keep them in mind, and to show that one can challenge these questions and modify the objectives to be more productive or more useful. If we don t do this we give a false impression of a gratuitous or arbitrary interpretation of a discipline whose rules are far from being unmotivated or unfounded. One must also consider the time aspect. Simple ideas take a long time to be conceived. Should we not therefore allow the students time to familiarize themselves with new notions? And must we not also recognize that this length of time is generally longer than that ofthe official length of time accorded to this teaching and that we should be counting in years? When the rudiments of linear algebra were taught at the level of the lycee (college level), the task of first year university teachers was certainly easier: for sure the student's knowledge was not very deep, however it was not negligible and it allowed them to reach a deeper understanding more quickly."

David Hilbert (1862-1943) was the most influential mathematician of the early twentieth century and, together with Henri Poincare, the last mathematical universalist. His main known areas of research and influence were in pure mathematics (algebra, number theory, geometry, integral equations and analysis, logic and foundations), but he was also known to have some interest in physical topics. The latter, however, was traditionally conceived as comprising only sporadic incursions into a scientific domain which was essentially foreign to his mainstream of activity and in which he only made scattered, if important, contributions.

Based on an extensive use of mainly unpublished archival sources, the present book presents a totally fresh and comprehensive picture of Hilbert s intense, original, well-informed, and highly influential involvement with physics, that spanned his entire career and that constituted a truly main focus of interest in his scientific horizon. His program for axiomatizing physical theories provides the connecting link with his research in more purely mathematical fields, especially geometry, and a unifying point of view from which to understand his physical activities in general. In particular, the now famous dialogue and interaction between Hilbert and Einstein, leading to the formulation in 1915 of the generally covariant field-equations of gravitation, is adequately explored here within the natural context of Hilbert s overall scientific world-view.

This book will be of interest to historians of physics and of mathematics, to historically-minded physicists and mathematicians, and to philosophers of science."

In 1690, Christiaan Huygens (1629-1695) published Traite de la Lumiere, containing his renowned wave theory of light. It is considered a landmark in seventeenth-century science, for the way Huygens mathematized the corpuscular nature of light and his probabilistic conception of natural knowledge. This book discusses the development of Huygens' wave theory, reconstructing the winding road that eventually led to Traite de la Lumiere. For the first time, the full range of manuscript sources is taken into account. In addition, the development of Huygens' thinking on the nature of light is put in the context of his optics as a whole, which was dominated by his lifelong pursuit of theoretical and practical dioptrics. In so doing, this book offers the first account of the development of Huygens' mathematical analysis of lenses and telescopes and its significance for the origin of the wave theory of light. As Huygens applied his mathematical proficiency to practical issues pertaining to telescopes - including trying to design a perfect telescope by means of mathematical theory - his dioptrics is significant for our understanding of seventeenth-century relations between theory and practice. With this full account of Huygens' optics, this book sheds new light on the history of seventeenth-century optics and the rise of the new mathematical sciences, as well as Huygens' oeuvre as a whole. Students of the history of optics, of early mathematical physics, and the Scientific Revolution, will find this book enlightening."

Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. For Plato, mathematics was evidence of Being in the midst of Becoming, garden variety evidence apparent even to small children and the unphilosophical, and therefore of the highest educational significance. In the great central similes of The Republic it is the touchstone ofintelligibility for discourse, and in the Timaeus it provides in an oddly literal sense the framework of nature, insuring the intelligibility ofthe material world. For Descartes, mathematical ideas had a clarity and distinctness akin to the idea of God, as the fifth of the Meditations makes especially clear. Cartesian mathematicals are constructions as well as objects envisioned by the soul; in the Principles, the work ofthe physicist who provides a quantified account ofthe machines of nature hovers between description and constitution. For Kant, mathematics reveals the possibility of universal and necessary knowledge that is neither the logical unpacking ofconcepts nor the record of perceptual experience. In the Critique ofPure Reason, mathematics is one of the transcendental instruments the human mind uses to apprehend nature, and by apprehending to construct it under the universal and necessary lawsofNewtonian mechanics.

Bruno de Finetti (1906-1985) is the founder of the subjective interpretation of probability, together with the British philosopher Frank Plumpton Ramsey. His related notion of "exchangeability" revolutionized the statistical methodology. This book (based on a course held in 1979) explains in a language accessible also to non-mathematicians the fundamental tenets and implications of subjectivism, according to which the probability of any well specified fact F refers to the degree of belief actually held by someone, on the ground of her whole knowledge, on the truth of the assertion that F obtains.

Covering both the history of mathematics and of philosophy, Descartes's Mathematical Thought reconstructs the intellectual career of Descartes most comprehensively and originally in a global perspective including the history of early modern China and Japan. Especially, it shows what the concept of "mathesis universalis" meant before and during the period of Descartes and how it influenced the young Descartes. In fact, it was the most fundamental mathematical discipline during the seventeenth century, and for Descartes a key notion which may have led to his novel mathematics of algebraic analysis.

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Goedel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wojcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Goedel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Goedel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Goedel, on cosmology, on holistic approaches in Germany, and on Mauthner.

This work counters historiographies that search for the origins of modern science within the experimental practices of Europe 's first scientific institutions, such as the Cimento. It proposes that we should look beyond the experimental rhetoric found in published works, to find that the Cimento academicians were participants in a culture of natural philosophical theorising that existed throughout Europe.

Modern mechanics was forged in the seventeenth century from materials inherited from Antiquity and transformed in the period from the Middle Ages through to the sixteenth century. These materials were transmitted through a number of textual traditions and within several disciplines and practices, including ancient and medieval natural philosophy, statics, the theory and design of machines, and mathematics.

This volume deals with a variety of moments in the history of mechanics when conflicts arose within one textual tradition, between different traditions, or between textual traditions and the wider world of practice. Its purpose is to show how the accommodations sometimes made in the course of these conflicts ultimately contributed to the emergence of modern mechanics.

The first part of the volume is concerned with ancient mechanics and its transformations in the Middle Ages; the second part with the reappropriation of ancient mechanics and especially with the reception of the Pseudo-Aristotelian Mechanica in the Renaissance; and the third and final part, with early-modern mechanics in specific social, national, and institutional contexts.

Dreaming Some years ago, in a corridor, in a small space, o? to the side, as in a hidden ravine, they were there. Tey couldn't be anywhere else. Hidden and mysterious, with faces that were dreamy and abstracted, or distracted, or pensive. Caught up in their thoughts, caught up in their space, a space that was distant and that only they could understand. Elusive and yet there, in front of me. Certainly, it was them, the six mathematicians of the Mathematica series by Mimmo Paladino. Tinkers of numbers and shapes. For ten years we have been searching for the mathematicians there. In Venice, the favourite place. An aura of mystery surrounds them, otherwise what kind of mathematicians would they be! Mysterious, dreamy, absent, absorbed are the faces of Paladino's mathemat- V icians. Te voices of ?ve Sardinian shepherds intone the Kyrie,the Libera Me Domine, the Sanctus. Insistent, profound, archaic voices. Te soundtrack of a journey, of a journey towards nothingness. A journey towards Te Wild Blue Yonder ,the last ?lm by Werner Herzog, winner of the international Critic's prize at the Venice f- tival in ????. Te heroes were astronauts, even if by now no one cares about their adventures;astronautswhotakeo?,whotravel,butdon'tknowwheretheyaregoing. And then there are the true heroes, the real gurus of the ?lm, the characters who some years ago burst onto the scene in cinema: the mathematicians.

The subject of the book is the development of physics in the 18th century centered upon the fundamental contributions of Leonhard Euler to physics and mathematics. This is the first book devoted to Euler as a physicist. Classical mechanics are reconstructed in terms of the program initiated by Euler in 1736 and its completion over the following decades until 1760. The book examines how Euler coordinated his progress in mathematics with his progress in physics.

The manuscript gives a coherent and detailed account of the theory of series in the eighteenth and early nineteenth centuries. It provides in one place an account of many results that are generally to be found - if at all - scattered throughout the historical and textbook literature. It presents the subject from the viewpoint of the mathematicians of the period, and is careful to distinguish earlier conceptions from ones that prevail today.

This book reflects the progress made in the forty years since the appearance of Abraham Robinson 's revolutionary book Nonstandard Analysis in the foundations of mathematics and logic, number theory, statistics and probability, in ordinary, partial and stochastic differential equations and in education. The contributions are clear and essentially self-contained.

This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects are kept separate as far as coherence allows, in order to enable the reader to follow the one or the other of these threads. The presentation of his work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from unpublished notes and letters add to the analysis.

Even though mathematics and physics have been related for centuries and this relation appears to be unproblematic, there are many questions still open: Is mathematics really necessary for physics, or could physics exist without mathematics? Should we think physically and then add the mathematics apt to formalise our physical intuition, or should we think mathematically and then interpret physically the obtained results? Do we get mathematical objects by abstraction from real objects, or vice versa? Why is mathematics effective into physics?

These are all relevant questions, whose answers are necessary to fully understand the status of physics, particularly of contemporary physics.

The aim of this book is to offer plausible answers to such questions through both historical analyses of relevant cases, and philosophical analyses of the relations between mathematics and physics.

two main (interacting) ways. They constitute that with which exploration into problems or questions is carried out. But they also constitute that which is exchanged between scholars or, in other terms, that which is shaped by one (or by some) for use by others. In these various dimensions, texts obviously depend on the means and technologies available for producing, reproducing, using and organizing writings. In this regard, the contribution of a history of text is essential in helping us approach the various historical contexts from which our sources originate. However, there is more to it. While shaping texts as texts, the practitioners of the sciences may create new textual resources that intimately relate to the research carried on. One may think, for instance, of the process of introduction of formulas in mathematical texts. This aspect opens up a wholerangeofextremelyinterestingquestionstowhichwewillreturnatalaterpoint.But practitioners of the sciences also rely on texts produced by themselves or others, which they bring into play in various ways. More generally, they make use of textual resources of every kind that is available to them, reshaping them, restricting, or enlarging them. Among these, one can think of ways of naming, syntax of statements or grammatical analysis, literary techniques, modes of shaping texts or parts of text, genres of text and so on.Inthissense, thepractitionersdependon, anddrawon, the"textualcultures"available to the social and professional groups to which they belong.

This account of the History of General Topology has grown out of the special session on this topic at the American Mathematical Soeiety meeting in San Antonio, Texas, 1993. It was there that the idea grew to publish a book on the historical development of General Topology. Moreover it was feit that it was important to undertake this project while topologists who knew some of the early researchers were still active. Since the first paper by Frechet, "Generalisation d'un theoreme de Weier- strass", C.R.Acad. Sei. 139, 1904, 848-849, and Hausdorff's c1assic book, "Grundzuge der Mengenlehre", Leipzig, 1914, there have been numerous de- velopments in a multitude of directions and there have been many interactions with a great number of other mathematical fields. We have tried to cover as many of these as possible. Most contributions concern either individual topologists, speeific schools, speeific periods, speeific topics or a combination of these.