Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science, and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.

The genesis of the digital idea and why it transformed civilization A few short decades ago, we were informed by the smooth signals of analog television and radio; we communicated using our analog telephones; and we even computed with analog computers. Today our world is digital, built with zeros and ones. Why did this revolution occur? The Discrete Charm of the Machine explains, in an engaging and accessible manner, the varied physical and logical reasons behind this radical transformation. The spark of individual genius shines through this story of innovation: the stored program of Jacquard’s loom; Charles Babbage’s logical branching; Alan Turing’s brilliant abstraction of the discrete machine; Harry Nyquist’s foundation for digital signal processing; Claude Shannon’s breakthrough insights into the meaning of information and bandwidth; and Richard Feynman’s prescient proposals for nanotechnology and quantum computing. Ken Steiglitz follows the progression of these ideas in the building of our digital world, from the internet and artificial intelligence to the edge of the unknown. Are questions like the famous traveling salesman problem truly beyond the reach of ordinary digital computers? Can quantum computers transcend these barriers? Does a mysterious magical power reside in the analog mechanisms of the brain? Steiglitz concludes by confronting the moral and aesthetic questions raised by the development of artificial intelligence and autonomous robots. The Discrete Charm of the Machine examines why our information technology, the lifeblood of our civilization, became digital, and challenges us to think about where its future trajectory may lead.

Substance and the Fundamentality of the Familiar explicates and defends a novel neo-Aristotelian account of the structure of material objects. While there have been numerous treatments of properties, laws, causation, and modality in the neo-Aristotelian metaphysics literature, this book is one of the first full-length treatments of wholes and their parts. Another aim of the book is to further develop the newly revived area concerning the question of fundamental mereology, the question of whether wholes are metaphysically prior to their parts or vice versa. Inman develops a fundamental mereology with a grounding-based conception of the structure and unity of substances at its core, what he calls substantial priority, one that distinctively allows for the fundamentality of ordinary, medium-sized composite objects. He offers both empirical and philosophical considerations against the view that the parts of every composite object are metaphysically prior, in particular the view that ascribes ontological pride of place to the smallest microphysical parts of composite objects, which currently dominates debates in metaphysics, philosophy of science, and philosophy of mind. Ultimately, he demonstrates that substantial priority is well-motivated in virtue of its offering a unified solution to a host of metaphysical problems involving material objects.

Decision theory and the theory of rational choice have recently been the subjects of considerable research by philosophers and economists. However, no adequate anthology exists which can be used to introduce students to the field. This volume is designed to meet that need. The essays included are organized into five parts covering the foundations of decision theory, the conceptualization of probability and utility, pholosophical difficulties with the rules of rationality and with the assessment of probability, and causal decision theory. The editors provide an extensive introduction to the field and introductions to each part.

Mathematics and logic present crucial cases in deciding whether the world is of our making or whether some form of realism is true. Edmund Husserl, who was initially a mathematician, discusses this general question extensively, but although his views influenced the Dutch intuitionists and were taken very seriously by Godel, they have not been widely appreciated among analytical philosophers. In this book Robert Tragesser sets out to determine the conditions under which a realist ontology of mathematics and logic might be justified, taking as his starting point Husserl's treatment of these metaphysical problems. He does not aim primarily at an exposition of Husserl's phenomenology, although many of the central claims of phenomenology are clarified here. Rather he exploits its ideas and methods to show how they can contribute to answering Michael Dummet's question 'Realism or Anti-Realism?'. In doing so he makes a challenging and provocative contribution to the debate."

The volumes in this series bring together the papers of one of America's most distinguished philosophers. The first two volumes, which appeared in 1975, marked his highly significant and original contribution in a number of related fields and were praised for their "technical sophistication, clear-sightedness, depth, and power." The third volume contains the major essays written since then and reveals modifications of and amplifications on some of Professor Putnam's beliefs.

Although the mathematical research community takes its international character very much for granted, this "global nature" is relatively recent, having evolved over a period of roughly 150 years - from the beginning of the 19th century to the middle of the 20th. During this time, the practice of mathematics changed from being centered on a collection of disparate national communities to being characterized by an international group of scholars for whom the goal of mathematical research and cooperation transcended national boundaries. Yet, the development of an international community was far from smooth and involved obstacles such as war, political upheaval, and national rivalries. This evolution has been largely overlooked by historians and mathematicians alike This book addresses the issue by bringing together essays by 20 experts in the history of mathematics who have investigated the genesis of today's international mathematical community.

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent (and astonishing) facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities.

In The Logic of Number, Neil Tennant defines and develops his Natural Logicist account of the foundations of the natural, rational, and real numbers. Based on the logical system free Core Logic, the central method is to formulate rules of natural deduction governing variable-binding number-abstraction operators and other logico-mathematical expressions such as zero and successor. These enable 'single-barreled' abstraction, in contrast with the 'double-barreled' abstraction effected by principles such as Frege's Basic Law V, or Hume's Principle. Natural Logicism imposes upon its account of the numbers four conditions of adequacy: First, one must show how it is that the various kinds of number are applicable in our wider thought and talk about the world. This is achieved by deriving all instances of three respective schemas: Schema N for the naturals, Schema Q for the rationals, and Schema R for the reals. These provide truth-conditions for statements deploying terms referring to numbers of the kind in question. Second, one must show how it is that the naturals sit among the rationals as themselves again, and the rationals likewise among the reals. Third, one should reveal enough of the metaphysical nature of the numbers to be able to derive the mathematician's basic laws governing them. Fourth, one should be able to demonstrate that there are uncountably many reals. Natural Logicism is realistic about the limits of logicism when it comes to treating the real numbers, for which, Tennant argues, one needs recourse to geometric intuition for deeper starting-points, beyond which logic alone will then deliver the sought results, with absolute formal rigor. The resulting program enables one to delimit, in a principled way, those parts of number theory that are produced by the Kantian understanding alone, and those parts that depend on recourse to (very simple) a priori geometric intuitions.

Bayesian ideas have recently been applied across such diverse fields as philosophy, statistics, economics, psychology, artificial intelligence, and legal theory. Fundamentals of Bayesian Epistemology examines epistemologists' use of Bayesian probability mathematics to represent degrees of belief. Michael G. Titelbaum provides an accessible introduction to the key concepts and principles of the Bayesian formalism, enabling the reader both to follow epistemological debates and to see broader implications Volume 1 begins by motivating the use of degrees of belief in epistemology. It then introduces, explains, and applies the five core Bayesian normative rules: Kolmogorov's three probability axioms, the Ratio Formula for conditional degrees of belief, and Conditionalization for updating attitudes over time. Finally, it discusses further normative rules (such as the Principal Principle, or indifference principles) that have been proposed to supplement or replace the core five. Volume 2 gives arguments for the five core rules introduced in Volume 1, then considers challenges to Bayesian epistemology. It begins by detailing Bayesianism's successful applications to confirmation and decision theory. Then it describes three types of arguments for Bayesian rules, based on representation theorems, Dutch Books, and accuracy measures. Finally, it takes on objections to the Bayesian approach and alternative formalisms, including the statistical approaches of frequentism and likelihoodism.

"The Mathematician's Brain" poses a provocative question about the world's most brilliant yet eccentric mathematical minds: were they brilliant because of their eccentricities or in spite of them? In this thought-provoking and entertaining book, David Ruelle, the well-known mathematical physicist who helped create chaos theory, gives us a rare insider's account of the celebrated mathematicians he has known-their quirks, oddities, personal tragedies, bad behavior, descents into madness, tragic ends, and the sublime, inexpressible beauty of their most breathtaking mathematical discoveries.

Consider the case of British mathematician Alan Turing. Credited with cracking the German Enigma code during World War II and conceiving of the modern computer, he was convicted of "gross indecency" for a homosexual affair and died in 1954 after eating a cyanide-laced apple--his death was ruled a suicide, though rumors of assassination still linger. Ruelle holds nothing back in his revealing and deeply personal reflections on Turing and other fellow mathematicians, including Alexander Grothendieck, Rene Thom, Bernhard Riemann, and Felix Klein. But this book is more than a mathematical tell-all. Each chapter examines an important mathematical idea and the visionary minds behind it. Ruelle meaningfully explores the philosophical issues raised by each, offering insights into the truly unique and creative ways mathematicians think and showing how the mathematical setting is most favorable for asking philosophical questions about meaning, beauty, and the nature of reality.

"The Mathematician's Brain" takes you inside the world--and heads--of mathematicians. It's a journey you won't soon forget."

We use addition on a daily basis--yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity? Summing It Up uses addition as a springboard to present a fascinating and accessible look at numbers and number theory, and how we apply beautiful numerical properties to answer math problems. Mathematicians Avner Ash and Robert Gross explore addition's most basic characteristics as well as the addition of squares and other powers before moving onward to infinite series, modular forms, and issues at the forefront of current mathematical research. Ash and Gross tailor their succinct and engaging investigations for math enthusiasts of all backgrounds. Employing college algebra, the first part of the book examines such questions as, can all positive numbers be written as a sum of four perfect squares? The second section of the book incorporates calculus and examines infinite series--long sums that can only be defined by the concept of limit, as in the example of 1+1/2+1/4+...=? With the help of some group theory and geometry, the third section ties together the first two parts of the book through a discussion of modular forms--the analytic functions on the upper half-plane of the complex numbers that have growth and transformation properties. Ash and Gross show how modular forms are indispensable in modern number theory, for example in the proof of Fermat's Last Theorem. Appropriate for numbers novices as well as college math majors, Summing It Up delves into mathematics that will enlighten anyone fascinated by numbers.

Paul Benacerraf has dominated the philosophy of mathematics in the past 25 years. Arguments derived from Benacerraf's analyses of the concept of number and the tension between the epistemology and the semantics of matematics are widespread in the rest of philosophy, particulary the philosophy of langauge and metaphysics.

This volume contains ten original essays discussing Benacerrafian themes within and outside the philosophy of mathematics, and a new essay, "What mathematical truth could not be" by Benaceraff. Within the philosophy of mathematics the essays discuss the perennial appeal of Platonism in the philosophy of mathematics, the indeterminacy of mathematical ontology, and the legacy of the logicism of Frege and Russell. More general topics discussed include the concept of truth, indeterminacy arguments in ontology, and the status of stipulation in human knowledge.

Contributors include Paul Benacerraf, George Boolos, John Earman and John Norton, Richard Grandy, Jerrold Katz, Penelope Maddy, Adam Morton, Richard Jeffrey, Robert Stalnaker, Mark Steiner and Steven Wagner.

This Element aims to present an outline of mathematics and its history, with particular emphasis on events that shook up its philosophy. It ranges from the discovery of irrational numbers in ancient Greece to the nineteenth- and twentieth-century discoveries on the nature of infinity and proof. Recurring themes are intuition and logic, meaning and existence, and the discrete and the continuous. These themes have evolved under the influence of new mathematical discoveries and the story of their evolution is, to a large extent, the story of philosophy of mathematics.

Is a whole something more than the sum of its parts? Are there things composed of the same parts? If you divide an object into parts, and divide those parts into smaller parts, will this process ever come to an end? Can something lose parts or gain new ones without ceasing to be the thing it is? Does any multitude of things (including disparate things such as you, this book, and the tail of a cat) compose a whole of some sort? Questions such as these have occupied us for at least as long as philosophy has existed. They define the field that has come to be known as mereology-the study of all relations of part to whole and of part to part within a whole-and have deep and far-reaching ramifications in metaphysics as well as in logic, the foundations of mathematics, the philosophy of language, the philosophy of science, and beyond. In Mereology, A. J. Cotnoir and Achille C. Varzi have compiled decades of advanced research into a comprehensive, up-to-date, and formally rigorous picture. The early chapters cover the more classical aspects of mereology; the rest of the book deals with variants and extensions. Whether you are an established professional philosopher, an interested student, or a newcomer, inside you will find all the tools you need to join this ever-evolving field of inquiry and theorize about all things mereological.

To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving methodically--even algorithmically--from one black-and-white deduction to another. Yet mathematicians often describe their most important breakthroughs as creative, intuitive responses to ambiguity, contradiction, and paradox. A unique examination of this less-familiar aspect of mathematics, "How Mathematicians Think" reveals that mathematics is a profoundly creative activity and not just a body of formalized rules and results.

Nonlogical qualities, William Byers shows, play an essential role in mathematics. Ambiguities, contradictions, and paradoxes can arise when ideas developed in different contexts come into contact. Uncertainties and conflicts do not impede but rather spur the development of mathematics. Creativity often means bringing apparently incompatible perspectives together as complementary aspects of a new, more subtle theory. The secret of mathematics is not to be found only in its logical structure.

The creative dimensions of mathematical work have great implications for our notions of mathematical and scientific truth, and "How Mathematicians Think" provides a novel approach to many fundamental questions. Is mathematics objectively true? Is it discovered or invented? And is there such a thing as a "final" scientific theory?

Ultimately, "How Mathematicians Think" shows that the nature of mathematical thinking can teach us a great deal about the human condition itself.

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been proposed, each a consistent theory permitting the development of a significant portion of mathematics.

This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured.

Even the most enthusiastic of maths students probably at one time wondered when exactly it would all prove useful in ‘real life’. Well, maths reaches so far and wide through our world that, love it or hate it, we’re all doing maths almost every minute of every day.

David Darling and Agnijo Banerjee go in search of the perfect labyrinth, journey back to the second century in pursuit of ‘bubble maths’, reveal the weirdest mathematicians in history and transform the bewildering into the beautiful, delighting us once again.

A stimulating intellectual history of Ptolemy's philosophy and his conception of a world in which mathematics reigns supreme The Greco-Roman mathematician Claudius Ptolemy is one of the most significant figures in the history of science. He is remembered today for his astronomy, but his philosophy is almost entirely lost to history. This groundbreaking book is the first to reconstruct Ptolemy's general philosophical system-including his metaphysics, epistemology, and ethics-and to explore its relationship to astronomy, harmonics, element theory, astrology, cosmology, psychology, and theology. In this stimulating intellectual history, Jacqueline Feke uncovers references to a complex and sophisticated philosophical agenda scattered among Ptolemy's technical studies in the physical and mathematical sciences. She shows how he developed a philosophy that was radical and even subversive, appropriating ideas and turning them against the very philosophers from whom he drew influence. Feke reveals how Ptolemy's unique system is at once a critique of prevailing philosophical trends and a conception of the world in which mathematics reigns supreme. A compelling work of scholarship, Ptolemy's Philosophy demonstrates how Ptolemy situated mathematics at the very foundation of all philosophy-theoretical and practical-and advanced the mathematical way of life as the true path to human perfection.

There is a growing awareness among researchers in the humanities and social sciences of the rhetorical force of mathematical discourse-whether in regard to gerrymandering, facial recognition technologies, or racial biases in algorithmic automation. This book proposes a novel way to engage with and understand mathematics via a theoretical framework that highlights how math transforms the social-material world. In this study, G. Mitchell Reyes applies contemporary rhetorical analysis to mathematical discourse, calling into question the commonly held view that math equals truth. Examining mathematics in historical context, Reyes traces its development from Plato's teaching about abstract numbers to Euclidian geometry and the emergence of calculus and infinitesimals, imaginary numbers, and algorithms. This history reveals that mathematical innovation has always relied on rhetorical practices of making meaning, such as analogy, metaphor, and invention. Far from expressing truth hidden deep in reality, mathematics is dynamic and evolving, shaping reality and our experience of it. By bringing mathematics back down to the material-social world, Reyes makes it possible for scholars of the rhetoric and sociology of science, technology, and math to collaborate with mathematicians themselves in order to better understand our material world and public culture.

Think of a number between one and ten. No, hang on, let's make this interesting. Between zero and infinity. Even if you stick to the whole numbers, there are a lot to choose from - an infinite number in fact. Throw in decimal fractions and infinity suddenly gets an awful lot bigger (is that even possible?) And then there are the negative numbers, the imaginary numbers, the irrational numbers like pi which never end. It literally never ends. The world of numbers is indeed strange and beautiful. Among its inhabitants are some really notable characters - pi, e, the "imaginary" number i and the famous golden ratio to name just a few. Prime numbers occupy a special status. Zero is very odd indeed: is it a number, or isn't it? How Numbers Work takes a tour of this mind-blowing but beautiful realm of numbers and the mathematical rules that connect them. Not only that, but take a crash course on the biggest unsolved problems that keep mathematicians up at night, find out about the strange and unexpected ways mathematics influences our everyday lives, and discover the incredible connection between numbers and reality itself. ABOUT THE SERIES New Scientist Instant Expert books are definitive and accessible entry points to the most important subjects in science; subjects that challenge, attract debate, invite controversy and engage the most enquiring minds. Designed for curious readers who want to know how things work and why, the Instant Expert series explores the topics that really matter and their impact on individuals, society, and the planet, translating the scientific complexities around us into language that's open to everyone, and putting new ideas and discoveries into perspective and context.

Fifty years ago when Jacques Hadamard set out to explore how mathematicians invent new ideas, he considered the creative experiences of some of the greatest thinkers of his generation, such as George Polya, Claude Levi-Strauss, and Albert Einstein. It appeared that inspiration could strike anytime, particularly after an individual had worked hard on a problem for days and then turned attention to another activity. In exploring this phenomenon, Hadamard produced one of the most famous and cogent cases for the existence of unconscious mental processes in mathematical invention and other forms of creativity. Written before the explosion of research in computers and cognitive science, his book, originally titled "The Psychology of Invention in the Mathematical Field," remains an important tool for exploring the increasingly complex problem of mental life.

The roots of creativity for Hadamard lie not in consciousness, but in the long unconscious work of incubation, and in the unconscious aesthetic selection of ideas that thereby pass into consciousness. His discussion of this process comprises a wide range of topics, including the use of mental images or symbols, visualized or auditory words, "meaningless" words, logic, and intuition. Among the important documents collected is a letter from Albert Einstein analyzing his own mechanism of thought."

In this third installment of his classic 'Foundations' trilogy, Michel Serres takes on the history of geometry and mathematics. Even more broadly, Geometry is the beginnings of things and also how these beginnings have shaped how we continue to think philosophically and critically. Serres rejects a traditional history of mathematics which unfolds in a linear manner, and argues for the need to delve into the past of maths and identify a series of ruptures which can help shed light on how this discipline has developed and how, in turn, the way we think has been shaped and formed. This meticulous and lyrical translation marks the first ever English translation of this key text in the history of ideas.

The history of mathematics is replete with examples of major breakthroughs resulting from solutions to recreational problems. The modern theory of probability arose out of problems of concern to gamblers, for example, and modern combinatorics grew out of various games and puzzles. Despite this track record and a wealth of popular-level books, there remain few conduits for research in recreational mathematics. The Mathematics of Various Entertaining Subjects now returns with an all-new third volume, presenting new research in diverse areas of recreational mathematics. This volume focuses on four areas: puzzles and brainteasers, games, algebra and number theory, and geometry and topology. Readers will create Spiral Galaxies, Japanese symmetric grid puzzles consisting of squares and circles whose solutions are letters and numbers; delve into a paradox in the game of Bingo; examine the card tricks of mathematician-philosopher Charles Sanders Peirce; learn about the mathematics behind Legos; and much more. Elucidating the many connections between mathematics and games, The Mathematics of Various Entertaining Subjects is sure to challenge and inspire mathematicians and math enthusiasts.

In 1913, a young unschooled Indian clerk wrote a letter to G H Hardy, begging the pre-eminent English mathematician's opinion on several ideas he had about numbers. Realising the letter was the work of a genius, Hardy arranged for Srinivasa Ramanujan to come to England. Thus began one of the most improbable and productive collaborations ever chronicled.

With a passion for rich and evocative detail, Robert Kanigel takes us from the temples and slums of Madras to the courts and chapels of Cambridge University, where the devout Hindu Ramanujan, 'the Prince of Intuition,' tested his brilliant theories alongside the sophisticated and eccentric Hardy, 'the Apostle of Proof'. In time, Ramanujan's creative intensity took its toll: he died at the age of thirty-two and left behind a magical and inspired legacy that is still being plumbed for its secrets today.