Gödel's Proof


Ernest Nagel - 1958
    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

Logicomix: An Epic Search for Truth


Apostolos Doxiadis - 2009
     This graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, he crosses paths with thinkers like Gottlob Frege, David Hilbert & Kurt Gödel, & finds a passionate student in Ludwig Wittgenstein. But his most ambitious goal—to establish unshakable logical foundations of mathematics—continues to loom before him. Thru love & hate, peace & war, he persists in the mission threatening to claim both his career & happiness, finally driving him to the brink of insanity. This story is at the same time a historical novel & an accessible explication of some of the biggest ideas of mathematics & modern philosophy. With rich characterizations & atmospheric artwork, it spins the pursuit of such ideas into a satisfying tale. Probing, layered, the book throws light on Russell’s inner struggles while setting them in the context of the timeless questions he tried to answer. At its heart, Logicomix is a story about the conflict between ideal rationality & the flawed fabric of reality.

The Beginning of Infinity: Explanations That Transform the World


David Deutsch - 2011
    Taking us on a journey through every fundamental field of science, as well as the history of civilization, art, moral values, and the theory of political institutions, Deutsch tracks how we form new explanations and drop bad ones, explaining the conditions under which progress—which he argues is potentially boundless—can and cannot happen. Hugely ambitious and highly original, The Beginning of Infinity explores and establishes deep connections between the laws of nature, the human condition, knowledge, and the possibility for progress.

A Beginner's Guide to Constructing the Universe: The Mathematical Archetypes of Nature, Art, and Science


Michael S. Schneider - 1994
    This is a new view of mathematics, not the one we learned at school but a comprehensive guide to the patterns that recur through the universe and underlie human affairs. A Beginner's Guide to Constructing, the Universe shows you: Why cans, pizza, and manhole covers are round.Why one and two weren't considered numbers by the ancient Greeks.Why squares show up so often in goddess art and board games.What property makes the spiral the most widespread shape in nature, from embryos and hair curls to hurricanes and galaxies. How the human body shares the design of a bean plant and the solar system. How a snowflake is like Stonehenge, and a beehive like a calendar. How our ten fingers hold the secrets of both a lobster a cathedral, and much more.

Mathematician's Delight


W.W. Sawyer - 1943
    Many people regard mathematicians as a race apart, possessed of almost supernatural powers. While this is very flattering for successful mathematicians, it is very bad for those who, for one reason or another, are attempting to learn the subject.'W.W. Sawyer's deep understanding of how we learn and his lively, practical approach have made this an ideal introduction to mathematics for generations of readers. By starting at the level of simple arithmetic and algebra and then proceeding step by step through graphs, logarithms and trigonometry to calculus and the dizzying world of imaginary numbers, the book takes the mystery out of maths. Throughout, Sawyer reveals how theory is subordinate to the real-life applications of mathematics - the Pyramids were built on Euclidean principles three thousand years before Euclid formulated them - and celebrates the sheer intellectual stimulus of mathematics at its best.

Six Easy Pieces: Essentials of Physics By Its Most Brilliant Teacher


Richard P. Feynman - 1995
    This set couples a book containing the six easiest chapters from Richard P. Feynman's landmark work, Lectures on Physics—specifically designed for the general, non-scientist reader—with the actual recordings of the late, great physicist delivering the lectures on which the chapters are based. Nobel Laureate Feynman gave these lectures just once, to a group of Caltech undergraduates in 1961 and 1962, and these newly released recordings allow you to experience one of the Twentieth Century's greatest minds—as if you were right there in the classroom.

The Heart of Mathematics: An Invitation to Effective Thinking


Edward B. Burger - 1999
    In this new, innovative overview textbook, the authors put special emphasis on the deep ideas of mathematics, and present the subject through lively and entertaining examples, anecdotes, challenges and illustrations, all of which are designed to excite the student's interest. The underlying ideas include topics from number theory, infinity, geometry, topology, probability and chaos theory. Throughout the text, the authors stress that mathematics is an analytical way of thinking, one that can be brought to bear on problem solving and effective thinking in any field of study.

E=mc²: A Biography of the World's Most Famous Equation


David Bodanis - 2000
    Just about everyone has at least heard of Albert Einstein's formulation of 1905, which came into the world as something of an afterthought. But far fewer can explain his insightful linkage of energy to mass. David Bodanis offers an easily grasped gloss on the equation. Mass, he writes, "is simply the ultimate type of condensed or concentrated energy," whereas energy "is what billows out as an alternate form of mass under the right circumstances." Just what those circumstances are occupies much of Bodanis's book, which pays homage to Einstein and, just as important, to predecessors such as Maxwell, Faraday, and Lavoisier, who are not as well known as Einstein today. Balancing writerly energy and scholarly weight, Bodanis offers a primer in modern physics and cosmology, explaining that the universe today is an expression of mass that will, in some vastly distant future, one day slide back to the energy side of the equation, replacing the "dominion of matter" with "a great stillness"--a vision that is at once lovely and profoundly frightening. Without sliding into easy psychobiography, Bodanis explores other circumstances as well; namely, Einstein's background and character, which combined with a sterling intelligence to afford him an idiosyncratic view of the way things work--a view that would change the world. --Gregory McNamee

Everything and More: A Compact History of Infinity


David Foster Wallace - 2003
    Now he brings his considerable talents to the history of one of math's most enduring puzzles: the seemingly paradoxical nature of infinity.Is infinity a valid mathematical property or a meaningless abstraction? The nineteenth-century mathematical genius Georg Cantor's answer to this question not only surprised him but also shook the very foundations upon which math had been built. Cantor's counterintuitive discovery of a progression of larger and larger infinities created controversy in his time and may have hastened his mental breakdown, but it also helped lead to the development of set theory, analytic philosophy, and even computer technology.Smart, challenging, and thoroughly rewarding, Wallace's tour de force brings immediate and high-profile recognition to the bizarre and fascinating world of higher mathematics.

Discrete Mathematics


Richard Johnsonbaugh - 1984
    Focused on helping students understand and construct proofs and expanding their mathematical maturity, this best-selling text is an accessible introduction to discrete mathematics. Johnsonbaugh's algorithmic approach emphasizes problem-solving techniques. The Seventh Edition reflects user and reviewer feedback on both content and organization.

Rock, Paper, Scissors: Game Theory in Everyday Life


Len Fisher - 2000
    Len Fisher turns his attention to the science of cooperation in his lively and thought-provoking book. Fisher shows how the modern science of game theory has helped biologists to understand the evolution of cooperation in nature, and investigates how we might apply those lessons to our own society. In a series of experiments that take him from the polite confines of an English dinner party to crowded supermarkets, congested Indian roads, and the wilds of outback Australia, not to mention baseball strategies and the intricacies of quantum mechanics, Fisher sheds light on the problem of global cooperation. The outcomes are sometimes hilarious, sometimes alarming, but always revealing. A witty romp through a serious science, Rock, Paper, Scissors will both teach and delight anyone interested in what it what it takes to get people to work together.

The Information: A History, a Theory, a Flood


James Gleick - 2011
    The story of information begins in a time profoundly unlike our own, when every thought and utterance vanishes as soon as it is born. From the invention of scripts and alphabets to the long-misunderstood talking drums of Africa, Gleick tells the story of information technologies that changed the very nature of human consciousness. He provides portraits of the key figures contributing to the inexorable development of our modern understanding of information: Charles Babbage, the idiosyncratic inventor of the first great mechanical computer; Ada Byron, the brilliant and doomed daughter of the poet, who became the first true programmer; pivotal figures like Samuel Morse and Alan Turing; and Claude Shannon, the creator of information theory itself. And then the information age arrives. Citizens of this world become experts willy-nilly: aficionados of bits and bytes. And we sometimes feel we are drowning, swept by a deluge of signs and signals, news and images, blogs and tweets. The Information is the story of how we got here and where we are heading.

The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory


Brian Greene - 1999
    Brian Greene, one of the world's leading string theorists, peels away the layers of mystery surrounding string theory to reveal a universe that consists of eleven dimensions, where the fabric of space tears and repairs itself, and all matter—from the smallest quarks to the most gargantuan supernovas—is generated by the vibrations of microscopically tiny loops of energy.Today physicists and mathematicians throughout the world are feverishly working on one of the most ambitious theories ever proposed: superstring theory. String theory, as it is often called, is the key to the Unified Field Theory that eluded Einstein for more than thirty years. Finally, the century-old antagonism between the large and the small-General Relativity and Quantum Theory-is resolved. String theory proclaims that all of the wondrous happenings in the universe, from the frantic dancing of subatomic quarks to the majestic swirling of heavenly galaxies, are reflections of one grand physical principle and manifestations of one single entity: microscopically tiny vibrating loops of energy, a billionth of a billionth the size of an atom. In this brilliantly articulated and refreshingly clear book, Greene relates the scientific story and the human struggle behind twentieth-century physics' search for a theory of everything.Through the masterful use of metaphor and analogy, The Elegant Universe makes some of the most sophisticated concepts ever contemplated viscerally accessible and thoroughly entertaining, bringing us closer than ever to understanding how the universe works.

Elementary Analysis: The Theory of Calculus


Kenneth A. Ross - 1980
    It is highly recommended for anyone planning to study advanced analysis, e.g., complex variables, differential equations, Fourier analysis, numerical analysis, several variable calculus, and statistics. It is also recommended for future secondary school teachers. A limited number of concepts involving the real line and functions on the real line are studied. Many abstract ideas, such as metric spaces and ordered systems, are avoided. The least upper bound property is taken as an axiom and the order properties of the real line are exploited throughout. A thorough treatment of sequences of numbers is used as a basis for studying standard calculus topics. Optional sections invite students to study such topics as metric spaces and Riemann-Stieltjes integrals.

Concrete Mathematics: A Foundation for Computer Science


Ronald L. Graham - 1988
    "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems."