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 theor...

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relatin...

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely suggestive and actually prove anything? Are mathematical results certain? Are experiments of any real value?This clear and engaging book takes a unique approach, encompassing non-standard topics such as the role of visual reasoning, the importance of notation, and the place of ...

David Chalmers develops a picture of reality on which all truths can be derived from a limited class of basic truths. The picture is inspired by Rudolf Carnap's construction of the world in Der Logische Aufbau Der Welt. Carnap's Aufbau is often seen as a noble failure, but Chalmers argues that a version of the project can succeed. With the right basic elements and the right derivation relation, we can indeed construct the world. The focal point of Chalmers' project is scrutability: the the...

A sophisticated, original introduction to the philosophy of mathematics from one of its leading contemporary scholarsMathematics is one of humanity's most successful yet puzzling endeavors. It is a model of precision and objectivity, but appears distinct from the empirical sciences because it seems to deliver nonexperiential knowledge of a nonphysical reality of numbers, sets, and functions. How can these two aspects of mathematics be reconciled? This concise book ...

This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each...

Philosophy of Mathematics is an excellent introductory text. This student friendly book discusses the great philosophers and the importance of mathematics to their thought. It includes the following topics:* the mathematical image* platonism* picture-proofs* applied mathematics* Hilbert and Godel* knots and nations* definitions* picture-proofs and Wittgenstein* computation, proof and conjecture.The book is ideal...

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical hist...

This book is written for undergraduates who wish to learn some basic results in analytic number theory. It covers topics such as Bertrand's Postulate, the Prime Number Theorem and Dirichlet's Theorem of primes in arithmetic progression.The materials in this book are based on A Hildebrand's 1991 lectures delivered at the University of Illinois at Urbana-Champaign and the author's course conducted at the National University of Singapore from 2001 to 2008.

This rigorous textbook is intended for a year-long analysis or advanced calculus course for advanced undergraduate or beginning graduate students. Starting with detailed, slow-paced proofs that allow students to acquire facility in reading and writing proofs, it clearly and concisely explains the basics of differentiation and integration of functions of one and several variables, and covers the theorems of Green, Gauss, and Stokes. Minimal prerequisites are assumed, and relevant linear alg...

The logician Kurt Gödel (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 aspect...

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, ...