"Philosophy of Mathematics: An Introduction" provides a critical analysis of the major philosophical issues and viewpoints in the concepts and methods of mathematics - from antiquity to the modern era.
Offers beginning readers a critical appraisal of philosophical viewpoints throughout historyGives a separate chapter to predicativism, which is often (but wrongly) treated as if it were a part of logicismProvides readers with a non-partisan discussion until the final chapter, which gives the author's personal opinion on where the truth liesDesigned to be accessible to both undergraduates and graduate students, and at the same time to be of interest to professionals

Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been undervalued by Wittgenstein specialists and by philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than on any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected "transitional period" between the Tractatus and the Investigations. Marion shows that study of Wittgenstein's writings on mathematics is essential to a proper understanding of his philosophy; and he also demonstrates that it has much to contribute to current debates about the foundations of mathematics.

Gregory Chaitin, one of the world's foremost mathematicians, leads us on a spellbinding journey, illuminating the process by which he arrived at his groundbreaking theory.
Chaitin's revolutionary discovery, the Omega number, is an exquisitely complex representation of unknowability in mathematics. His investigations shed light on what we can ultimately know about the universe and the very nature of life. In an infectious and enthusiastic narrative, Chaitin delineates the specific intellectual and intuitive steps he took toward the discovery. He takes us to the very frontiers of scientific thinking, and helps us to appreciate the art--and the sheer beauty--in the science of math.

A survey of the major figures and mathematical movements of the 19th century, this is a thorough examination of every significant foundation stone of today's modern mathematics. Providing clear and concise articles on the fundamental definition of numbers through to quantics and infinite series, as well as exposition on the relationships between theorems, this volume, which was first published in 1896, cements itself as an essential reference work, a solid jumping-off point for all students of mathematics, and a fascinating glimpse at the once-cutting edge that now is taken for granted in an ever-changing scientific field. New York lawyer and mathematician DAVID EUGENE SMITH (1860-1944) authored a number of books while a professor of mathematics at Columbia University, including The Teaching of Elementary Mathematics (1900), A History of Japanese Mathematics (1914), and The Sumario Compendioso of Brother Juan Diez (1921).

The life of Vito Volterra, one of the finest scientists and mathematicians Italy ever produced, spans the period from the unification of the Italian peninsula in 1860 to the onset of the Second World War--an era of unparalleled progress and unprecedented turmoil in the history of Europe. Born into an Italian Jewish family in the year of the liberation of Italy's Jewish ghettos, Volterra was barely in his twenties when he made his name as a mathematician and took his place as a leading light in Italy's modern scientific renaissance. By his early forties, he was a world-renowned mathematician, a sought-after figure in European intellectual and social circles, the undisputed head of Italy's mathematics and physics school--and still living with his mother, who decided the time was ripe to arrange his marriage. When Italy entered World War I in 1915, the fifty-five-year-old Volterra served with distinction and verve as a lieutenant and did not put on civilian clothes again until the Armistice of 1918. This book, based in part on unpublished personal letters and interviews, traces the extraordinary life and times of one of Europe's foremost scientists and mathematicians, from his teenage struggles to avoid the stifling life of a ""respectable"" bank clerk in Florence, to his seminal mathematical work--which today influences fields as diverse as economics, physics, and ecology--and from his spirited support of Italy's scientific and democratic institutions during his years as an Italian Senator, to his steadfast defiance of the Fascists and Mussolini. In recounting the life of this outstanding scientist, European Jewish intellectual, committed Italian patriot, and devoted if frequently distracted family man, The Volterra Chronicles depicts a remarkable individual in a prodigious age and takes the reader on a vivid and splendidly detailed historical journey.

The term "fuzzy logic" (FL), as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic: the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediary truth values between true and false are allowed, which are interpreted as degrees of truth. This opens a new way of thinking-thinking in terms of degrees rather than absolutes. For example, it led to the definition of a new category of sets, referred to as fuzzy sets, in which membership is a matter of degree. The book examines the genesis and development of fuzzy logic. It surveys the prehistory of fuzzy logic and inspects circumstances that eventually lead to the emergence of fuzzy logic. The book explores in detail the development of propositional, predicate, and other calculi that admit degrees of truth, which are known as fuzzy logic in the narrow sense. Fuzzy logic in the broad sense, whose primary aim is to utilize degrees of truth for emulating common-sense human reasoning in natural language, is scrutinized as well. The book also examines principles for developing mathematics based on fuzzy logic and provides overviews of areas in which this has been done most effectively. It also presents a detailed survey of established and prospective applications of fuzzy logic in various areas of human affairs, and provides an assessment of the significance of fuzzy logic as a new paradigm.

This volume is a collection of papers on philosophy of mathematics which deal with a series of questions quite different from those which occupied the minds of the proponents of the three classic schools: logicism, formalism, and intuitionism. The questions of the volume are not to do with justification in the traditional sense, but with a variety of other topics. Some are concerned with discovery and the growth of mathematics. How does the semantics of mathematics change as the subject develops? What heuristics are involved in mathematical discovery, and do such heuristics constitute a logic of mathematical discovery? What new problems have been introduced by the development of mathematics since the 1930s? Other questions are concerned with the applications of mathematics both to physics and to the new field of computer science. Then there is the new question of whether the axiomatic method is really so essential to mathematics as is often supposed, and the question, which goes back to Wittgenstein, of the sense in which mathematical proofs are compelling. Taking these questions together they give part of an emerging agenda which is likely to carry philosophy of mathematics forward into the twenty first century.

Euler is one of the greatest and most prolific mathematicians of all time. He wrote the first accessible books on calculus, created the theory of circular functions, and discovered new areas of research such as elliptic integrals, the calculus of variations, graph theory, divergent series, and so on. It took hundreds of years for his successors to develop in full the theories he began, and some of his themes are still at the center of today's mathematics. It is of great interest therefore to examine his work and its relation to current mathematics. This book attempts to do that. In number theory the discoveries he made empirically would require for their eventual understanding such sophisticated developments as the reciprocity laws and class field theory.His pioneering work on elliptic integrals is the precursor of the modern theory of abelian functions and abelian integrals. His evaluation of zeta and multizeta values is not only a fantastic and exciting story but very relevant to us, because they are at the confluence of much research in algebraic geometry and number theory today (Chapters 2 and 3 of the book). Anticipating his successors by more than a century, Euler created a theory of summation of series that do not converge in the traditional manner.Chapter 5 of the book treats the progression of ideas regarding divergent series from Euler to many parts of modern analysis and quantum physics. The last chapter contains a brief treatment of Euler products. Euler discovered the product formula over the primes for the zeta function as well as for a small number of what are now called Dirichlet $L$-functions. Here the book goes into the development of the theory of such Euler products and the role they play in number theory, thus offering the reader a glimpse of current developments (the Langlands program). For other wonderful titles written by this author see: ""Supersymmetry for Mathematicians: An Introduction"", ""The Mathematical Legacy of Harish-Chandra: A Celebration of Representation Theory and Harmonic Analysis"", ""The Selected Works of V.S. Varadarajan"", and ""Algebra in Ancient and Modern Times"".

If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought? Jody Azzouni says no, and he claims that the way to escape such commitments is to accept (as an essential part of scientific doctrine) true statements which are about objects that don't exist in any sense at all.
Azzouni illustrates what the metaphysical landscape looks like once we avoid a militant Realism which forces our commitment to anything that our theories quantify. Escaping metaphysical straitjackets (such as the correspondence theory of truth), while retaining the insight that some truths are about objects that do exist, Azzouni says that we can sort scientifically-given objects into two categories: ones which exist, and to which we forge instrumental access in order to learn their properties, and ones which do not, that is, which are made up in exactly the same sense that fictional objects are. He offers as a case study a small portion of Newtonian physics, and one result of his classification of its ontological commitments, is that it does not commit us to absolute space and time.

A book about both material's and space's non-local geometric relation to fiber groups of principle fiber bundles, it subsequently reveals the fundamental structure of life's intent and our perception.

Metaphysics, Mathematics, and Meaning brings together Nathan Salmon's influential papers on topics in the metaphysics of existence, non-existence, and fiction; modality and its logic; strict identity, including personal identity; numbers and numerical quantifiers; the philosophical significance of G del's Incompleteness theorems; and semantic content and designation. Including a previously unpublished essay and a helpful new introduction to orient the reader, the volume offers rich and varied sustenance for philosophers and logicians.

In his most ambitious book yet, Clifford Pickover bridges the gulf between logic, spirit, science, and religion. While exploring the concept of omniscience, Pickover explains the kinds of relationships limited beings can have with an all-knowing God. Pickover's thought exercises, controversial experiments, and practical analogies help us transcend our ordinary lives while challenging us to better understand our place in the cosmos and our dreams of a supernatural God. Through an inventive blend of science, history, philosophy, science fiction, and mind-stretching brainteasers, Pickover unfolds the paradoxes of God like no other writer. He provides glimpses into the infinite, allowing us to think big, and to have daring, limitless dreams.

In this brief treatise, Carus traces the roots of his belief in the philosophical basis for mathematics and analyzes that basis after a historical overview of Euclid and his successors. He then examines his base argument and proceeds to a study of different geometrical systems, all pulled together in his epilogue, which examines matter, mathematics, and, ultimately, the nature of God.

Robert W. Batterman's monograph examines a ubiquitous methodology in physics and the science of materials that has virtually been ignored in the philosophical literature. This method focuses on mesoscale structures as a means for investigating complex many-body systems. It challenges foundational pictures of physics where the most important properties are taken to be found at lower, more fundamental scales. This so-called "hydrodynamic approach" has its origins in Einstein's pioneering work on Brownian motion. This work can be understood to be one of the first instances of "upscaling" or homogenization whereby values for effective continuum scale parameters can be theoretically determined. Einstein also provided the first statement of what came to be called the "Fluctuation-Dissipation" theorem. This theorem justifies the use of equilibrium statistical mechanics to study the nonequilibrium behaviors of many-body systems. Batterman focuses on the consequences of the Fluctuation-Dissipation theorem for a proper understanding of what can be considered natural parameters or natural kinds for studying behaviors of such systems. He challenges various claims that such natural, or joint carving, parameters are always to be found at the most fundamental level. Overall, Batterman argues for mesoscale first, middle-out approach to many questions concerning the relationships between fundamental theories and their phenomenological, continuum scale cousins.

Robert Hanna presents a fresh view of the Kantian and analytic traditions that have dominated continental European and Anglo-American philosophy over the last two centuries, and of the relation between them. The rise of analytic philosophy decisively marked the end of the hundred-year dominance of Kant's philosophy in Europe. But Hanna shows that the analytic tradition also emerged from Kant's philosophy in the sense that its members were able to define and legitimate their ideas only by means of an intensive, extended engagement with, and a partial or complete rejection of, the Critical Philosophy. Hanna's book therefore comprises both an interpretative study of Kant's massive and seminal Critique of Pure Reason, and a critical essay on the historical foundations of analytic philosophy from Frege to Quine. Hanna considers Kant's key doctrines in the Critique in the light of their reception and transmission by the leading figures of the analytic tradition-Frege, Moore, Russell, Wittgenstein, Carnap, and Quine. But this is not just a study in the history of philosophy, for out of this emerges Hanna's original approach to two much-contested theories that remain at the heart of contemporary philosophy. Hanna puts forward a new 'cognitive-semantic' interpretation of transcendental idealism, and a vigorous defence of Kant's theory of analytic and synthetic necessary truth. These will make Kant and the Foundations of Analytic Philosophy compelling reading not just for specialists in the history of philosophy, but for all who are interested in these fundamental philosophical issues.

Bob Hale and Crispin Wright draw together here the key writings in which they have worked out their distinctive approach to the fundamental questions: what is mathematics about, and how do we know it? The volume features much new material: introduction, postscript, bibliographies, and a new essay on a key problem. The Reason's Proper Study is the strongest presentation yet of the controversial neo-Fregean view that mathematical knowledge may be based a priori on logic and definitional abstraction principles. It will prove indispensable reading not just to philosophers of mathematics but to all who are interested in the fundamental metaphysical and epistemological issues which the programme raises.

McCarthy develops a theory of Radical Interpertation - The project of characterizing from scratch the language and attituteds of an agent or population - and applies the theory to the problems of indeterminacy of interperation first descrided in the writings of Quine. The major theme in McCarthy's study is that a relatively modest set of interpertive principles, properly applied, can serve to resolve the major indeterminacies of interperation. Its most substantive contribution is in proposing a solution to problems of indeterminacy that remain unsloved in the literature.

"You believe in a God who plays dice, and I in complete law and order", Albert Einstein. The science of chaos is forcing scientists to rethink Einstein's fundamental assumptions regarding the way the universe behaves. Chaos theory has already shown that simple systems, obeying precise laws, can nevertheless act in a random manner. Perhaps God plays dice within a cosmic game of complete law and order. "Does God Play Dice?" reveals a strange universe in which nothing may be as it seems. Familiar geometrical shapes such as circles and ellipses give way to infinitely complex structures known as fractals, the fluttering of a butterfly's wings can change the weather, and the gravitational attraction of a creature in a distant galaxy can change the fate of the solar system. This revised and updated edition includes three completely new chapters on the prediction and control of chaotic systems. It also incorporates new information regarding the solar system and an account of complexity theory. This text aims to make the complex mathematics of chaos accessible and entertaining.

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s. Quantum mechanics is in one sense the most successful physical theory ever, accurately predicting the behaviour of the basic constituents of matter. But it has an apparent ambiguity or inconsistency at its heart; Barrett gives a careful, clear, and challenging evaluation of attempts to deal with this problem.

Simply put, an algorithm is a set of instructions-it's the code that makes computers run. A basic idea that proved elusive for hundreds of years and bent the minds of the greatest thinkers in the world, the algorithm is what made the modern world possible. Without the algorithm, there would have been no computer, no Internet, no virtual reality, no e-mail, or any other technological advance that we rely on every day.
In "The Advent of the Algorithm, " David Berlinski combines science, history, and math to explain and explore the intriguing story of how the algorithm was finally discovered by a succession of mathematicians and logicians, and how this paved the way for the digital age. Beginning with Leibniz and culminating in the middle of the twentieth century with the groundbreaking work of Godel and Turing, The "Advent of the Algorithm "is an epic tale told with clarity and imaginative brilliance.

In The Non-Local Universe, Nadeau and Kafatos offer a revolutionary look at the breathtaking implications of non-locality. They argue that since every particle in the universe has been "entangled" with other particles, physical reality on the most basic level is an undivided wholeness. In addition to demonstrating that physical processes are vastly interdependent and interactive, they also show that more complex systems in both physics and biology display emergent properties and/or behaviours that cannot be explained in terms of the sum of the parts. One of the most startling implications of nonlocality in human, terms, claim the authors, is that there is no longer any basis for believing in the stark division between mind and world that has preoccupied much of Western thought since the seventeenth century.

Shapiro argues that both realist and anti-realist accounts of mathematics are problematic. To resolve this dilemma, he articulates a 'structuralist' approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

The Number Sense is an enlightening exploration of the mathematical mind. Describing experiments that show that human infants have a rudimentary number sense, Stanislas Dehaene suggests that this sense is as basic as our perception of color, and that it is wired into the brain. Dehaene shows that it was the invention of symbolic systems of numerals that started us on the climb to higher mathematics. A fascinating look at the crossroads where numbers and neurons intersect, The Number Sense offers an intriguing tour of how the structure of the brain shapes our mathematical abilities, and how our mathematics opens up a window on the human mind.

Learning and Doing MathematicsSecond EditionJohn Mason, formerly Professor of Mathematical Education at the Open UniversityLearning and Doing is for anyone keen to develop learning skills or to enhance their problem-solving powers. It will help you develop your own strategies by recognising blockages and then using the techniques of generalizing and specializing to identify routes to a solution. Examples are varied. Many are mathematical in flavour, but they are accessible to anyone with an interest in the subject and the methods proposed apply across the curriculum and indeed to everyday situations in modern life. Developed at the Open University, all the material is tried and tested. Professor Mason's style is relaxed and colloquial - accessible to all, whether a teacher wanting to use it for examples and fresh ways to inspire, or a parent or student wanted to boost their learning and broaden their mathematical thinking. Contents: Specializing Generalizing Specializing and Generalizing Together Convincing Yourself and Others When is an Argument Valid? Further Food for Thought Five Interludes are presented between the chapter - to provoke practical mathematical thinking, and have some fun.Reviews of the First Edition"An excellent resource...an impressive, carefully chosen array of examples...I will certainly recommend it." John Baylis, The Mathematical Gazette"Fresh, lively and energetic...we should buy his] books before they are banned."Ralph Schwarzenberger, Mathematics Teaching

Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations. He gives an accessible account of second-order and higher-order logic, paying special attention to philosophical and historical issues. Foundations without Foundationalism is a key contribution both to philosophy of mathematics and to mathematical logic.

'In this excellent treatise Shapiro defends the use of second-order languages and logic as frameworks for mathematics. His coverage of the wide range of logical and philosophical . . . is thorough, clear, and persuasive.' Michael D. Resnik, History and Philosophy of Logic