This edited volume, aimed at both students and researchers in philosophy, mathematics and history of science, highlights leading developments in the overlapping areas of philosophy and the history of modern mathematics. It is a coherent, wide ranging account of how a number of topics in the philosophy of mathematics must be reconsidered in the light of the latest historical research, and how a number of historical accounts can be deepened by embracing philosophical questions.

The legendary Renaissance math duel that ushered in the modern age of algebra The Secret Formula tells the story of two Renaissance mathematicians whose jealousies, intrigues, and contentious debates led to the discovery of a formula for the solution of the cubic equation. Niccolo Tartaglia was a talented and ambitious teacher who possessed a secret formula-the key to unlocking a seemingly unsolvable, two-thousand-year-old mathematical problem. He wrote it down in the form of a poem to prevent other mathematicians from stealing it. Gerolamo Cardano was a physician, gifted scholar, and notorious gambler who would not hesitate to use flattery and even trickery to learn Tartaglia's secret. Set against the backdrop of sixteenth-century Italy, The Secret Formula provides new and compelling insights into the peculiarities of Renaissance mathematics while bringing a turbulent and culturally vibrant age to life. It was an era when mathematicians challenged each other in intellectual duels held outdoors before enthusiastic crowds. Success not only enhanced the winner's reputation, but could result in prize money and professional acclaim. After hearing of Tartaglia's spectacular victory in one such contest in Venice, Cardano invited him to Milan, determined to obtain his secret by whatever means necessary. Cardano's intrigues paid off. In 1545, he was the first to publish a general solution of the cubic equation. Tartaglia, eager to take his revenge by establishing his superiority as the most brilliant mathematician of the age, challenged Cardano to the ultimate mathematical duel. A lively and compelling account of genius, betrayal, and all-too-human failings, The Secret Formula reveals the epic rivalry behind one of the fundamental ideas of modern algebra.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).

This book explores precisely how mathematics allows us to model and predict the behaviour of physical systems, to an amazing degree of accuracy. One of the oldest explanations for this is that, in some profound way, the structure of the world is mathematical. The ancient Pythagoreans stated that "everything is number". However, while exploring the Pythagorean method, this book chooses to add a second principle of the universe: the mind. This work defends the proposition that mind and mathematical structure are the grounds of reality.

This book presents new research into key areas of the work of German philosopher and mathematician Gottfried Wilhelm Leibniz (1646-1716). Reflecting various aspects of Leibniz's thought, this book offers a collection of original research arranged into four separate themes: Science, Metaphysics, Epistemology, and Religion and Theology. With in-depth articles by experts such as Maria Rosa Antognazza, Nicholas Jolley, Agustin Echavarria, Richard Arthur and Paul Lodge, this book is an invaluable resource not only for readers just beginning to discover Leibniz, but also for scholars long familiar with his philosophy and eager to gain new perspectives on his work.

The logician Kurt Goedel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Goedel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.

The Quadrivium consists of the four Liberal Arts of Number, Geometry, Music, and Cosmology, studied from antiquity to the Renaissance as a way of glimpsing the nature of reality. They synthesize number, space, and time. Geometry is number in space, music is number in time, and the cosmos expresses number in space and time. Number, music, and geometry are metaphysical truths, good and beautiful everywhere at all times. Life across the universe investigates them. They foreshadow the physical sciences. This is the first volume to bring together the Quadrivium for many hundreds of years.

Alone in a cube that's glowing in the darkness, X is content within its little universe of infinite thought. This solitude is disturbed by the appearance of Y, who insists on exposing X to the richness of the physical world. Each begins to long for what the other has, luring them into a strange loop. In this play for two variables, Marcus du Sautoy and Victoria Gould use mathematics and theatre to navigate the furthest reaches of our world. Through a series of surreal episodes, X and Y tackle some of life's greatest questions: where did the universe come from, does time have an end, do we have free will? I is a Strange Loop was first performed by the authors at the Barbican Pit, London, in March 2019. 'I is a Strange Loop is a play that plays with ideas, concepts, abstractions and relationships that are, usually, hidden from the sight of ordinary mortals, articulating the ineffable, incarnating the incorporeal, revealing the inconceivable. It makes us feel we know a great deal more than we do. It is also very funny, utterly compelling and marvellously human.' Simon McBurney

This book collects research papers on the philosophical foundations of probability, causality, spacetime and quantum theory. The papers are related to talks presented in six subsequent workshops organized by The Budapest-Krakow Research Group on Probability, Causality and Determinism. Coverage consists of three parts. Part I focuses on the notion of probability from a general philosophical and formal epistemological perspective. Part II applies probabilistic considerations to address causal questions in the foundations of quantum mechanics. Part III investigates the question of indeterminism in spacetime theories. It also explores some related questions, such as decidability and observation. The contributing authors are all philosophers of science with a strong background in mathematics or physics. They believe that paying attention to the finer formal details often helps avoiding pitfalls that exacerbate the philosophical problems that are in the center of focus of contemporary research. The papers presented here help make explicit the mathematical-structural assumptions that underlie key philosophical argumentations. This formally rigorous and conceptually precise approach will appeal to researchers and philosophers as well as mathematicians and statisticians.

William Tait is one of the most distinguished philosophers of mathematics of the last fifty years. This volume collects his most important published philosophical papers from the 1980's to the present. The articles cover a wide range of issues in the foundations and philosophy of mathematics, including some on historical figures ranging from Plato to Godel.
Tait's main contributions were initially in proof theory and constructive mathematics, later moving on to more philosophical subjects including finitism and skepticism about mathematics. This collection, presented as a whole, reveals the underlying unity of Tait's work. The volume includes an introduction in which Tait reflects more generally on the evolution of his point of view, as well as an appendix and added endnotes in which he gives some interesting background to the original essays. This is an important collection of the work of one of the most eminent philosophers of mathematics in this generation.

Medieval Islamic World: An Intellectual History of Science and Politics surveys major scientific and philosophical discoveries in the medieval period within the broader Islamicate world, providing an alternative historical framework to that of the primarily Eurocentric history of science and philosophy of science and technology fields. Medieval Islamic World serves to address the history of rationalist inquiry within scholarly institutions in medieval Islamic societies, surveying developments in the fields of medicine and political theory, and the scientific disciplines of astronomy, chemistry, physics, and mechanics, as led by medieval Muslim scholarship.

Prime numbers are beautiful, mysterious, and beguiling mathematical objects. The mathematician Bernhard Riemann made a celebrated conjecture about primes in 1859, the so-called Riemann hypothesis, which remains one of the most important unsolved problems in mathematics. Through the deep insights of the authors, this book introduces primes and explains the Riemann hypothesis. Students with a minimal mathematical background and scholars alike will enjoy this comprehensive discussion of primes. The first part of the book will inspire the curiosity of a general reader with an accessible explanation of the key ideas. The exposition of these ideas is generously illuminated by computational graphics that exhibit the key concepts and phenomena in enticing detail. Readers with more mathematical experience will then go deeper into the structure of primes and see how the Riemann hypothesis relates to Fourier analysis using the vocabulary of spectra. Readers with a strong mathematical background will be able to connect these ideas to historical formulations of the Riemann hypothesis.

This collection of essays examines logic and its philosophy. The author investigates the nature of logic not only by describing its properties but also by showing philosophical applications of logical concepts and structures. He evaluates what logic is and analyzes among other aspects the relations of logic and language, the status of identity, bivalence, proof, truth, constructivism, and metamathematics. With examples concerning the application of logic to philosophy, he also covers semantic loops, the epistemic discourse, the normative discourse, paradoxes, properties of truth, truth-making as well as theology, being and logical determinism. The author concludes with a philosophical reflection on nothingness and its modelling.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet Hein and again in 1949 by John F. nash. How did this happen? Who created the puzzle for Hein's Danish newspaper column? How are Martin Gardner, David Gale, Claude Shannon, and Claude Berge involved? What is the secret to playing Hex well? The answers are inside... Features New documents on Hein's creation of Hex, the complete set of Danish puzzles, and the identity of their composer Chapters on Gale's game Bridg-it, the game Rex, computer Hex, open Hex problems, and more Dozens of new puzzles and solutions Study guide for Hex players Supplemenetary text for a course in game theory, discrete math, computer science, or science history

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship. It documents the existence of proofs in ancient mathematical writings about numbers and shows that practitioners of mathematics in Mesopotamian, Chinese and Indian cultures knew how to prove the correctness of algorithms, which are much more prominent outside the limited range of surviving classical Greek texts that historians have taken as the paradigm of ancient mathematics. It opens the way to providing the first comprehensive, textually based history of proof.

In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS). The book traces the history of these problems, stating them in modern terminology. By focusing on constructions and the use of IGS the reader is confronted with the same problems that ancient mathematicians once faced. The reader can step into the footsteps of Euclid, Viete and Cusanus amongst others and then by experimenting and discovering geometric relationships far exceed their accomplishments. Exploring these problems with the neusis-method lets him discover a class of interesting curves. By experimenting he will gain a deeper understanding of how mathematics is created. More than 100 exercises guide him through methods which were developed to try and solve the problems. The exercises are at the level of undergraduate students and only require knowledge of elementary Euclidean geometry and pre-calculus algebra. It is especially well-suited for those students who are thinking of becoming a mathematics teacher and for mathematics teachers.

Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible. This book is the 2007 winner of the Grand Prix de Philosophie de l'Academie Francaise.

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints.

This text focuses on a variety of topics in mathematics in common usage in graduate engineering programs including vector calculus, linear and nonlinear ordinary differential equations, approximation methods, vector spaces, linear algebra, integral equations and dynamical systems. The book is designed for engineering graduate students who wonder how much of their basic mathematics will be of use in practice. Following development of the underlying analysis, the book takes students through a large number of examples that have been worked in detail. Students can choose to go through each step or to skip ahead if they so desire. After seeing all the intermediate steps, they will be in a better position to know what is expected of them when solving assignments, examination problems, and when on the job. Chapters conclude with exercises for the student that reinforce the chapter content and help connect the subject matter to a variety of engineering problems. Students have grown up with computer-based tools including numerical calculations and computer graphics; the worked-out examples as well as the end-of-chapter exercises often use computers for numerical and symbolic computations and for graphical display of the results.

This book traces the history of the concept of work from its earliest stages and shows that its further formalization leads to equilibrium principle and to the principle of virtual works, and so pointing the way ahead for future research and applications. The idea that something remains constant in a machine operation is very old and has been expressed by many mathematicians and philosophers such as, for instance, Aristotle. Thus, a concept of energy developed. Another important idea in machine operation is Archimedes' lever principle. In modern times the concept of work is analyzed in the context of applied mechanics mainly in Lazare Carnot mechanics and the mechanics of the new generation of polytechnical engineers like Navier, Coriolis and Poncelet. In this context the word "work" is finally adopted. These engineers are also responsible for the incorporation of the concept of work into the discipline of economics when they endeavoured to combine the study of the work of machines and men together.

Sofia Kovalevskaya was a brilliant and determined young Russian woman of the 19th century who wanted to become a mathematician and who succeeded, in often difficult circumstances, in becoming arguably the first woman to have a professional university career in the way we understand it today. This memoir, written by a mathematician who specialises in symplectic geometry and integrable systems, is a personal exploration of the life, the writings and the mathematical achievements of a remarkable woman. It emphasises the originality of Kovalevskaya's work and assesses her legacy and reputation as a mathematician and scientist. Her ideas are explained in a way that is accessible to a general audience, with diagrams, marginal notes and commentary to help explain the mathematical concepts and provide context. This fascinating book, which also examines Kovalevskaya's love of literature, will be of interest to historians looking for a treatment of the mathematics, and those doing feminist or gender studies.

This book is the “Study Book� of ICMI-Study no. 20, which was run in cooperation with the International Congress on Industry and Applied Mathematics (ICIAM). The editors were the co-chairs of the study (Damlamian, Straesser) and the organiser of the Study Conference (Rodrigues). The text contains a comprehensive report on the findings of the Study Conference, original plenary presentations of the Study Conference, reports on the Working Groups and selected papers from all over world. This content was selected by the editors as especially pertinent to the study each individual chapter represents a significant contribution to current research.

In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other topological) and introduces a third duality, best understood as a hybrid of the first two. This text will be of interest to graduate students and researchers in the fields of mathematics, computer science, logic, and philosophy who are interested in exploring special or general classes of Boolean algebras with operators. Readers should be familiar with the basic arithmetic and theory of Boolean algebras, as well as the fundamentals of point-set topology.

This work examines the main directions of research conducted on the history of mathematics education. It devotes substantial attention to research methodologies and the connections between this field and other scholarly fields. The results of a survey about academic literature on this subject are accompanied by a discussion of what has yet to be done and problems that remain unsolved. The main topics you will find in "ICME-13 Topical Survey" include: * Discussions of methodological issues in the history of mathematics education and of the relation between this field and other scholarly fields. * The history of the formation and transformation of curricula and textbooks as a reflection of trends in social-economic, cultural and scientific-technological development. * The influence of politics, ideology and economics on the development of mathematics education, from a historical perspective. * The history of the preeminent mathematics education organizations and the work of leading figures in mathematics education. * Mathematics education practices and tools and the preparation of mathematics teachers, from a historical perspective.