The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

    In Turing’s Cathedral, George Dyson focuses on a small group of men and women, led by John von Neumann at the Institute for Advanced Study in Princeton, New Jersey, who built one of the first computers to realize Alan Turing’s vision of a Universal Machine. Their work would break the distinction between numbers that mean things and numbers that do things—and our universe would never be the same. Using five kilobytes of memory (the amount allocated to displaying the cursor on a computer desktop of today), they achieved unprecedented success in both weather prediction and nuclear weapons design, while tackling, in their spare time, problems ranging from the evolution of viruses to the evolution of stars. Dyson’s account, both historic and prophetic, sheds important new light on how the digital universe exploded in the aftermath of World War II. The proliferation of both codes and machines was paralleled by two historic developments: the decoding of self-replicating sequences in biology and the invention of the hydrogen bomb. It’s no coincidence that the most destructive and the most constructive of human inventions appeared at exactly the same time.  How did code take over the world? In retracing how Alan Turing’s one-dimensional model became John von Neumann’s two-dimensional implementation, Turing’s Cathedral offers a series of provocative suggestions as to where the digital universe, now fully three-dimensional, may be heading next.

    A remarkable pictorial discussion of the curved space-time we call home, it achieves even greater impact through the use of 141 excellent illustrations. This is the first sustained visual account of many important topics in relativity theory that up till now have only been treated separately.Finding a perfect analogy in the situation of the geometrical characters in Flatland, Professor Rucker continues the adventures of the two-dimensional world visited by a three-dimensional being to explain our three-dimensional world in terms of the fourth dimension. Following this adventure into the fourth dimension, the author discusses non-Euclidean geometry, curved space, time as a higher dimension, special relativity, time travel, and the shape of space-time. The mathematics is sound throughout, but the casual reader may skip those few sections that seem too purely mathematical and still follow the line of argument. Readable and interesting in itself, the annotated bibliography is a valuable guide to further study.Professor Rucker teaches mathematics at the State University of New York in Geneseo. Students and laymen will find his discussion to be unusually stimulating. Experienced mathematicians and physicists will find a great deal of original material here and many unexpected novelties. Annotated bibliography. 44 problems.

    That’s a mistake, Tim Harford says in The Data Detective. We shouldn’t be suspicious of statistics—we need to understand what they mean and how they can improve our lives: they are, at heart, human behavior seen through the prism of numbers and are often “the only way of grasping much of what is going on around us.” If we can toss aside our fears and learn to approach them clearly—understanding how our own preconceptions lead us astray—statistics can point to ways we can live better and work smarter.As “perhaps the best popular economics writer in the world” (New Statesman), Tim Harford is an expert at taking complicated ideas and untangling them for millions of readers. In The Data Detective, he uses new research in science and psychology to set out ten strategies for using statistics to erase our biases and replace them with new ideas that use virtues like patience, curiosity, and good sense to better understand ourselves and the world. As a result, The Data Detective is a big-idea book about statistics and human behavior that is fresh, unexpected, and insightful.

    He shows that the scientists of ancient and medieval times not only did not understand what we understand about the world—they did not understand what there is to understand, or how to understand it. Yet over the centuries, through the struggle to solve such mysteries as the curious backward movement of the planets and the rise and fall of the tides, the modern discipline of science eventually emerged. Along the way, Weinberg examines historic clashes and collaborations between science and the competing spheres of religion, technology, poetry, mathematics, and philosophy.An illuminating exploration of the way we consider and analyze the world around us, To Explain the World is a sweeping, ambitious account of how difficult it was to discover the goals and methods of modern science, and the impact of this discovery on human knowledge and development.

    But ask what it means, and the result will be a brawl. For a century, most physicists have followed Niels Bohr's Copenhagen interpretation and dismissed questions about the reality underlying quantum physics as meaningless. A mishmash of solipsism and poor reasoning, Copenhagen endured, as Bohr's students vigorously protected his legacy, and the physics community favored practical experiments over philosophical arguments. As a result, questioning the status quo long meant professional ruin. And yet, from the 1920s to today, physicists like John Bell, David Bohm, and Hugh Everett persisted in seeking the true meaning of quantum mechanics. What Is Real? is the gripping story of this battle of ideas and of the courageous scientists who dared to stand up for truth.

    In this masterfully written and brilliantly informed work of scientific history and explanation, Dr. Thorne, the Feynman Professor of Theoretical Physics at Caltech, leads his readers through an elegant, always human, tapestry of interlocking themes, coming finally to a uniquely informed answer to the great question: what principles control our universe and why do physicists think they know the things they think they know? Stephen Hawking's A Brief History of Time has been one of the greatest best-sellers in publishing history. Anyone who struggled with that book will find here a more slowly paced but equally mind-stretching experience, with the added fascination of a rich historical and human component.

     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.

    As we dream with him, we are taken further and further into mathematical theory, where ideas eventually take flight, until everyone--from those who fumble over fractions to those who solve complex equations in their heads--winds up marveling at what numbers can do.Hans Magnus Enzensberger is a true polymath, the kind of superb intellectual who loves thinking and marshals all of his charm and wit to share his passions with the world. In The Number Devil, he brings together the surreal logic of Alice in Wonderland and the existential geometry of Flatland with the kind of math everyone would love, if only they had a number devil to teach them.

    The era covered by this book, 1950 to 1990, was surely one of the golden ages of science as well as the American university.Cherished myths are debunked along the way as Gian-Carlo Rota takes pleasure in portraying, warts and all, some of the great scientific personalities of the period Stanislav Ulam (who, together with Edward Teller, signed the patent application for the hydrogen bomb), Solomon Lefschetz (Chairman in the 50s of the Princeton mathematics department), William Feller (one of the founders of modern probability theory), Jack Schwartz (one of the founders of computer science), and many others.Rota is not afraid of controversy. Some readers may even consider these essays indiscreet. After the publication of the essay "The Pernicious Influence of Mathematics upon Philosophy" (reprinted six times in five languages) the author was blacklisted in analytical philosophy circles. Indiscrete Thoughts should become an instant classic and the subject of debate for decades to come."Read Indiscrete Thoughts for its account of the way we were and what we have become; for its sensible advice and its exuberant rhetoric."--The Mathematical Intelligencer"Learned, thought-provoking, politically incorrect, delighting in paradox, and likely to offend but everywhere readable and entertaining."--The American Mathematical Monthly"It is about mathematicians, the way they think, and the world in which the live. It is 260 pages of Rota calling it like he sees it... Readers are bound to find his observations amusing if not insightful. Gian-Carlo Rota has written the sort of book that few mathematicians could write. What will appeal immediately to anyone with an interest in research mathematics are the stories he tells about the practice of modern mathematics."--MAA Reviews"

    “A marvelously readable and level-headed explanation of basic science and how it relates to the issues.” —John Tierney, New York TimesThis is “must-have” information for all presidents—and citizens—of the twenty-first century: Is Iran’s nascent nuclear capability a genuine threat to the West? Are biochemical weapons likely to be developed by terrorists? Are there viable alternatives to fossil fuels that should be nurtured and supported by the government? Should nuclear power be encouraged? Can global warming be stopped?

    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.

    This wonderfully accessible book illuminates the professional and personal paths that led him to this remarkable conclusion.All interactions between particles in the universe, Lloyd explains, convey not only energy but also information—in other words, particles not only collide, they compute. And what is the entire universe computing, ultimately? “Its own dynamical evolution,” he says. “As the computation proceeds, reality unfolds.”To elucidate his theory, Lloyd examines the history of the cosmos, posing questions that in other hands might seem unfathomably complex: How much information is there in the universe? What information existed at the moment of the Big Bang and what happened to it? How do quantum mechanics and chaos theory interact to create our world? Could we attempt to re-create it on a giant quantum computer? Programming the Universe presents an original and compelling vision of reality, revealing our world in an entirely new light.

    From the minds of the world's leading physicists there flowed a river of ideas that would transport mankind to the pinnacle of wonderment and to the very depths of human despair. This was a century that began with the certainties of absolute knowledge and ended with the knowledge of absolute uncertainty. It was a century in which physicists developed weapons with the capacity to destroy our reality, whilst at the same time denying us the possibility that we can ever properly comprehend it.Almost everything we think we know about the nature of our world comes from one theory of physics. This theory was discovered and refined in the first thirty years of the twentieth century and went on to become quite simply the most successful theory of physics ever devised. Its concepts underpin much of the twenty-first century technology that we have learned to take for granted. But its success has come at a price, for it has at the same time completely undermined our ability to make sense of the world at the level of its most fundamental constituents.Rejecting the fundamental elements of uncertainty and chance implied by quantum theory, Albert Einstein once famously declared that 'God does not play dice'. Niels Bohr claimed that anybody who is not shocked by the theory has not understood it. The charismatic American physicist Richard Feynman went further: he claimed that nobody understands it.This is quantum theory, and this book tells its story.Jim Baggott presents a celebration of this wonderful yet wholly disconcerting theory, with a history told in forty episodes -- significant moments of truth or turning points in the theory's development. From its birth in the porcelain furnaces used to study black body radiation in 1900, to the promise of stimulating new quantum phenomena to be revealed by CERN's Large Hadron Collider over a hundred years later, this is the extraordinary story of the quantum world.Oxford Landmark Science books are 'must-read' classics of modern science writing which have crystallized big ideas, and shaped the way we think.

    Today, that taboo is dead. The causal revolution, instigated by Judea Pearl and his colleagues, has cut through a century of confusion and established causality -- the study of cause and effect -- on a firm scientific basis. His work explains how we can know easy things, like whether it was rain or a sprinkler that made a sidewalk wet; and how to answer hard questions, like whether a drug cured an illness. Pearl's work enables us to know not just whether one thing causes another: it lets us explore the world that is and the worlds that could have been. It shows us the essence of human thought and key to artificial intelligence. Anyone who wants to understand either needs The Book of Why.