In this book, the author writes freely and often humorously about his life, beginning with his earliest childhood days. He describes his survival of American bombing raids when he was a teenager in Japan, his emergence as a researcher in a post-war university system that was seriously deficient, and his life as a mature mathematician in Princeton and in the international academic community. Every page of this memoir contains personal observations and striking stories. Such luminaries as Chevalley, Oppenheimer, Siegel, and Weil figure prominently in its anecdotes.

Goro Shimura is Professor Emeritus of Mathematics at Princeton University. In 1996, he received the Leroy P. Steele Prize for Lifetime Achievement from the American Mathematical Society. He is the author of Elementary Dirichlet Series and Modular Forms (Springer 2007), Arithmeticity in the Theory of Automorphic Forms (AMS 2000), and Introduction to the Arithmetic Theory of Automorphic Functions (Princeton University Press 1971)."

This volume develops the major themes of time series analysis from its formal beginnings in the early part of the 20th century to the present day through the research of six distinguished British statisticians, all of whose work is characterised by the British traits of pragmatism and the desire to solve practical problems of importance.

This book is a history of the development of mathematical astronomy in China, from the late third century BCE, to the early 3rd century CE - a period often referred to as 'early imperial China'. It narrates the changes in ways of understanding the movements of the heavens and the heavenly bodies that took place during those four and a half centuries, and tells the stories of the institutions and individuals involved in those changes. It gives clear explanations of technical practice in observation, instrumentation, and calculation, and the steady accumulation of data over many years - but it centres on the activity of the individual human beings who observed the heavens, recorded what they saw, and made calculations to analyse and eventually make predictions about the motions of the celestial bodies. It is these individuals, their observations, their calculations, and the words they left to us that provide the narrative thread that runs through this work. Throughout the book, the author gives clear translations of original material that allow the reader direct access to what the people in this book said about themselves and what they tried to do.

In the 18th century, purely scientific interests as well as the practical necessities of navigation motivated the development of new theories and techniques to accurately describe celestial and lunar motion.

"Between Theory and Observations" presents a detailed and accurate account, not to be found elsewhere in the literature, of Tobias Mayer's important contributions to the study of lunar motion including the creation of his famous set of lunar tables, which were the most accurate of their time.

This book brings together the impact of Prof. John Horton Conway, the playful and legendary mathematician's wide range of contributions in science which includes research areas-Game of Life in cellular automata, theory of finite groups, knot theory, number theory, combinatorial game theory, and coding theory. It contains transcripts where some eminent scientists have shared their first-hand experience of interacting with Conway, as well as some invited research articles from the experts focusing on Game of Life, cellular automata, and the diverse research directions that started with Conway's Game of Life. The book paints a portrait of Conway's research life and philosophical direction in mathematics and is of interest to whoever wants to explore his contribution to the history and philosophy of mathematics and computer science. It is designed as a small tribute to Prof. Conway whom we lost on April 11, 2020.

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Goedel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Goedel's incompleteness theorem. Goedel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Goedel. The second is a problem still wide open. Goedel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Goedel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Goedel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.

This volume offers English translations of three early works by Ernst Schroeder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. The works translated record Schroeder's journey out of algebra into algebraic logic and document his transformation of George Boole's opaque and unwieldy logical calculus into what we now recognize as Boolean algebra. Readers interested in algebraic logic and abstract algebra can look forward to a tour of the early history of those fields with a guide who was exceptionally thorough, unfailingly honest, and deeply reflective.

This book sheds light on the variety of mathematical cultures in general. To do so, it concentrates on cultures of computation and quantification in the ancient world, mainly in ancient China, South Asia, and the Ancient Near East and offers case studies focused on numbers, quantities, and operations, in particular in relation to mathematics as well as administrative and economic activities. The various chapters focus on the different ways and contexts of shaping numbers and quantities, and on the procedures applied to them. The book places special emphasis on the processes of emergence of place-value number systems, evidenced in the three geographical areas under study All these features yield essential elements that will enable historians of mathematics to further capture the diversity of computation practices in their contexts, whereas previous historical approaches have tended to emphasize elements that displayed uniformity within "civilizational" blocks. The book includes editions and translations of texts, some of them published here for the first time, maps, and conventions for editions of ancient texts. It thereby offers primary sources and methodological tools for teaching and learning. The volume is aimed at historians and philosophers of science and mathematics, historians of the ancient worlds, historians of economics, sinologists, indologists, assyriologists, as well as undergraduate, graduate students and teachers in mathematics, the history and philosophy of science and mathematics, and in the history of ancient worlds.

This open access book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows the sinuous path that was taken to reach this state, from the long nineteenth century, through the two wars, to the present day. International cooperation in mathematics was well established by 1900, centered in Europe. The first International Mathematical Union, IMU, founded in 1920 and disbanded in 1932, reflected above all the trauma of WW I. Since 1950 the current IMU has played an increasing role in defining mathematical excellence, as is shown both in the historical narrative and by analyzing data about the International Congresses of Mathematicians. For each of the three periods discussed, interactions are explored between world politics, the advancement of scientific infrastructures, and the inner evolution of mathematics. Readers will thus take a new look at the place of mathematics in world culture, and how international organizations can make a difference. Aimed at mathematicians, historians of science, scientists, and the scientifically inclined general public, the book will be valuable to anyone interested in the history of science on an international level.

The logician Kurt Goedel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Goedel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.

Louis Couturat (1868-1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the philosophy of mathematics, for his critical and editorial work on Leibniz, for his attempt to popularise modern logic in France, for his commitment to an international auxiliary language, as well as for his extended correspondence with scholars and mathematicians from Great Britain, the United States, Italy, and Germany. From his correspondence we know of four unpublished manuscripts on logic and its history, which were largely complete and some of which must have been of considerable size. We publish here for the ?rst time in a critical edition the only one of these manuscripts that has been rediscovered: the Traite de Logique algorithmique, presumably written in the years 1899-1901. It is a highly interesting document of the academic reception and popularisation of symbolic logic in France. It provides evidence of the discussions and controversies which accompanied the creation of logic as a new branch of science. At the same time it completes the picture of Couturat's work, which has been opened up to systematic study by the publication of important parts of his correspondence during the last decade. We append the article on Symbolic Logic of 1902 which Couturat wrote in collaboration with Christine Ladd- Franklin for Baldwin's Dictionary of Philosophy and Psychology."

This volume presents the beautiful memoirs of Euler, Lagrange and Lambert on geography, translated into English and put into perspective through explanatory and historical essays as well as commentaries and mathematical notes. These works had a major impact on the development of the differential geometry of surfaces and they deserve to be studied, not only as historical documents, but most of all as a rich source of ideas.

Thomas Harriot's "Artis analyticae praxis" is an essential work in the history of algebra. To some extent it is a development work of Viete, who was among the first to use literal symbols to stand for known and unknown quantities. But it was Harriot who took the crucial step of creating an entirely symbolic algebra, so that reasoning could be reduced to a quasi-mechanical manipulation of symbols. Although his algebra was still limited in scope (he insisted. for example, on strict homogeneity, so only terms of the same powers could be added or equated to one another), it is recognizably modern. Although Harriot's book was highly influential in the development of analysis in England before Newton, it has recently become clear that the posthumously published Praxis contains only an incomplete account of Harriot's achievement: his editor substantially rearranged the work before publishing it, and omitted sections that were apparently beyond his comprehension, such as negative and complex roots of equations. The commentary included with the translation attempts to restore the Praxis to the state of Harriot's draft. Basing their work on manuscripts in the British Library, Pentworth House, and Lambeth Palace, the commentary contains some of Harriot's most novel and advanced mathematics, very little of which has been published in the past. It will provide the basis for a reassessment of the development of algebra.

The present work is the first ever English translation of the original text of Thomas Harriota (TM)s Artis Analyticae Praxis, first published in 1631 in Latin. Thomas Harriota (TM)s Praxis is an essential work in the history of algebra. Even though Harriota (TM)s contemporary, Viete, was among the first to use literal symbols to stand for known and unknown quantities, it was Harriott who took the crucial step of creating an entirely symbolic algebra. This allowed reasoning to be reduced to a quasi-mechanical manipulation of symbols. Although Harriota (TM)s algebra was still limited in scope (he insisted, for example, on strict homogeneity, so only terms of the same powers could be added or equated to one another), it is recognizably modern.

While Harriota (TM)s book was highly influential in the development of analysis in England before Newton, it has recently become clear that the posthumously published Praxis contains only an incomplete account of Harriota (TM)s achievement: his editor substantially rearranged the work before publishing it, and omitted sections that were apparently beyond comprehension, such as negative and complex roots of equations.

The commentary included with this translation relates the contents of the Praxis to the corresponding pages in his manuscript papers, which enables much of Harriot's most novel and advanced mathematics to be explored. This publication will become an important contribution to the history of mathematics, and it will provide the basis for a reassessment of the development of algebra.

Drawing on published works, correspondence and manuscripts, this book offers the most comprehensive reconstruction of Boscovich's theory within its historical context. It explains the genesis and theoretical as well as epistemological underpinnings in light of the Jesuit tradition to which Boscovich belonged, and contrasts his ideas with those of Newton, Leibniz, and their legacy. Finally, it debates crucial issues in early-modern physical science such as the concept of force, the particle-like structure of matter, the idea of material points and the notion of continuity, and shares novel insights on Boscovich's alleged influence on later developments in physics. With its attempt to reduce all natural forces to one single law, Boscovich's Theory of Natural Philosophy, published in 1758, left a lasting impression on scientists and philosophers of every age regarding the fundamental unity of physical phenomena. The theory argues that every pair of material points is subject to one mutual force - and always the same force - which is their propensity to be mutually attracted or repelled, depending on their distance from one another. Furthermore, the action of this unique force is visualized through a famous diagram that fascinated generations of scientists. But his understanding of key terms of the theory - such as the notion of force involved and the very idea of a material point - is only ostensibly similar to our current conceptual framework. Indeed, it needs to be clarified within the plurality of contexts in which it has emerged rather than being considered in view of later developments. The book is recommended for scholars and students interested in the ideas of the early modern period, especially historians and philosophers of science, mathematicians and physicists with an interest in the history of the discipline, and experts on Jesuit science and philosophy.

The Italian mathematician Mario Pieri (1860-1913) played an integral part in the research groups of Corrado Segre and Giuseppe Peano, and thus had a significant, yet somewhat underappreciated impact on several branches of mathematics, particularly on the development of algebraic geometry and the foundations of mathematics in the years around the turn of the 20th century. This book is the first in a series of three volumes that are dedicated to countering that neglect and comprehensively examining Pieria (TM)s life, mathematical work and influence in such diverse fields as mathematical logic, algebraic geometry, number theory, inversive geometry, vector analysis, and differential geometry.

The Legacy of Mario Pieri in Geometry and Arithmetic introduces readers to Pieria (TM)s career and his studies in foundations, from both historical and modern viewpoints, placing his life and research in context and tracing his influence on his contemporaries as well as more recent mathematicians. The text also provides a glimpse of the Italian academic world of Pieri's time, and its relationship with the developing international mathematics community. Included in this volume are the first English translations, along with analyses, of two of his most important axiomatizationsa "his postulates for arithmetic, which Peano judged superior to his own; and his foundation of elementary geometry on the basis of point and sphere, which Alfred Tarski used as a basis for his own system.

Combining an engaging exposition, little-known historical information, exhaustive references and an excellent index, this text will be of interest to graduate students, researchers and historians with a general knowledgeof logic and advanced mathematics, and it requires no specialized experience in mathematical logic or the foundations of geometry.

The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offered: (1) two extensions of Peirce's existential graphs, to intuitionistic logics (a new symbol for implication), and other non-classical logics (new actions on nonplanar surfaces); (2) a complete formalization of Peirce's continuum, capturing all Peirce's original demands (genericity, supermultitudeness, reflexivity, modality), thanks to an inverse ordinally iterated sheaf of real lines; (3) an array of subformalizations and proofs of Peirce's pragmaticist maxim, through methods in category theory, HoTT techniques, and modal logics. The book will be relevant to Peirce scholars, mathematicians, and philosophers alike, thanks to thorough assessments of Peirce's mathematical heritage, compact surveys of the literature, and new perspectives offered through formal and modern mathematizations of the topics studied.

Leibniz published the Dissertation on Combinatorial Art in 1666. This book contains the seeds of Leibniz's mature thought, as well as many of the mathematical ideas that he would go on to further develop after the invention of the calculus. It is in the Dissertation, for instance, that we find the project for the construction of a logical calculus clearly expressed for the first time. The idea of encoding terms and propositions by means of numbers, later developed by Kurt Goedel, also appears in this work. In this text, furthermore, Leibniz conceives the possibility of constituting a universal language or universal characteristic, a project that he would pursue for the rest of his life. Mugnai, van Ruler, and Wilson present the first full English translation of the Dissertation, complete with a critical introduction and a comprehensive commentary.

This book is a consequence of the international meeting organized in Marseilles in November 2018 devoted to the aftermath of the Great War for mathematical communities. It features selected original research presented at the meeting offering a new perspective on a period, the 1920s, not extensively considered by historiography. After 1918, new countries were created, and borders of several others were modified. Territories were annexed while some countries lost entire regions. These territorial changes bear witness to the massive and varied upheavals with which European societies were confronted in the aftermath of the Great War. The reconfiguration of political Europe was accompanied by new alliances and a redistribution of trade - commercial, intellectual, artistic, military, and so on - which largely shaped international life during the interwar period. These changes also had an enormous impact on scientific life, not only in practice, but also in its organization and communication strategies. The mathematical sciences, which from the late 19th century to the 1920s experienced a deep disciplinary evolution, were thus facing a double movement, internal and external, which led to a sustainable restructuring of research and teaching. Concomitantly, various areas such as topology, functional analysis, abstract algebra, logic or probability, among others, experienced exceptional development. This was accompanied by an explosion of new international or national associations of mathematicians with for instance the founding, in 1918, of the International Mathematical Union and the controversial creation of the International Research Council. Therefore, the central idea for the articulation of the various chapters of the book is to present case studies illustrating how in the aftermath of the war, many mathematicians had to organize their personal trajectories taking into account the evolution of the political, social and scientific environment which had taken place at the end of the conflict.

This open access book brings together for the first time all aspects of the tragic life and fascinating work of the polymath Robert Leslie Ellis (1817-1859), placing him at the heart of early-Victorian intellectual culture. Written by a diverse team of experts, the chapters in the book's first part contain in-depth examinations of, among other things, Ellis's family, education, Bacon scholarship and mathematical contributions. The second part consists of annotated transcriptions of a selection of Ellis's diaries and correspondence. Taken together, A Prodigy of Universal Genius: Robert Leslie Ellis, 1817-1859 is a rich resource for historians of science, historians of mathematics and Victorian scholars alike. Robert Leslie Ellis was one of the most intriguing and wide-ranging intellectual figures of early Victorian Britain, his contributions ranging from advanced mathematical analysis to profound commentaries on philosophy and classics and a decisive role in the orientation of mid-nineteenth century scholarship. This very welcome collection offers both new and authoritative commentaries on the work, setting it in the context of the mathematical, philosophical and cultural milieux of the period, together with fascinating passages from the wealth of unpublished papers Ellis composed during his brief and brilliant career. - Simon Schaffer, Department of History and Philosophy of Science, University of Cambridge

In this well-illustrated book the authors, Sinan Kanbir, Ken Clements, and Nerida Ellerton, tackle a persistent, and universal, problem in school mathematics-why do so many middle-school and secondary-school students find it difficult to learn algebra well? What makes the book important are the unique features which comprise the design-research approach that the authors adopted in seeking a solution to the problem. The first unique feature is that the authors offer an overview of the history of school algebra. Despite the fact that algebra has been an important component of secondary-school mathematics for more than three centuries, there has never been a comprehensive historical analysis of factors influencing the teaching and learning of that component. The authors identify, through historical analysis, six purposes of school algebra: (a) algebra as a body of knowledge essential to higher mathematical and scientific studies, (b) algebra as generalized arithmetic, (c) algebra as a prerequisite for entry to higher studies, (d) algebra as offering a language and set of procedures for modeling real-life problems, (e) algebra as an aid to describing structural properties in elementary mathematics, and (f) algebra as a study of variables. They also raise the question whether school algebra represents a unidimensional trait. Kanbir, Clements and Ellerton offer an unusual hybrid theoretical framework for their intervention study (by which seventh-grade students significantly improved their elementary algebra knowledge and skills). Their theoretical frame combined Charles Sanders Peirce's triadic signifier-interpretant-signified theory, which is in the realm of semiotics, with Johann Friedrich Herbart's theory of apperception, and Ken Clements' and Gina Del Campo's theory relating to the need to expand modes of communications in mathematics classrooms so that students engage in receptive and expressive modes. Practicing classroom teachers formed part of the research team. This book appears in Springer's series on the "History of Mathematics Education." Not only does it include an important analysis of the history of school algebra, but it also adopts a theoretical frame which relies more on "theories from the past," than on contemporary theories in the field of mathematics education. The results of the well-designed classroom intervention are sufficiently impressive that the study might havecreated and illuminated a pathway for future researchers to take.

This book focuses on the ancient Near East, early imperial China, South-East Asia, and medieval Europe, shedding light on mathematical knowledge and practices documented by sources relating to the administrative and economic activities of officials, merchants and other actors. It compares these to mathematical texts produced in related school contexts or reflecting the pursuit of mathematics for its own sake to reveal the diversity of mathematical practices in each of these geographical areas of the ancient world. Based on case studies from various periods and political, economic and social contexts, it explores how, in each part of the world discussed, it is possible to identify and describe the different cultures of quantification and computation as well as their points of contact. The thirteen chapters draw on a wide variety of texts from ancient Near East, China, South-East Asia and medieval Europe, which are analyzed by researchers from various fields, including mathematics, history, philology, archaeology and economics. The book will appeal to historians of science, economists and institutional historians of the ancient and medieval world, and also to Assyriologists, Indologists, Sinologists and experts on medieval Europe.

This volume offers an integrated understanding of how the theory of general relativity gained momentum after Einstein had formulated it in 1915. Chapters focus on the early reception of the theory in physics and philosophy and on the systematic questions that emerged shortly after Einstein's momentous discovery. They are written by physicists, historians of science, and philosophers, and were originally presented at the conference titled Thinking About Space and Time: 100 Years of Applying and Interpreting General Relativity, held at the University of Bern from September 12-14, 2017. By establishing the historical context first, and then moving into more philosophical chapters, this volume will provide readers with a more complete understanding of early applications of general relativity (e.g., to cosmology) and of related philosophical issues. Because the chapters are often cross-disciplinary, they cover a wide variety of topics related to the general theory of relativity. These include: Heuristics used in the discovery of general relativity Mach's Principle The structure of Einstein's theory Cosmology and the Einstein world Stability of cosmological models The metaphysical nature of spacetime The relationship between spacetime and dynamics The Geodesic Principle Symmetries Thinking About Space and Time will be a valuable resource for historians of science and philosophers who seek a deeper knowledge of the (early and later) uses of general relativity, as well as for physicists and mathematicians interested in exploring the wider historical and philosophical context of Einstein's theory.

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Goettingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations. Chapter 8 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.