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

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.

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

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.

We see numbers on automobile license plates, addresses, weather reports, and, of course, on our smartphones. Yet we look at these numbers for their role as descriptors, not as an entity in and unto themselves. Each number has its own history of meaning, usage, and connotation in the larger world. The Secret Lives of Numbers takes readers on a journey through integers, considering their numerological assignments as well as their significance beyond mathematics and in the realm of popular culture. Of course we all know that the number 13 carries a certain value of unluckiness with it. The phobia of the number is called Triskaidekaphobia; Franklin Delano Roosevelt was known to invite and disinvite guests to parties to avoid having 13 people in attendance; high-rise buildings often skip the 13th floor out of superstition. There are many explanations as to how the number 13 received this negative honor, but from a mathematical point of view, the number 13 is also the smallest prime number that when its digits are reversed is also a prime number. It is honored with a place among the Fibonacci numbers and integral Pythagorean triples, as well as many other interesting and lesser-known occurrences. In The Secret Lives of Numbers, popular mathematician Alfred S. Posamentier provides short and engaging mini-biographies of more than 100 numbers, starting with 1 and featuring some especially interesting numbers -like 6,174, a number with most unusual properties -to provide readers with a more comprehensive picture of the lives of numbers both mathematically and socially.

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

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

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.

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.

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.

Research in mathematics is much more than solving puzzles, but most people will agree that solving puzzles is not just fun: it helps focus the mind and increases one's armory of techniques for doing mathematics. Mathematical Puzzles makes this connection explicit by isolating important mathematical methods, then using them to solve puzzles and prove a theorem. Features A collection of the world's best mathematical puzzles Each chapter features a technique for solving mathematical puzzles, examples, and finally a genuine theorem of mathematics that features that technique in its proof Puzzles that are entertaining, mystifying, paradoxical, and satisfying; they are not just exercises or contest problems.

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.

G. J. Chaitin is at the IBM Thomas J. Watson Research Center in New York. He has shown that God plays dice not only in quantum mechanics, but even in the foundations of mathematics, where Chaitin discovered mathematical facts that are true for no reason, that are true by accident. This book collects his most wide-ranging and non-technical lectures and interviews, and it will be of interest to anyone concerned with the philosophy of mathematics, with the similarities and differences between physics and mathematics, or with the creative process and mathematics as an art."Chaitin has put a scratch on the rock of eternity."Jacob T. Schwartz, Courant Institute, New York University, USA"(Chaitin is) one of the great ideas men of mathematics and computer science."Marcus Chown, author of The Magic Furnace, in NEW SCIENTIST"Finding the right formalization is a large component of the art of doing great mathematics."John Casti, author of Mathematical Mountaintops, on Godel, Turing and Chaitin in NATURE"What mathematicians over the centuries - from the ancients, through Pascal, Fermat, Bernoulli, and de Moivre, to Kolmogorov and Chaitin - have discovered, is that it ÄrandomnessÜ is a profoundly rich concept."Jerrold W. Grossman in the MATHEMATICAL INTELLIGENCER

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.

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.

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

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.

TRENDS IN LINGUISTICS is a series of books that open new perspectives in our understanding of language. The series publishes state-of-the-art work on core areas of linguistics across theoretical frameworks, as well as studies that provide new insights by approaching language from an interdisciplinary perspective. TRENDS IN LINGUISTICS considers itself a forum for cutting-edge research based on solid empirical data on language in its various manifestations, including sign languages. It regards linguistic variation in its synchronic and diachronic dimensions as well as in its social contexts as important sources of insight for a better understanding of the design of linguistic systems and the ecology and evolution of language. TRENDS IN LINGUISTICS publishes monographs and outstanding dissertations as well as edited volumes, which provide the opportunity to address controversial topics from different empirical and theoretical viewpoints. High quality standards are ensured through anonymous reviewing.