"From the author of Steve Jobs and other bestselling biographies, this is the astonishingly intimate story of the most fascinating and controversial innovator of our era--a rule-breaking visionary who helped to lead the world into the era of electric vehicles, private space exploration, and artificial intelligence. Oh, and took over Twitter"-- Provided by publisher.

"The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor Hilbert, and Gödel, before turning to Turing. Turing's analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes--the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing. Bringing the material up to date, this revised edition features a much expanded version of the discussion of artificial intelligence and current technology, and the way it confirms the significance of Turing's pencil-and-paper universal machine with infinite memory and unlimited time for computations. More is written about the events at Princeton involving Alonzo Church (who was the doctoral advisor of Davis as well as Turing), Stephen Kleene, and Kurt Gödel that led Turing to come there. Finally, further exploration of the relationship between Kronecker and Cantor can also be found" -- From the publisher.

Using examples from a wide variety of conflicts, Lawrence Freedman shows that successful military command depends on the ability not only to use armed forces effectively but also to understand the political context in which they are operating. Command in war is about forging effective strategies and implementing them, making sure that orders are appropriate, well-communicated, and then obeyed. But it is also an intensely political process. This is largely because how wars are fought depends to a large extent on how their aims are set. It is also because commanders in one realm must possess the ability to work with other command structures, including those of other branches of the armed forces and allies. In Command, Lawrence Freedman explores the importance of political as well as operational considerations in command with a series of eleven vivid case studies, all taken from the period after 1945. Over this period, the risks of nuclear escalation led to a shift away from great power confrontations and towards civil wars, and advances in communication technologies made it easier for higher-level commanders to direct their subordinates. Freedman covers defeats as well as victories. Pakistani generals tried to avoid surrender as they were losing the eastern part of their country to India in 1971. Iraq's Saddam Hussein turned his defeats into triumphant narratives of victory. Osama bin Laden escaped the Americans in Afghanistan in 2001. The UK struggled as a junior partner to the US in Iraq after 2003. We come across insubordinate generals, such as Israel's Arik Sharon, and those in the French army in Algeria, so frustrated with their political leadership that they twice tried to change it. At the other end of the scale, Che Guevara in Congo in 1966 and Igor Girkin in Ukraine in 2014 both tried to spark local wars to suit their grandiose objectives. Freedman ends the book with a meditation on the future of command in a world that is becoming increasingly reliant on technologies like artificial intelligence. A wide-ranging and insightful history of the changing nature of command in the postwar era, this will stand as a definitive account of a foundational concept in both military affairs and politics.

A "skillful and literate" ( New York Times Book Review ) biography of the persecuted genius who helped create the modern computer. To solve one of the great mathematical problems of his day, Alan Turing proposed an imaginary computer. Then, attempting to break a Nazi code during World War II, he successfully designed and built one, thus ensuring the Allied victory. Turing became a champion of artificial intelligence, but his work was cut short. As an openly gay man at a time when homosexuality was illegal in England, he was convicted and forced to undergo a humiliating "treatment" that may have led to his suicide. With a novelist's sensitivity, David Leavitt portrays Turing in all his humanity?his eccentricities, his brilliance, his fatal candor?and elegantly explains his work and its implications.

A crucial guide to life before—and after—Tinder, IVF, and robots. What will happen to our notions of marriage and parenthood as reproductive technologies increasingly allow for newfangled ways of creating babies? What will happen to our understanding of gender as medical advances enable individuals to transition from one set of sexual characteristics to another, or to remain happily perched in between? What will happen to love and sex and romance as our relationships migrate from the real world to the Internet? Can people fall in love with robots? Will they? In short, what will happen to our most basic notions of humanity as we entangle our lives and emotions with the machines we have created? In Work Mate Marry Love , Harvard Business School professor and former Barnard College president Debora L. Spar offers an incisive and provocative account of how technology has transformed our intimate lives in the past, and how it will do so again in the future. Surveying the course of history, she shows how marriage as we understand it resulted from the rise of agriculture, and that the nuclear family emerged with the industrial revolution. In their day, the street light, the car, and later the pill all upended courtship and sex. Now, as we enter an era of artificial intelligence and robots, how will our deepest feelings and attachments evolve? In the past, the prevailing modes of production produced a world dominated by heterosexual, mostly-monogamous, two-parent families. In the future, however, these patterns are almost certain to be reshaped, creating entirely new norms for sex and romance, and for the construction of families and the raising of children. Steering clear of both techno-euphoria and alarmism, Spar offers a bold and inclusive vision of how our lives might be changed for the better.

What’s the most useful thing you could know about your own life? In this era-defining book, developed from her groundbreaking Radio 4 essay series, Naomi Alderman turns her boundless curiosity and incisive thinking to a question that affects us all: how do we understand, and navigate, the epoch we’re living through? She calls this epoch the Information Crisis. The internet has flooded us with more knowledge, opinions, ideas, opportunities, as well as verbal attacks and misinformation, than ever before. It lets us learn more quickly and also spread falsehood more quickly, it brings us together and also divides us in new ways, it is now the lens through which we perceive and understand the world. There is no going back. But we have been here before. In fact, this is humanity’s third information crisis. The first, the invention of writing 5,000 years ago, and the second, the invention of the printing press 600 years ago, drastically reshaped our perceptions, interactions and mental landscapes in ways that feel acutely familiar. Overwhelmed by information, people become afraid and angry, unsettled and distressed, as well as more knowledgeable, educated and curious. By looking at those previous information crises, both the turmoil and the advances, Alderman asks what we can learn from the past to better understand our present, and prepare for our future. Drawing on the work of philosophers and historians, Don’t Burn Anyone at the Stake Today explores how new technology opens up new ways of being and helps us chart a way forward (once again), through the turbulent seas of information overload.[Bokinfo]

Preamble The emergence of machine intelligence during the second half of the twentieth century is the most important development in the evolution of this planet since the origin of life two to three thousand million years ago. The emergence of machine intelligence within the matrix of human society is analogous to the emergence, three billion years ago, of complex, self-replicating molecules within the matrix of an energy-rich molecular soup - the first step in the evolution of life. The emergence of machine intelligence within a human social context has set into motion irreversible processes which will lead to an evolutionary discontinuity. Just as the emergence of "Life" represented a qualitatively different form of organisation of matter and energy, so will pure "Intelligence" represent a qualitatively different form of organisation of matter, energy and life. The emergence of machine intelligence presages the progression of the human species as we know it, into a form which, at present, we would not recognise as "human". As Forsyth and Naylor (1985) have pointed out: "Humanity has opened two Pandora's boxes at the same time, one labelled genetic engineering, the other labelled knowledge engineering. What we have let out is not entirely clear, but it is reasonable to hazard a guess that it contains the seeds of our successors".

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. • The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights