A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest. A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest, this book gives the inquisitive non-specialist an insight into the conceptual transformations and intellectual orientations of modern and contemporary mathematics. The predominant analytic approach, with its focus on the formal, the elementary and the foundational, has effectively divorced philosophy from the real practice of mathematics and the profound conceptual shifts in the discipline over the last century. The first part discusses the specificity of modern (1830–1950) and contemporary (1950 to the present) mathematics, and reviews the failure of mainstream philosophy of mathematics to address this specificity. Building on the work of the few exceptional thinkers to have engaged with the “real mathematics” of their era (including Lautman, Deleuze, Badiou, de Lorenzo and Châtelet), Zalamea challenges philosophy's self-imposed ignorance of the “making of mathematics.” In the second part, thirteen detailed case studies examine the greatest creators in the field, mapping the central advances accomplished in mathematics over the last half-century, exploring in vivid detail the characteristic creative gestures of modern master Grothendieck and contemporary creators including Lawvere, Shelah, Connes, and Freyd. Drawing on these concrete examples, and oriented by a unique philosophical constellation (Peirce, Lautman, Merleau-Ponty), in the third part Zalamea sets out the program for a sophisticated new epistemology, one that will avail itself of the powerful conceptual instruments forged by the mathematical mind, but which have until now remained largely neglected by philosophers.

This is the only book to chart the history and development of modern probability theory. It shows how in the first thirty years of this century probability theory became a mathematical science. The author also traces the development of probabilistic concepts and theories in statistical and quantum physics. There are chapters dealing with chance phenomena, and current major mathematical theories, together with their foundational and philosophical problems. Among the theorists whose work is treated at some length are Kolmogorov, von Mises and de Finetti.

This monograph draws on two traditions: the algebraic formulation of quantum mechanics as well as quantum field theory, and the geometric theory of classical mechanics. These are combined in a unified treatment of the theory of Poisson algebras of observables and pure state spaces with a transition probability, which leads on to a discussion of the theory of quantization and the classical limit from this perspective. A prototype of quantization comes from the analogy between the C*- algebra of a Lie groupoid and the Poisson algebra of the corresponding Lie algebroid. The parallel between reduction of symplectic manifolds in classical mechanics and induced representations of groups and C*- algebras in quantum mechanics plays an equally important role. Examples from physics include constrained quantization, curved spaces, magnetic monopoles, gauge theories, massless particles, and $theta$- vacua. Accessible to mathematicians with some prior knowledge of classical and quantum mechanics, and to mathematical physicists and theoretical physicists with some background in functional analysis.

This is the softcover reprint of the very popular hardcover edition. The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and possible new axioms for mathematics. The first of a projected multi-volume series, this book provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. A a oegenetica approach is taken, presenting the subject in the context of its historical development. With hindsight the consequential avenues are pursued and the most elegant or accessible expositions given. With open questions and speculations provided throughout the reader should not only come to appreciate the scope and coherence of the overall enterprise but also become prepared to pursue research in several specific areas by studying the relevant sections.

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are covered in detail include symmetry (and its -spontaneous- breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory.

This book is Open Access under a CC BY licence.

Kurt Gödel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmological models, and for the strong individuality of his writings on the philosophy of mathematics. The Collected Works is a landmark resource that draws together a lifetime of creative accomplishment. The first two volumes were devoted to Gödel's publications in full (both in the original and translation). This third volume features a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass , documents that enlarge considerably our appreciation of his scientific and philosophical thought and add a great deal to our understanding of his motivations. Continuing
the format of the earlier volumes, the present volume includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, English translations of material originally written in German (some transcribed from Gabelsberger shorthand), and a complete bibliography. A succeeding volume is to contain a comprehensive selection of Gödel's scientific correspondence and a complete inventory of his Nachlass . The books are designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science.

Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.

Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. v. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions.

This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.

Among the best available reference introductions to general topology, this volume is appropriate for advanced undergraduate and beginning graduate students. Its treatment encompasses two broad areas of topology: "continuous topology," represented by sections on convergence, compactness, metrization and complete metric spaces, uniform spaces, and function spaces; and "geometric topology," covered by nine sections on connectivity properties, topological characterization theorems, and homotopy theory. Many standard spaces are introduced in the related problems that accompany each section (340 exercises in all). The text's value as a reference work is enhanced by a collection of historical notes, a bibliography, and index. 1970 edition. 27 figures.

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy
of mathematics.

Honorable Mention, 1998, category of Computer Science, Professional/Scholarly Publishing Annual Awards Competition presented by the Association of American Publishers, Inc.

"Simulation," writes Gary Flake in his preface, "becomes a form of experimentation in a universe of theories. The primary purpose of this book is to celebrate this fact."

In this book, Gary William Flake develops in depth the simple idea that recurrent rules can produce rich and complicated behaviors. Distinguishing "agents" (e.g., molecules, cells, animals, and species) from their interactions (e.g., chemical reactions, immune system responses, sexual reproduction, and evolution), Flake argues that it is the computational properties of interactions that account for much of what we think of as "beautiful" and "interesting." From this basic thesis, Flake explores what he considers to be today's four most interesting computational fractals, chaos, complex systems, and adaptation.

Each of the book's parts can be read independently, enabling even the casual reader to understand and work with the basic equations and programs. Yet the parts are bound together by the theme of the computer as a laboratory and a metaphor for understanding the universe. The inspired reader will experiment further with the ideas presented to create fractal landscapes, chaotic systems, artificial life forms, genetic algorithms, and artificial neural networks.

Offering a philosophical introduction to set theory, this book interweaves a presentation of the technical material with a philosophical critique. At every stage, it discusses the reasons that can be offered for believing it to be true. It is designed as a key text for philosophy, mathematical logic, and computer science.

The quantum theory of macroscopic systems is a vast, ever-developing area of science that serves to relate the properties of complex physical objects to those of their constituent particles. Its essential challenge is that of finding the conceptual structures needed for the description of the various states of organization of many-particle quantum systems. In this book, Geoffrey Sewell provides a new approach to the subject, based on a "macrostatistical mechanics," which contrasts sharply with the standard microscopic treatments of many-body problems.


Sewell begins by presenting the operator algebraic framework for the theory. He then undertakes a macrostatistical treatment of both equilibrium and nonequilibrium thermodynamics, which yields a major new characterization of a complete set of thermodynamic variables and a nonlinear generalization of the Onsager theory. The remainder of the book focuses on ordered and chaotic structures that arise in some key areas of condensed matter physics. This includes a general derivation of superconductive electrodynamics from the assumptions of off-diagonal long-range order, gauge covariance, and thermodynamic stability, which avoids the enormous complications of the microscopic treatments. Sewell also unveils a theoretical framework for phase transitions far from thermal equilibrium. Throughout, the mathematics is kept clear without sacrificing rigor.


Representing a coherent approach to the vast problem of the emergence of macroscopic phenomena from quantum mechanics, this well-written book is addressed to physicists, mathematicians, and other scientists interested in quantum theory, statistical physics, thermodynamics, and general questions of order and chaos.