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

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

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Godel's platonism, up to the the current debate on Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem.

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.

* 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

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.

This wordless collection of strips by renowned artist/designer Rian Hughes reveals the lighter side of our obsession with social rankings. When everyone has a number, everyone knows their place. Lower numbers are better, higher numbers are less important, and that's just the way it is. But what if that number could change? You might try to buck the system and assert your individuality... or you might end up with a big fat zero. Big questions are explored and unexpected answers found in the first solo comics collection from award-winning designer & illustrator Rian Hughes. His whimsical, witty, and insightful strips will make you both smile and consider. Where do you stand in the pecking order? Is your number up?

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

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.

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.

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.

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.

What is the nature of mathematical knowledge? Is it anything like scientific knowledge or is it sui generis? How do we acquire it? Should we believe what mathematicians themselves tell us about it? Are mathematical concepts innate or acquired? Eight new essays offer answers to these and many other questions. Written by some of the world's leading philosophers of mathematics, psychologists, and mathematicians, Mathematical Knowledge gives a lively sense of the current state of debate in this fascinating field.

This work offers a re-edition of twelve mathematical tablets from the site of Tell Harmal, in the borders of present-day Baghdad. In ancient times, Tell Harmal was Saduppum, a city representative of the region of the Diyala river and of the kingdom of Esnunna, to which it belonged for a time. These twelve tablets were originally published in separate articles in the beginning of the 1950s and mostly contain solved problem texts. Some of the problems deal with abstract matters such as triangles and rectangles with no reference to daily life, while others are stated in explicitly empirical contexts, such as the transportation of a load of bricks, the size of a vessel, the number of men needed to build a wall and the acquisition of oil and lard. This new edition of the texts is the first to group them, and takes into account all the recent developments of the research in the history of Mesopotamian mathematics. Its introductory chapters are directed to readers interested in an overview of the mathematical contents of these tablets and the language issues involved in their interpretation, while a chapter of synthesis discusses the ways history of mathematics has typically dealt with the mathematical evidence and inquires how and to what degree mathematical tablets can be made part of a picture of the larger social context. Furthermore, the volume contributes to a geography of the Old Babylonian mathematical practices, by evidencing that scribes at Saduppum made use of cultural material that was locally available. The edited texts are accompanied by translations, philological, and mathematical commentaries.

Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. For Plato, mathematics was evidence of Being in the midst of Becoming, garden variety evidence apparent even to small children and the unphilosophical, and therefore of the highest educational significance. In the great central similes of The Republic it is the touchstone ofintelligibility for discourse, and in the Timaeus it provides in an oddly literal sense the framework of nature, insuring the intelligibility ofthe material world. For Descartes, mathematical ideas had a clarity and distinctness akin to the idea of God, as the fifth of the Meditations makes especially clear. Cartesian mathematicals are constructions as well as objects envisioned by the soul; in the Principles, the work ofthe physicist who provides a quantified account ofthe machines of nature hovers between description and constitution. For Kant, mathematics reveals the possibility of universal and necessary knowledge that is neither the logical unpacking ofconcepts nor the record of perceptual experience. In the Critique ofPure Reason, mathematics is one of the transcendental instruments the human mind uses to apprehend nature, and by apprehending to construct it under the universal and necessary lawsofNewtonian mechanics.

What was the basis for the adoption of mathematics as the primary mode of discourse for describing natural events by a large segment of the philosophical community in the seventeenth century? In answering this question, this book demonstrates that a significant group of philosophers shared the belief that there is no necessary correspondence between external reality and objects of human understanding, which they held to include the objects of mathematical and linguistic discourse. The result is a scholarly reliable, but accessible, account of the role of mathematics in the works of (amongst others) Galileo, Kepler, Descartes, Newton, Leibniz, and Berkeley. This impressive volume will benefit scholars interested in the history of philosophy, mathematical philosophy and the history of mathematics.

"Inspiring and informative...deserves to be widely read." -Wall Street Journal "This fun book offers a philosophical take on number systems and revels in the beauty of math." -Science News Because we have ten fingers, grouping by ten seems natural, but twelve would be better for divisibility, and eight is well suited to repeated halving. Grouping by two, as in binary code, has turned out to have its own remarkable advantages. Paul Lockhart presents arithmetic not as rote manipulation of numbers-a practical if mundane branch of knowledge best suited for filling out tax forms-but as a fascinating, sometimes surprising intellectual craft that arises from our desire to add, divide, and multiply important things. Passionate and entertaining, Arithmetic invites us to experience the beauty of mathematics through the eyes of a beguiling teacher. "A nuanced understanding of working with numbers, gently connecting procedures that we once learned by rote with intuitions long since muddled by education... Lockhart presents arithmetic as a pleasurable pastime, and describes it as a craft like knitting." -Jonathon Keats, New Scientist "What are numbers, how did they arise, why did our ancestors invent them, and how did they represent them? They are, after all, one of humankind's most brilliant inventions, arguably having greater impact on our lives than the wheel. Lockhart recounts their fascinating story... A wonderful book." -Keith Devlin, author of Finding Fibonacci

"Mathematics in Kant's Critical Philosophy" provides a much needed reading (and re-reading) of Kant's theory of the construction of mathematical concepts through a fully contextualized analysis. In this work Lisa Shabel convincingly argues that it is only through an understanding of the relevant eighteenth century mathematics textbooks, and the related mathematical practice, can the material and context necessary for a successful interpretation of Kant's philosophy be provided. This is borne out through sustained readings of Euclid and Woolf in particular, which, when brought together with Kant's work, allows for the elucidation of several key issues and the reinterpretation of many hitherto opaque and long debated passages.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Goedel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Goedel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Goedel's texts on foundations with materials from Goedel's Nachlass and from Hao Wang's discussions with Goedel. As well as providing discussions of Goedel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Goedel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.

First published in 1990, this is a reissue of Professor Hilary Putnam 's dissertation thesis, written in 1951, which concerns itself with The Meaning of the Concept of Probability in Application to Finite Sequences and the problems of the deductive justification for induction. Written under the direction of Putnam 's mentor, Hans Reichenbach, the book considers Reichenbach 's idealization of very long finite sequences as infinite sequences and the bearing this has upon Reichenbach 's pragmatic vindication of induction.

The book treats two approaches to decision theory: (1) the normative, purporting to determine how a 'perfectly rational' actor ought to choose among available alternatives; (2) the descriptive, based on observations of how people actually choose in real life and in laboratory experiments. The mathematical tools used in the normative approach range from elementary algebra to matrix and differential equations. Sections on different levels can be studied independently. Special emphasis is made on 'offshoots' of both theories to cognitive psychology, theoretical biology, and philosophy.

This reissue of D. A. Gillies highly influential work, first published in 1973, is a philosophical theory of probability which seeks to develop von Mises' views on the subject. In agreement with von Mises, the author regards probability theory as a mathematical science like mechanics or electrodynamics, and probability as an objective, measurable concept like force, mass or charge. On the other hand, Dr Gillies rejects von Mises' definition of probability in terms of limiting frequency and claims that probability should be taken as a primitive or undefined term in accordance with modern axiomatic approaches. This of course raises the problem of how the abstract calculus of probability should be connected with the actual world of experiments'. It is suggested that this link should be established, not by a definition of probability, but by an application of Popper's concept of falsifiability. In addition to formulating his own interesting theory, Dr Gillies gives a detailed criticism of the generally accepted Neyman Pearson theory of testing, as well as of alternative philosophical approaches to probability theory. The reissue will be of interest both to philosophers with no previous knowledge of probability theory and to mathematicians interested in the foundations of probability theory and statistics.