From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy

    He constructed a fleet of customized unicycles and a flamethrowing trumpet, outfoxed Vegas casinos, and built juggling robots. He also wrote the seminal text of the digital revolution, which has been called “the Magna Carta of the Information Age.” His discoveries would lead contemporaries to compare him to Albert Einstein and Isaac Newton. His work anticipated by decades the world we’d be living in today—and gave mathematicians and engineers the tools to bring that world to pass.In this elegantly written, exhaustively researched biography, Jimmy Soni and Rob Goodman reveal Claude Shannon’s full story for the first time. It’s the story of a small-town Michigan boy whose career stretched from the era of room-sized computers powered by gears and string to the age of Apple. It’s the story of the origins of our digital world in the tunnels of MIT and the “idea factory” of Bell Labs, in the “scientists’ war” with Nazi Germany, and in the work of Shannon’s collaborators and rivals, thinkers like Alan Turing, John von Neumann, Vannevar Bush, and Norbert Wiener.And it’s the story of Shannon’s life as an often reclusive, always playful genius. With access to Shannon’s family and friends, A Mind at Play brings this singular innovator and creative genius to life.

    Now Wright attempts something even more ambitious: explaining the direction of evolution and human history–and discerning where history will lead us next.In Nonzero: The Logic of Human Destiny, Wright asserts that, ever since the primordial ooze, life has followed a basic pattern. Organisms and human societies alike have grown more complex by mastering the challenges of internal cooperation. Wright's narrative ranges from fossilized bacteria to vampire bats, from stone-age villages to the World Trade Organization, uncovering such surprises as the benefits of barbarian hordes and the useful stability of feudalism. Here is history endowed with moral significance–a way of looking at our biological and cultural evolution that suggests, refreshingly, that human morality has improved over time, and that our instinct to discover meaning may itself serve a higher purpose. Insightful, witty, profound, Nonzero offers breathtaking implications for what we believe and how we adapt to technology's ongoing transformation of the world.From the Trade Paperback edition.

    He turns out to be a bird who discusses maths with anyone who will listen. So when Mr Ruche learns of his friend's mysterious death in the rainforests of Brazil he decides that with the parrot's help he will use these books to teach Max and his twin brother and sister the mysteries and wonders of numbers and shapes.But soon it becomes clear that Mr Ruche has inherited the library for reasons other than pure enlightenment, and before he knows it the household are caught up in a race to prevent the vital theorems falling into the wrong hands.Charming, fresh, with a narrative which races along, the novel takes the reader on a delightful journey through the history of mathematics.

    Peter Bernstein has written a comprehensive history of man's efforts to understand risk and probability, beginning with early gamblers in ancient Greece, continuing through the 17th-century French mathematicians Pascal and Fermat and up to modern chaos theory. Along the way he demonstrates that understanding risk underlies everything from game theory to bridge-building to winemaking.

    Two books bound as one.

     Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before He made the world, he wastold: Preparing hell for people who ask questions like that. A Brief History of the Paradox takes a close look at questions like that and the philosophers who have asked them, beginning with the folk riddles that inspired Anaximander to erect the first metaphysical system and ending with suchthinkers as Lewis Carroll, Ludwig Wittgenstein, and W.V. Quine. Organized chronologically, the book is divided into twenty-four chapters, each of which pairs a philosopher with a major paradox, allowing for extended consideration and putting a human face on the strategies that have been taken towardthese puzzles. Readers get to follow the minds of Zeno, Socrates, Aquinas, Ockham, Pascal, Kant, Hegel, and many other major philosophers deep inside the tangles of paradox, looking for, and sometimes finding, a way out. Filled with illuminating anecdotes and vividly written, A Brief History of the Paradox will appeal to anyone who finds trying to answer unanswerable questions a paradoxically pleasant endeavor.

    By 1949, Godel had produced a remarkable proof: In any universe described by the Theory of Relativity, time cannot exist. Einstein endorsed this result reluctantly but he could find no way to refute it, since then, neither has anyone else. Yet cosmologists and philosophers alike have proceeded as if this discovery was never made. In A World Without Time, Palle Yourgrau sets out to restore Godel to his rightful place in history, telling the story of two magnificent minds put on the shelf by the scientific fashions of their day, and attempts to rescue the brilliant work they did together.

    Today Nash's beautiful math has become a universal language for research in the social sciences and has infiltrated the realms of evolutionary biology, neuroscience, and even quantum physics. John Nash won the 1994 Nobel Prize in economics for pioneering research published in the 1950s on a new branch of mathematics known as game theory. At the time of Nash's early work, game theory was briefly popular among some mathematicians and Cold War analysts. But it remained obscure until the 1970s when evolutionary biologists began applying it to their work. In the 1980s economists began to embrace game theory. Since then it has found an ever expanding repertoire of applications among a wide range of scientific disciplines. Today neuroscientists peer into game players' brains, anthropologists play games with people from primitive cultures, biologists use games to explain the evolution of human language, and mathematicians exploit games to better understand social networks. A common thread connecting much of this research is its relevance to the ancient quest for a science of human social behavior, or a Code of Nature, in the spirit of the fictional science of psychohistory described in the famous Foundation novels by the late Isaac Asimov. In A Beautiful Math, acclaimed science writer Tom Siegfried describes how game theory links the life sciences, social sciences, and physical sciences in a way that may bring Asimov's dream closer to reality.

    s/t: Plato's original story of the lost city, continent, empire

    Inspired by and expanding on a series of lectures presented by Leonard Peikoff, David Harriman presents a fascinating answer to the problem of induction-the epistemological question of how we can know the truth of inductive generalizations.Ayn Rand presented her revolutionary theory of concepts in her book Introduction to Objectivist Epistemology. As Dr. Peikoff subsequently explored the concept of induction, he sought out David Harriman, a physicist who had taught philosophy, for his expert knowledge of the scientific discovery process.Here, Harriman presents the result of a collaboration between scientist and philosopher. Beginning with a detailed discussion of the role of mathematics and experimentation in validating generalizations in physics-looking closely at the reasoning of scientists such as Galileo, Kepler, Newton, Lavoisier, and Maxwell-Harriman skillfully argues that the inductive method used in philosophy is in principle indistinguishable from the method used in physics.

    Illustrations.

    It used to be that to diagnose an illness, interpret legal documents, analyze foreign policy, or write a newspaper article you needed a human being with specific skills—and maybe an advanced degree or two. These days, high-level tasks are increasingly being handled by algorithms that can do precise work not only with speed but also with nuance. These “bots” started with human programming and logic, but now their reach extends beyond what their creators ever expected. In this fascinating, frightening book, Christopher Steiner tells the story of how algorithms took over—and shows why the “bot revolution” is about to spill into every aspect of our lives, often silently, without our knowledge. The May 2010 “Flash Crash” exposed Wall Street’s reliance on trading bots to the tune of a 998-point market drop and $1 trillion in vanished market value. But that was just the beginning. In Automate This, we meet bots that are driving cars, penning haiku, and writing music mistaken for Bach’s. They listen in on our customer service calls and figure out what Iran would do in the event of a nuclear standoff. There are algorithms that can pick out the most cohesive crew of astronauts for a space mission or identify the next Jeremy Lin. Some can even ingest statistics from baseball games and spit out pitch-perfect sports journalism indistinguishable from that produced by humans. The interaction of man and machine can make our lives easier. But what will the world look like when algorithms control our hospitals, our roads, our culture, and our national security? What hap­pens to businesses when we automate judgment and eliminate human instinct? And what role will be left for doctors, lawyers, writers, truck drivers, and many others?  Who knows—maybe there’s a bot learning to do your job this minute.

    Petr Beckmann holds up this mirror, giving the background of the times when pi made progress -- and also when it did not, because science was being stifled by militarism or religious fanaticism.

    Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).