Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The Hierarchy of Propositions and Functions', which was divided up and re-used to create the final changes for the second edition. These documents provide fascinating insight, including Russell's attempts to work out the theorems in the flawed Appendix B, 'On Induction'. An extensive introduction describes the stages of the manuscript material on the way to print and analyzes the proposed changes in the context of the development of symbolic logic after 1910.

This book addresses the mathematical rationality contained in the making of string figures. It does so by using interdisciplinary methods borrowed from anthropology, mathematics, history and philosophy of mathematics. The practice of string figure-making has long been carried out in many societies, and particularly in those of oral tradition. It consists in applying a succession of operations to a string (knotted into a loop), mostly using the fingers and sometimes the feet, the wrists or the mouth. This succession of operations is intended to generate a final figure. The book explores different modes of conceptualization of the practice of string figure-making and analyses various source material through these conceptual tools: it looks at research by mathematicians, as well as ethnographical publications, and personal fieldwork findings in the Chaco, Paraguay, and in the Trobriand Islands, Papua New Guinea, which all give evidence of the rationality that underlies this activity. It concludes that the creation of string figures may be seen as the result of intellectual processes, involving the elaboration of algorithms, and concepts such as operation, sub-procedure, iteration, and transformation.

The famous and prolific nineteenth-century mathematician, engineer and inventor Charles Babbage (1791 1871) was an early pioneer of computing. He planned several calculating machines, but none was built in his lifetime. On his death his youngest son, Henry P. Babbage, was charged with the task of completing an unfinished volume of papers on the machines, which was finally published in 1889 and is reissued here. The papers, by a variety of authors, were collected from journals including The Philosophical Magazine, The Edinburgh Review and Scientific Memoirs. They relate to the construction and potential application of Charles Babbage's calculating engines, notably the Difference Engine and the more complex Analytical Engine, which was to be programmed using punched cards. The book also includes correspondence with members of scientific societies, as well as proceedings, catalogues and drawings. Included is a complete catalogue of the drawings of the Analytical Engine.

This book presents, in his own words, the life of Hugo Steinhaus (1887-1972), noted Polish mathematician of Jewish background, educator, and mathematical popularizer. A student of Hilbert, a pioneer of the foundations of probability and game theory, and a contributor to the development of functional analysis, he was one of those instrumental to the extraordinary flowering of Polish mathematics before and after World War I. In particular, it was he who "discovered" the great Stefan Banach. Exhibiting his great integrity and wit, Steinhaus's personal story of the turbulent times he survived - including two world wars and life postwar under the Soviet heel - cannot but be of consuming interest. His account of the years spent evading Nazi terror is especially moving. The steadfast honesty and natural dignity he maintained while pursuing a life of demanding scientific and intellectual enquiry in the face of encroaching calamity and chaos show him to be truly a mathematician for all seasons. The present work will be of great interest not only to mathematicians wanting to learn some of the details of the mathematical blossoming that occurred in Poland in the first half of the 20th century, but also to anyone wishing to read a first-hand account of the history of those unquiet times in Europe - and indeed world-wide - by someone of uncommon intelligence and forthrightness situated near an eye of the storm.

This collection presents significant contributions from an international network project on mathematical cultures, including essays from leading scholars in the history and philosophy of mathematics and mathematics education. Mathematics has universal standards of validity. Nevertheless, there are local styles in mathematical research and teaching, and great variation in the place of mathematics in the larger cultures that mathematical practitioners belong to. The reflections on mathematical cultures collected in this book are of interest to mathematicians, philosophers, historians, sociologists, cognitive scientists and mathematics educators.

This open access book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models. This book is open access under a CC BY 4.0 license.

This volume brings together a number of leading scholars working in the field of ancient Greek mathematics to present their latest research. In their respective area of specialization, all contributors offer stimulating approaches to questions of historical and historiographical 'revolutions' and 'continuity'. Taken together, they provide a powerful lens for evaluating the applicability of Thomas Kuhn's ideas on 'scientific revolutions' to the discipline of ancient Greek mathematics. Besides the latest historiographical studies on 'geometrical algebra' and 'premodern algebra', the reader will find here some papers which offer new insights into the controversial relationship between Greek and pre-Hellenic mathematical practices. Some other contributions place emphasis on the other edge of the historical spectrum, by exploring historical lines of 'continuity' between ancient Greek, Byzantine and post-Hellenic mathematics. The terminology employed by Greek mathematicians, along with various non-textual and material elements, is another topic which some of the essays in the volume explore. Finally, the last three articles focus on a traditionally rich source on ancient Greek mathematics; namely the works of Plato and Aristotle.

Is anything truly random? Does infinity actually exist? Could we ever see into other dimensions?

In this delightful journey of discovery, David Darling and extraordinary child prodigy Agnijo Banerjee draw connections between the cutting edge of modern maths and life as we understand it, delving into the strange would we like alien music? and venturing out on quests to consider the existence of free will and the fantastical future of quantum computers. Packed with puzzles and paradoxes, mind-bending concepts and surprising solutions, this is for anyone who wants life s questions answered even those you never thought to ask.

This book offers an alternative to current philosophy of mathematics: heuristic philosophy of mathematics. In accordance with the heuristic approach, the philosophy of mathematics must concern itself with the making of mathematics and in particular with mathematical discovery. In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works. On this basis, mainstream philosophy of mathematics has maintained that mathematics is theorem proving by the axiomatic method. This view has turned out to be untenable because of Goedel's incompleteness theorems, which have shown that the view that mathematics is theorem proving by the axiomatic method does not account for a large number of basic features of mathematics. By using the heuristic approach, this book argues that mathematics is not theorem proving by the axiomatic method, but is rather problem solving by the analytic method. The author argues that this view can account for the main items of the mathematical process, those being: mathematical objects, demonstrations, definitions, diagrams, notations, explanations, applicability, beauty, and the role of mathematical knowledge.

Nonstandard Analysis enhances mathematical reasoning by introducing new ways of expression and deduction. Distinguishing between standard and nonstandard mathematical objects, its inventor, the eminent mathematician Abraham Robinson, settled in 1961 the centuries-old problem of how to use infinitesimals correctly in analysis. Having also worked as an engineer, he saw not only that his method greatly simplified mathematically proving and teaching, but also served as a powerful tool in modelling, analyzing and solving problems in the applied sciences, among others by effective rescaling and by infinitesimal discretizations.

This book reflects the progress made in the forty years since the appearance of 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 book provides a critical edition, translation, and study of the version of Euclid's treatise made by Thabit ibn Qurra, which is the earliest Arabic version that we have in its entirety. This monograph study examines the conceptual differences between the Greek and Arabic versions of the treatise, beginning with a discussion of the concept of "given" as it was developed by Greek mathematicians. This is followed by a short account of the various medieval versions of the text and a discussion of the manuscripts used in this volume. Finally, the Arabic text and an English translation are provided, followed by a critical commentary.

This book contains a compendium of 25 papers published since the 1970s dealing with pi and associated topics of mathematics and computer science. The collection begins with a Foreword by Bruce Berndt. Each contribution is preceded by a brief summary of its content as well as a short key word list indicating how the content relates to others in the collection. The volume includes articles on actual computations of pi, articles on mathematical questions related to pi (e.g., "Is pi normal?"), articles presenting new and often amazing techniques for computing digits of pi (e.g., the "BBP" algorithm for pi, which permits one to compute an arbitrary binary digit of pi without needing to compute any of the digits that came before), papers presenting important fundamental mathematical results relating to pi, and papers presenting new, high-tech techniques for analyzing pi (i.e., new graphical techniques that permit one to visually see if pi and other numbers are "normal"). This volume is a companion to Pi: A Source Book whose third edition released in 2004. The present collection begins with 2 papers from 1976, published by Eugene Salamin and Richard Brent, which describe "quadratically convergent" algorithms for pi and other basic mathematical functions, derived from some mathematical work of Gauss. Bailey and Borwein hold that these two papers constitute the beginning of the modern era of computational mathematics. This time period (1970s) also corresponds with the introduction of high-performance computer systems (supercomputers), which since that time have increased relentlessly in power, by approximately a factor of 100,000,000, advancing roughly at the same rate as Moore's Law of semiconductor technology. This book may be of interest to a wide range of mathematical readers; some articles cover more advanced research questions suitable for active researchers in the field, but several are highly accessible to undergraduate mathematics students.

Kuo-Tsai Chen (1923-1987) is best known to the mathematics community for his work on iterated integrals and power series connections in conjunction with his research on the cohomology of loop spaces. His work is intimately related to the theory of minimal models as developed by Dennis Sullivan, whose own work was in part inspired by the research of Chen. An outstanding and original mathematician, Chen's work falls naturally into three periods: his early work on group theory and links in the three sphere; his subsequent work on formal differential equations, which gradually developed into his most powerful and important work; and his work on iterated integrals and homotopy theory, which occupied him for the last twenty years of his life. The goal of Chen's iterated integrals program, which is a de Rham theory for path spaces, was to study the interaction of topology and analysis through path integration. The present volume is a comprehensive collection of Chen's mathematical publications preceded by an article, "The Life and Work of Kuo-Tsai Chen," placing his work and research interests into their proper context and demonstrating the power and scope of his influence.

This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then researched this fascinating biography of an intellectual who was key in the development of these fields. Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna.

These two volumes present the collected works of James Serrin. He did seminal work on a number of the basic tools needed for the study of solutions of partial differential equations. Many of them have been and are being applied to solving problems in science and engineering. Among the areas which he studied are maximum principle methods and related phenomena such as Harnack's inequality, the compact support principle, dead cores and bursts, free boundary problems, phase transitions, the symmetry of solutions, boundary layer theory, singularities and fine regularity properties. The volumes include commentaries by leading mathematicians to indicate the significance of the articles and to discuss further developments along the lines of these articles.

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

This volume contains essays that examine infinity in early modern philosophy. The essays not only consider the ways that key figures viewed the concept. They also detail how these different beliefs about infinity influenced major philosophical systems throughout the era. These domains include mathematics, metaphysics, epistemology, ethics, science, and theology. Coverage begins with an introduction that outlines the overall importance of infinity to early modern philosophy. It then moves from a general background of infinity (before early modern thought) up through Kant. Readers will learn about the place of infinity in the writings of key early modern thinkers. The contributors profile the work of Descartes, Spinoza, Leibniz, and Kant. Debates over infinity significantly influenced philosophical discussion regarding the human condition and the extent and limits of human knowledge. Questions about the infinity of space, for instance, helped lead to the introduction of a heliocentric solar system as well as the discovery of calculus. This volume offers readers an insightful look into all this and more. It provides a broad perspective that will help advance the present state of knowledge on this important but often overlooked topic.

These two volumes present the collected works of James Serrin. He did seminal work on a number of the basic tools needed for the study of solutions of partial differential equations. Many of them have been and are being applied to solving problems in science and engineering. Among the areas which he studied are maximum principle methods and related phenomena such as Harnack's inequality, the compact support principle, dead cores and bursts, free boundary problems, phase transitions, the symmetry of solutions, boundary layer theory, singularities and fine regularity properties. The volumes include commentaries by leading mathematicians to indicate the significance of the articles and to discuss further developments along the lines of these articles.

Whenever the topic of mathematics is mentioned, people tend to indicate their weakness in the subject as a result of not having enjoyed its instruction during their school experience. Many students unfortunately do not have very positive experiences when learning mathematics, which can result from teachers who have a tendency 'to teach to the test'. This is truly unfortunate for several reasons. First, basic algebra and geometry, which are taken by almost all students, are not difficult subjects, and all students should be able to master them with the proper motivational instruction. Second, we live in a technical age, and being comfortable with basic mathematics can certainly help you deal with life's daily challenges. Other, less tangible reasons, are the pleasure one can experience from understanding the many intricacies of mathematics and its relation to the real world, experiencing the satisfaction of solving a mathematical problem, and discovering the intrinsic beauty and historical development of many mathematical expressions and relationships. These are some of the experiences that this book is designed to deliver to the reader.The book offers 101 mathematical gems, some of which may require a modicum of high school mathematics and others, just a desire to carefully apply oneself to the ideas. Many folks have spent years encountering mathematical terms, symbols, relationships and other esoteric expressions. Their origins and their meanings may never have been revealed, such as the symbols +, -, =, . oo, , , and many others. This book provides a delightful insight into the origin of mathematical symbols and popular theorems such as the Pythagorean Theorem and the Fibonacci Sequence, common mathematical mistakes and curiosities, intriguing number relationships, and some of the different mathematical procedures in various countries. The book uses a historical and cultural approach to the topics, which enhances the subject matter and greatly adds to its appeal. The mathematical material can, therefore, be more fully appreciated and understood by anyone who has a curiosity and interest in mathematics, especially if in their past experience they were expected to simply accept ideas and concepts without a clear understanding of their origins and meaning. It is hoped that this will cast a new and positive picture of mathematics and provide a more favorable impression of this most important subject and be a different experience than what many may have previously encountered. It is also our wish that some of the fascination and beauty of mathematics shines through in these presentations.

The book is aimed at people working in number theory or at least interested in this part of mathematics. It presents the development of the theory of algebraic numbers up to the year 1950 and contains a rather complete bibliography of that period. The reader will get information about results obtained before 1950. It is hoped that this may be helpful in preventing rediscoveries of old results, and might also inspire the reader to look at the work done earlier, which may hide some ideas which could be applied in contemporary research.

The volume contains selected articles presented in the ZOOM conference on History of Mathematics in Jain Literature, December 2020, and also contains articles invited by the editors on specific topics.The main objective for the conference was to bring to the attention of historians in mathematics that there is a plenty of literature written by monks and scholars in Jaina literature that contains elements of arithmetic, algebra and geometry, independent of discoveries by other cultures in the past. The talks and the discussions at the conference highlighted a need for a volume that can be recommended as a reference book for a course on History of Mathematics in the Departments of Mathematics and Education in colleges and universities. This is our hope that the present volume would fill up the gap on the lack of knowledge of past Jaina contributions.