The Mathematical Theory of Communication


Claude Shannon - 1949
    Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.

Birth of a Theorem: A Mathematical Adventure


Cédric Villani - 2012
    Birth of a Theorem is Villani’s own account of the years leading up to the award. It invites readers inside the mind of a great mathematician as he wrestles with the most important work of his career.But you don’t have to understand nonlinear Landau damping to love Birth of a Theorem. It doesn’t simplify or overexplain; rather, it invites readers into collaboration. Villani’s diaries, emails, and musings enmesh you in the process of discovery. You join him in unproductive lulls and late-night breakthroughs. You’re privy to the dining-hall conversations at the world’s greatest research institutions. Villani shares his favorite songs, his love of manga, and the imaginative stories he tells his children. In mathematics, as in any creative work, it is the thinker’s whole life that propels discovery—and with Birth of a Theorem, Cédric Villani welcomes you into his.

Essays on the Theory of Numbers


Richard Dedekind - 1901
    W. R. Dedekind. The first presents Dedekind's theory of the irrational number-the Dedekind cut idea-perhaps the most famous of several such theories created in the 19th century to give a precise meaning to irrational numbers, which had been used on an intuitive basis since Greek times. This paper provided a purely arithmetic and perfectly rigorous foundation for the irrational numbers and thereby a rigorous meaning of continuity in analysis.The second essay is an attempt to give a logical basis for transfinite numbers and properties of the natural numbers. It examines the notion of natural numbers, the distinction between finite and transfinite (infinite) whole numbers, and the logical validity of the type of proof called mathematical or complete induction.The contents of these essays belong to the foundations of mathematics and will be welcomed by those who are prepared to look into the somewhat subtle meanings of the elements of our number system. As a major work of an important mathematician, the book deserves a place in the personal library of every practicing mathematician and every teacher and historian of mathematics. Authorized translations by "Vooster " V. Beman.

Lectures on the Foundations of Mathematics, Cambridge 1939


Ludwig Wittgenstein - 1989
    A lecture class taught by Wittgenstein, however, hardly resembled a lecture. He sat on a chair in the middle of the room, with some of the class sitting in chairs, some on the floor. He never used notes. He paused frequently, sometimes for several minutes, while he puzzled out a problem. He often asked his listeners questions and reacted to their replies. Many meetings were largely conversation. These lectures were attended by, among others, D. A. T. Gasking, J. N. Findlay, Stephen Toulmin, Alan Turing, G. H. von Wright, R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies. Notes taken by these last four are the basis for the thirty-one lectures in this book. The lectures covered such topics as the nature of mathematics, the distinctions between mathematical and everyday languages, the truth of mathematical propositions, consistency and contradiction in formal systems, the logicism of Frege and Russell, Platonism, identity, negation, and necessary truth. The mathematical examples used are nearly always elementary.

The Music of the Primes: Searching to Solve the Greatest Mystery in Mathematics


Marcus du Sautoy - 2003
    The subject was the mystery of prime numbers. At the heart of the presentation was an idea that Riemann had not yet proved but one that baffles mathematicians to this day.Solving the Riemann Hypothesis could change the way we do business, since prime numbers are the lynchpin for security in banking and e-commerce. It would also have a profound impact on the cutting-edge of science, affecting quantum mechanics, chaos theory, and the future of computing. Leaders in math and science are trying to crack the elusive code, and a prize of $1 million has been offered to the winner. In this engaging book, Marcus du Sautoy reveals the extraordinary history behind the holy grail of mathematics and the ongoing quest to capture it.

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number


Gottlob Frege - 1884
    The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine


Charles Petzold - 2008
    Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

The Universal Computer: The Road from Leibniz to Turing


Martin D. Davis - 2000
    How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.

Philosophy of Mathematics: Selected Readings


Paul Benacerraf - 1983
    In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics


John Derbyshire - 2003
    Alternating passages of extraordinarily lucid mathematical exposition with chapters of elegantly composed biography and history, Prime Obsession is a fascinating and fluent account of an epic mathematical mystery that continues to challenge and excite the world.

Labyrinths of Reason: Paradox, Puzzles and the Frailty of Knowledge


William Poundstone - 1988
    This sharply intelligent, consistently provocative book takes the reader on an astonishing, thought-provoking voyage into the realm of delightful uncertainty--a world of paradox in which logical argument leads to contradiction and common sense is seemingly rendered irrelevant.

Quantum Computing Since Democritus


Scott Aaronson - 2013
    Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.

The Nothing That Is: A Natural History of Zero


Robert M. Kaplan - 1999
    As we enter the year 2000, zero is once again making its presence felt. Nothing itself, it makes possible a myriad of calculations. Indeed, without zero mathematicsas we know it would not exist. And without mathematics our understanding of the universe would be vastly impoverished. But where did this nothing, this hollow circle, come from? Who created it? And what, exactly, does it mean? Robert Kaplan's The Nothing That Is: A Natural History of Zero begins as a mystery story, taking us back to Sumerian times, and then to Greece and India, piecing together the way the idea of a symbol for nothing evolved. Kaplan shows us just how handicapped our ancestors were in trying to figurelarge sums without the aid of the zero. (Try multiplying CLXIV by XXIV). Remarkably, even the Greeks, mathematically brilliant as they were, didn't have a zero--or did they? We follow the trail to the East where, a millennium or two ago, Indian mathematicians took another crucial step. By treatingzero for the first time like any other number, instead of a unique symbol, they allowed huge new leaps forward in computation, and also in our understanding of how mathematics itself works. In the Middle Ages, this mathematical knowledge swept across western Europe via Arab traders. At first it was called dangerous Saracen magic and considered the Devil's work, but it wasn't long before merchants and bankers saw how handy this magic was, and used it to develop tools likedouble-entry bookkeeping. Zero quickly became an essential part of increasingly sophisticated equations, and with the invention of calculus, one could say it was a linchpin of the scientific revolution. And now even deeper layers of this thing that is nothing are coming to light: our computers speakonly in zeros and ones, and modern mathematics shows that zero alone can be made to generate everything.Robert Kaplan serves up all this history with immense zest and humor; his writing is full of anecdotes and asides, and quotations from Shakespeare to Wallace Stevens extend the book's context far beyond the scope of scientific specialists. For Kaplan, the history of zero is a lens for looking notonly into the evolution of mathematics but into very nature of human thought. He points out how the history of mathematics is a process of recursive abstraction: how once a symbol is created to represent an idea, that symbol itself gives rise to new operations that in turn lead to new ideas. Thebeauty of mathematics is that even though we invent it, we seem to be discovering something that already exists.The joy of that discovery shines from Kaplan's pages, as he ranges from Archimedes to Einstein, making fascinating connections between mathematical insights from every age and culture. A tour de force of science history, The Nothing That Is takes us through the hollow circle that leads to infinity.

Proofs from the Book, 3e


Martin Aigner - 1998
    Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."

When Einstein Walked with Gödel: Excursions to the Edge of Thought


Jim Holt - 2018
    With his trademark clarity and humor, Holt probes the mysteries of quantum mechanics, the quest for the foundations of mathematics, and the nature of logic and truth. Along the way, he offers intimate biographical sketches of celebrated and neglected thinkers, from the physicist Emmy Noether to the computing pioneer Alan Turing and the discoverer of fractals, Benoit Mandelbrot. Holt offers a painless and playful introduction to many of our most beautiful but least understood ideas, from Einsteinian relativity to string theory, and also invites us to consider why the greatest logician of the twentieth century believed the U.S. Constitution contained a terrible contradiction--and whether the universe truly has a future.