An incredible season for algebraic geometry flourished in Italy between 1860, when Luigi Cremona was assigned the chair of Geometria Superiore in Bologna, and 1959, when Francesco Severi published the last volume of the treatise on algebraic systems over a surface and an algebraic variety. This century-long season has had a prominent influence on the evolution of complex algebraic geometry - both at the national and international levels - and still inspires modern research in the area. "Algebraic geometry in Italy between tradition and future" is a collection of contributions aiming at presenting some of these powerful ideas and their connection to contemporary and, if possible, future developments, such as Cremonian transformations, birational classification of high-dimensional varieties starting from Gino Fano, the life and works of Guido Castelnuovo, Francesco Severi's mathematical library, etc. The presentation is enriched by the viewpoint of various researchers of the history of mathematics, who describe the cultural milieu and tell about the bios of some of the most famous mathematicians of those times.

Lazare Carnot was the unique example in the history of science of someone who inadvertently owed the scientific recognition he eventually achieved to earlier political prominence. He and his son Sadi producedwork that derived from their training as engineering and went largely unnoticed by physicists for a generation or more, even though their respective work introduced concepts that proved fundamental when taken up later by other hands. There was, moreover, a filial as well as substantive relation between the work of father and son. Sadi applied to the functioning of heat engines the analysis that his father had developed in his study of the operation of ordinary machines. Specifically, Sadi's idea of a reversible process originated in the use his father made of geometric motions in the analysis of machines in general.

This unique book shows how the two Carnots influenced each other in their work in the fields of mechanics and thermodynamicsand how future generations of scientists have further benefited from their work."

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.

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.

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.

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.

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.