This collection of fifteen new essays marks the centenary of the 1910 to 1913 publication of the monumental "Principia Mathematica" by Alfred N. Whitehead and Bertrand Russell. The papers study the influence of PM on the development of symbolic logic in the twentieth century, Russell's philosophy of logic and his program of reducing mathematics to logic, the distinctive theory of logical types that provides a response to the paradoxes of logic that Russell and others discovered around 1900, as well as the details of some of the mathematical theories in the three volumes of symbolic proofs.

This book approaches work by Gilles Deleuze and Alain Badiou through their shared commitment to multiplicity, a novel approach to addressing one of the oldest philosophical questions: is being one or many? Becky Vartabedian examines major statements of multiplicity by Deleuze and Badiou to assess the structure of multiplicity as ontological ground or foundation, and the procedures these accounts prescribe for understanding one in relation to multiplicity. Written in a clear, engaging style, Vartabedian introduces readers to Deleuze and Badiou's key ontological commitments to the mathematical resources underpinning their accounts of multiplicity and one, and situates these as a conversation unfolding amid political and intellectual transformations.

In our hyper-modern world, we are bombarded with more facts, stats and information than ever before. So, what can we grasp hold of to make sense of it all? Oliver Johnson reveals how mathematical thinking can help us understand the myriad data all around us. From the exponential growth of viruses to social media filter-bubbles; from share-price fluctuations to growth of computing power; from the datafication of our sports pages to quantifying climate change. Not to mention the things much closer to home: ever wondered when the best time is to leave a party? What are the chances of rain ruining your barbecue this weekend? How about which queue is the best to join in the supermarket? Journeying through the three sections of Randomness, Structure, and Information, we meet a host of brilliant minds such Alan Turing, Enrico Fermi and Claude Shannon, and we learn the tools, tips and tricks to cut through the noise all around us - from the Law of Large Numbers to Entropy to Brownian Motion. Lucid, surprising, and endlessly entertaining, Numbercrunch equips you with a definitive mathematician's toolkit to make sense of your world.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by the John Templeton Foundation from January 2013 until September 2015

Our knowledge of mathematics has structured much of what we think we know about ourselves as individuals and communities, shaping our psychologies, sociologies, and economies. In pursuit of a more predictable and more controllable cosmos, we have extended mathematical insights and methods to more and more aspects of the world. Today those powers are greater than ever, as computation is applied to virtually every aspect of human activity. Yet, in the process, are we losing sight of the human? When we apply mathematics so broadly, what do we gain and what do we lose, and at what risk to humanity? These are the questions that David and Ricardo L. Nirenberg ask in Uncountable, a provocative account of how numerical relations became the cornerstone of human claims to knowledge, truth, and certainty. There is a limit to these number-based claims, they argue, which they set out to explore. The Nirenbergs, father and son, bring together their backgrounds in math, history, literature, religion, and philosophy, interweaving scientific experiments with readings of poems, setting crises in mathematics alongside world wars, and putting medieval Muslim and Buddhist philosophers in conversation with Einstein, Schroedinger, and other giants of modern physics. The result is a powerful lesson in what counts as knowledge and its deepest implications for how we live our lives.

Table of Contents: D. Duffie: Martingales, Arbitrage, and Portfolio Choice * J. Frohlich: Mathematical Aspects of the Quantum Hall Effect * M. Giaquinta: Analytic and Geometric Aspects of Variational Problems for Vector Valued Mappings * U. Hamenstadt: Harmonic Measures for Leafwise Elliptic Operators Along Foliations * M. Kontsevich: Feynman Diagrams and Low-Dimensional Topology * S.B. Kuksin: KAM-Theory for Partial Differential Equations * M. Laczkovich: Paradoxical Decompositions: A Survey of Recent Results * J.-F. Le Gall: A Path-Valued Markov Process and its Connections with Partial Differential Equations * I. Madsen: The Cyclotomic Trace in Algebraic K-Theory * A.S. Merkurjev: Algebraic K-Theory and Galois Cohomology * J. Nekovar: Values of L-Functions and p-Adic Cohomology * Y.A. Neretin: Mantles, Trains and Representations of Infinite Dimensional Groups * M.A. Nowak: The Evolutionary Dynamics of HIV Infections * R. Piene: On the Enumeration of Algebraic Curves - from Circles to Instantons * A. Quarteroni: Mathematical Aspects of Domain Decomposition Methods * A. Schrijver: Paths in Graphs and Curves on Surfaces * B. Silverman: Function Estimation and Functional Data Analysis * V. Strassen: Algebra and Complexity * P. Tukia: Generalizations of Fuchsian and Kleinian Groups * C. Viterbo: Properties of Embedded Lagrange Manifolds * D. Voiculescu: Alternative Entropies in Operator Algebras * M. Wodzicki : Algebraic K-Theory and Functional Analysis * D. Zagier: Values of Zeta Functions and Their Applications

Table of contents: Plenary Lectures * V.I. Arnold: The Vassiliev Theory of Discriminants and Knots * L. Babai: Transparent Proofs and Limits to Approximation * C. De Concini: Poisson Algebraic Groups and Representations of Quantum Groups at Roots of 1 * S.K. Donaldson: Gauge Theory and Four-Manifold Topology * W. Muller: Spectral Theory and Geometry * D. Mumford: Pattern Theory: A Unifying Perspective * A.-S. Sznitman: Brownian Motion and Obstacles * M. Vergne: Geometric Quantization and Equivariant Cohomology * Parallel Lectures * Z. Adamowicz: The Power of Exponentiation in Arithmetic * A. Bjorner: Subspace Arrangements * B. Bojanov: Optimal Recovery of Functions and Integrals * J.-M. Bony: Existence globale et diffusion pour les modeles discrets * R.E. Borcherds: Sporadic Groups and String Theory * J. Bourgain: A Harmonic Analysis Approach to Problems in Nonlinear Partial Differatial Equations * F. Catanese: (Some) Old and New Results on Algebraic Surfaces * Ch. Deninger: Evidence for a Cohomological Approach to Analytic Number Theory * S. Dostoglou and D.A. Salamon: Cauchy-Riemann Operators, Self-Duality, and the Spectral Flow

Proposing social constructivism as a novel philosophy of mathematics, this book is inspired by current work in sociology of knowledge and social studies of science. It extends the ideas of social constructivism to the philosophy of mathematics, developing a whole set of new notions. The outcome is a powerful critique of traditional absolutist conceptions of mathematics, as well as of the field of philosophy of mathematics itself. Proposed are a reconceptualization of the philosophy of mathematics and a new set of adequacy criteria.

The book offers novel analyses of the important but under-recognized contributions of Wittgenstein and Lakatos to the philosophy of mathematics. Building on their ideas, it develops a theory of mathematical knowledge and its relation to the social context. It offers an original theory of mathematical knowledge based on the concept of conversation, and develops the rhetoric of mathematics to account for proof in mathematics. Another novel feature is the account of the social construction of subjective knowledge, which relates the learning of mathematics to philosophy of mathematics via the development of the individual mathematician. It concludes by considering the values of mathematics and its social responsibility.

In Frege's Conception of Logic Patricia A. Blanchette explores the relationship between Gottlob Frege's understanding of conceptual analysis and his understanding of logic. She argues that the fruitfulness of Frege's conception of logic, and the illuminating differences between that conception and those more modern views that have largely supplanted it, are best understood against the backdrop of a clear account of the role of conceptual analysis in logical investigation. The first part of the book locates the role of conceptual analysis in Frege's logicist project. Blanchette argues that despite a number of difficulties, Frege's use of analysis in the service of logicism is a powerful and coherent tool. As a result of coming to grips with his use of that tool, we can see that there is, despite appearances, no conflict between Frege's intention to demonstrate the grounds of ordinary arithmetic and the fact that the numerals of his derived sentences fail to co-refer with ordinary numerals. In the second part of the book, Blanchette explores the resulting conception of logic itself, and some of the straightforward ways in which Frege's conception differs from its now-familiar descendants. In particular, Blanchette argues that consistency, as Frege understands it, differs significantly from the kind of consistency demonstrable via the construction of models. To appreciate this difference is to appreciate the extent to which Frege was right in his debate with Hilbert over consistency- and independence-proofs in geometry. For similar reasons, modern results such as the completeness of formal systems and the categoricity of theories do not have for Frege the same importance they are commonly taken to have by his post-Tarskian descendants. These differences, together with the coherence of Frege's position, provide reason for caution with respect to the appeal to formal systems and their properties in the treatment of fundamental logical properties and relations.

Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic is the study of correct reasoning, it is a fundamental branch of epistemology and a priority in any philosophical system. Philosophers have focused on mathematics as a case study for general philosophical issues and for its role in overall knowledge- gathering. Today, philosophy of mathematics and logic remain central disciplines in contemporary philosophy, as evidenced by the regular appearance of articles on these topics in the best mainstream philosophical journals; in fact, the last decade has seen an explosion of scholarly work in these areas.
This volume covers these disciplines in a comprehensive and accessible manner, giving the reader an overview of the major problems, positions, and battle lines. The 26 contributed chapters are by established experts in the field, and their articles contain both exposition and criticism as well as substantial development of their own positions. The essays, which are substantially self-contained, serve both to introduce the reader to the subject and to engage in it at its frontiers. Certain major positions are represented by two chapters--one supportive and one critical.
The Oxford Handbook of Philosophy of Math and Logic is a ground-breaking reference like no other in its field. It is a central resource to those wishing to learn about the philosophy of mathematics and the philosophy of logic, or some aspect thereof, and to those who actively engage in the discipline, from advanced undergraduates to professional philosophers, mathematicians, and historians.

This book seeks to work out which commitments are minimally sufficient to obtain an ontology of the natural world that matches all of today's well-established physical theories. We propose an ontology of the natural world that is defined only by two axioms: (1) There are distance relations that individuate simple objects, namely matter points. (2) The matter points are permanent, with the distances between them changing. Everything else comes in as a means to represent the change in the distance relations in a manner that is both as simple and as informative as possible. The book works this minimalist ontology out in philosophical as well as mathematical terms and shows how one can understand classical mechanics, quantum field theory and relativistic physics on the basis of this ontology. Along the way, we seek to achieve four subsidiary aims: (a) to make a case for a holistic individuation of the basic objects (ontic structural realism); (b) to work out a new version of Humeanism, dubbed Super-Humeanism, that does without natural properties; (c) to set out an ontology of quantum physics that is an alternative to quantum state realism and that avoids any ontological dualism of particles and fields; (d) to vindicate a relationalist ontology based on point objects also in the domain of relativistic physics.

The book emerges from several contemporary concerns in mathematics, language, and mathematics education. However, the book takes a different stance with respect to language by combining discussion of linguistics and mathematics using examples from each to illustrate the other. The picture that emerges is of a subject that is much more contingent, much more relative, much more subject to human experience than is usually accepted. Another way of expressing this, is that the thesis of the book takes the idea of mathematics as a human creation, and, using the evidence from language, comes to more radical conclusions than most writers allow.

* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century * 176 articles contributed by authors of 18 nationalities * Chronological table of main events in the development of mathematics * Fully integrated index of people, events and topics * Annotated bibliographies of both classic and contemporary sources * Unique coverage of Ancient and non-Western traditions of mathematics

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras' Theorem or Fermat's Last Theorem? The metaphysical question of what numbers are and the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics' unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true-no one doubts that 2 + 3 = 5-but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about.

This is a concise introductory textbook for a one semester course in the history and philosophy of mathematics. It is written for mathematics majors, philosophy students, history of science students and secondary school mathematics teachers. The only prerequisite is a solid command of pre-calculus mathematics. It is shorter than the standard textbooks in that area and thus more accessible to students who have trouble coping with vast amounts of reading. Furthermore, there are many detailed explanations of the important mathematical procedures actually used by famous mathematicians, giving more mathematically talented students a greater opportunity to learn the history and philosophy by way of problem solving. Several important philosophical topics are pursued throughout the text, giving the student an opportunity to come to a full and consistent knowledge of their development. These topics include infinity, the nature of motion, and Platonism. This book offers, in fewer pages, a deep penetration into the key mathematical and philosophical aspects of the history of mathematics.

The book presents in a mathematical clear way the fundamentals of algorithmic information theory and a few selected applications. This 2nd edition presents new and important results obtained in recent years: the characterization of computable enumerable random reals, the construction of an Omega Number for which ZFC cannot determine any digits, and the first successful attempt to compute the exact values of 64 bits of a specific Omega Number. Finally, the book contains a discussion of some interesting philosophical questions related to randomness and mathematical knowledge. "Professor Calude has produced a first-rate exposition of up-to-date work in information and randomness." D.S. Bridges, Canterbury University, co-author, with Errett Bishop, of Constructive Analysis "The second edition of this classic work is highly recommended to anyone interested in algorithmic information and randomness." G.J. Chaitin, IBM Research Division, New York, author of Conversations with a Mathematician "This book is a must for a comprehensive introduction to algorithmic information theory and for anyone interested in its applications in the natural sciences." K. Svozil, Technical University of Vienna, author of Randomness & Undecidability in Physics

A compact survey, at the elementary level, of some of the most important concepts of mathematics. Attention is paid to their technical features, historical development and broader philosophical significance. Each of the various branches of mathematics is discussed separately, but their interdependence is emphasised throughout. Certain topics - such as Greek mathematics, abstract algebra, set theory, geometry and the philosophy of mathematics - are discussed in detail. Appendices outline from scratch the proofs of two of the most celebrated limitative results of mathematics: the insolubility of the problem of doubling the cube and trisecting an arbitrary angle, and the GAdel incompleteness theorems. Additional appendices contain brief accounts of smooth infinitesimal analysis - a new approach to the use of infinitesimals in the calculus - and of the philosophical thought of the great 20th century mathematician Hermann Weyl. Readership: Students and teachers of mathematics, science and philosophy. The greater part of the book can be read and enjoyed by anyone possessing a good high school mathematics background.

This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work. The software for The Unknowable can be downloaded from the author's Web site.

Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Goedel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and evade problems of a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring "metatheoretical ascent" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume's elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic.

This book investigates the process of care in mathematics teaching. The author proposes transformative educational spaces in which learning mathematics, rather than consisting of a repetitive grind of exercises and facts, can become a part of learner identity. This book describes examples of mathematics teachings in a wide range of contexts and pedagogies, coordinated to identify common features where care for mathematical learning and thinking is combined with care for learners. Along with detailing caring mathematics education practices in alternative spaces, the author demonstrates similar practices alive even with the current mainstream spaces of acquisition and performance. Care is integrated through listening, and developing responsive and trusting relationships. It will be of interest to scholars of mathematics education, as well as pre-service and in-service teachers and teacher educators.

Imagine mathematics, imagine with the help of mathematics, imagine new worlds, new geometries, new forms. This volume in the series Imagine Math casts light on what is new and interesting in the relationships between mathematics, imagination and culture. The book opens by examining the connections between modern and contemporary art and mathematics, including Linda D. Henderson s contribution. Several further papers are devoted to mathematical models and their influence on modern and contemporary art, including the work of Henry Moore and Hiroshi Sugimoto. Among the many other interesting contributions are an homage to Benoit Mandelbrot with reference to the exhibition held in New York in 2013 and the thoughts of Jean-Pierre Bourguignon on the art and math exhibition at the Fondation Cartier in Paris. An interesting part is dedicated to the connections between math, computer science and theatre with the papers by C. Bardainne and A. Mondot.The topics are treated in a way that is rigorous but captivating, detailed but very evocative. This is an all-embracing look at the world of mathematics and culture."

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophical reflection. We try to answer those questions by analyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polish scientists will be analyzed: Waclaw Sierpinski, Zygmunt Janiszewski, Stefan Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy Zylinsk and Leon Chwistek, Jan Lukasiewicz, Zygmunt Zawirski, Stanislaw Lesniewski, Tadeusz Kotarbinski, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszynski, Stanislaw Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we consider in Chapter 1 some predecessors, in particular: Jan Sniadecki, Jozef Maria Hoene-Wronski, Samuel Dickstein and Edward Stamm.

The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.

* Written by an interdisciplinary group of specialists from the arts, humanities and sciences at Oxford University * Suitable for a wide non-academic readership, and will appeal to anyone with an interest in mathematics, science and philosophy.