The Universal Computer

The Road from Leibniz to Turing, Third Edition
Author: Martin Davis
Publisher: CRC Press
ISBN: 1351384813
Category: Mathematics
Page: 222
View: 8410
DOWNLOAD NOW »
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians.

The Universal Computer

The Road from Leibniz to Turing
Author: Martin Davis
Publisher: CRC Press
ISBN: 1466505206
Category: Computers
Page: 240
View: 1655
DOWNLOAD NOW »
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. 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, in this revised edition Davis discusses the success of the IBM Watson on Jeopardy, reorganizes the information on incompleteness, and adds information on Konrad Zuse. A distinguished prize-winning logician, Martin Davis has had a career of more than six decades devoted to the important interface between logic and computer science. His expertise, combined with his genuine love of the subject and excellent storytelling, make him the perfect person to tell this story.

The Universal Computer

The Road from Leibniz to Turing
Author: Martin Davis
Publisher: W. W. Norton & Company
ISBN: 9780393047851
Category: Computers
Page: 257
View: 6180
DOWNLOAD NOW »
Chronicles the history and development of computers and the software that makes them tick, explaining the core principles driving every calculation, stored record, and mouse click.

Business Research Methodology (With Cd)


Author: Srivastava
Publisher: Tata McGraw-Hill Education
ISBN: 1259081907
Category: Business
Page: 210
View: 7841
DOWNLOAD NOW »
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.

Engines of Logic

Mathematicians and the Origin of the Computer
Author: Martin Davis
Publisher: W. W. Norton & Company
ISBN: 9780393322293
Category: Computers
Page: 257
View: 9355
DOWNLOAD NOW »
A pioneer in computer development chronicles the history of the machine, and the software that makes it tick, elucidating the core principles driving every calculation, stored record, and mouse click. Originally published as The Universal Computer. Reprint.

Turing's Cathedral

The Origins of the Digital Universe
Author: George Dyson
Publisher: Pantheon
ISBN: 0375422773
Category: Science
Page: 401
View: 9406
DOWNLOAD NOW »
Documents the innovations of a group of eccentric geniuses who developed computer code in the mid-20th century as part of mathematician Alan Turin's theoretical universal machine idea, exploring how their ideas led to such developments as digital television, modern genetics and the hydrogen bomb.

The Undecidable

Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
Author: Martin Davis
Publisher: Courier Corporation
ISBN: 9780486432281
Category: Mathematics
Page: 413
View: 3804
DOWNLOAD NOW »
"A valuable collection both for original source material as well as historical formulations of current problems." — The Review of Metaphysics "Much more than a mere collection of papers. A valuable addition to the literature." — Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field , this classic reference is ideally suited as a text for graduate and undergraduate courses in logic, philosophy, and foundations of mathematics. It is also appropriate for self-study. The text opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems. Supplementary items include corrections, emendations, and added commentaries by Godel, Church, and Kleene for this volume's original publication, along with a helpful commentary by the editor.

The Annotated Turing

A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Author: Charles Petzold
Publisher: John Wiley & Sons
ISBN: 0470229055
Category: Computers
Page: 372
View: 2306
DOWNLOAD NOW »
Provides an expansion of Turing's original paper, a brief look at his life, and information on the Turing machine and computability topics.

The Essential Turing


Author: Alan Mathison Turing
Publisher: Oxford University Press
ISBN: 0198250797
Category: Computers
Page: 613
View: 8986
DOWNLOAD NOW »
Lectures, scientific papers, top secret wartime material, correspondence, and broadcasts are introduced and set in context by Jack Copeland, Director of the Turing Archive for the History of Computing."--Jacket.

I Am a Strange Loop


Author: Douglas R. Hofstadter
Publisher: Basic Books
ISBN: 0465030785
Category: Philosophy
Page: 412
View: 600
DOWNLOAD NOW »
An original, endlessly thought-provoking, and controversial look at the nature of consciousness and identity argues that the key to understanding selves and consciousness is the "strange loop," a special kind of abstract feedback loop inhabiting our brains.

Worldviews

An Introduction to the History and Philosophy of Science
Author: Richard DeWitt
Publisher: John Wiley & Sons
ISBN: 144439276X
Category: Science
Page: 392
View: 1340
DOWNLOAD NOW »
Updated throughout and with three entirely new chapters, Worldviews: An Introduction to the History and Philosophy of Science, Second Edition furthers its reputation as the definitive introductory text on the historical developments and philosophical issues that inform our scientific view of the world around us. Represents an innovative introduction to the history and philosophy of science, designed especially for those coming to the subject for the first time Updated new edition features the addition of chapters focusing on scientific laws, evolutionary theory, and implications of evolution Covers the key historical developments and philosophical themes that have impacted our scientific view of the world around us Analyzes the transitions from the Aristotelian worldview to the Newtonian worldview to a new and currently developing worldview Explores challenges to the Western scientific worldview brought on by recent discoveries

The Advent of the Algorithm

The 300-Year Journey from an Idea to the Computer
Author: David Berlinski
Publisher: Houghton Mifflin Harcourt
ISBN: 9780156013918
Category: Computers
Page: 345
View: 8533
DOWNLOAD NOW »
Describes the invention of the algorithm, first theorized by Leibniz, and the dramatic implications of this mathematical discovery on the development of computer technology and the working of DNA.

1089 and All that : a Journey Into Mathematics


Author: D. J. Acheson
Publisher: Oxford University Press, USA
ISBN: 9780198516231
Category: Mathematics
Page: 178
View: 3329
DOWNLOAD NOW »
This excellent book, written by the established author David Acheson, makes mathematics accessible to everyone. Providing an entertaining and witty overview of the subject, the text includes several fascinating puzzles, and is accompanied by numerous illustrations and sketches by world famous cartoonists. This unusual book is one of the most readable explanations of mathematics available.

Darwin Among The Machines

The Evolution Of Global Intelligence
Author: George B. Dyson,B Dyson
Publisher: Basic Books
ISBN: 0465046975
Category: Science
Page: 304
View: 5469
DOWNLOAD NOW »
Darwin Among the Machines tells the story of humankind’s journey into the digital wilderness. Introducing a cast of familiar and not-so-familiar characters, historian of science George B. Dyson traces the course of the information revolution, illuminating the lives and work of visionaries—from Thomas Hobbes to John von Neumann—who foresaw the development of artificial intelligence, artificial life, and artificial mind. This profound and elegant book derives both its title and its outlook from Samuel Butler’s 1863 essay, “Darwin Among the Machines.” Observing the beginnings of miniaturization, self-reproduction, and telecommunication among machines, Butler predicted that nature’s intelligence, only temporarily subservient to technology, would resurface to claim our creations as her own. Updating Butler’s arguments, Dyson distills the historical record to chronicle the origins of digital telecommunications and the evolution of digital computers, beginning long before the time of Darwin and exploring the limits of Darwinian evolution to suggest what lies beyond. Weaving a cohesive narrative of his brilliant predecessors, Dyson constructs a straightforward, convincing, and occasionally frightening view of the evolution of mind in the global network, on a level transcending our own. Dyson concludes that we are in the midst of an experiment that echoes the prehistory of human intelligence and the origins of life. Just as the exchange of coded molecular instructions brought life as we know it to the early earth’s primordial soup, and as language and mind combined to form the culture in which we live, so, in the digital universe, are computer programs and worldwide networks combining to produce an evolutionary theater in which the distinctions between nature and technology are increasingly obscured. Nature, argues Dyson, is on the side of the machines.

Turing (A Novel about Computation)


Author: Christos H. Papadimitriou
Publisher: MIT Press
ISBN: 9780262250788
Category: Fiction
Page: 296
View: 9729
DOWNLOAD NOW »
Our hero is Turing, an interactive tutoring program and namesake (or virtual emanation?) of Alan Turing, World War II code breaker and father of computer science. In this unusual novel, Turing's idiosyncratic version of intellectual history from a computational point of view unfolds in tandem with the story of a love affair involving Ethel, a successful computer executive, Alexandros, a melancholy archaeologist, and Ian, a charismatic hacker. After Ethel (who shares her first name with Alan Turing's mother) abandons Alexandros following a sundrenched idyll on Corfu, Turing appears on Alexandros's computer screen to unfurl a tutorial on the history of ideas. He begins with the philosopher-mathematicians of ancient Greece -- "discourse, dialogue, argument, proof...can only thrive in an egalitarian society" -- and the Arab scholar in ninth-century Baghdad who invented algorithms; he moves on to many other topics, including cryptography and artificial intelligence, even economics and developmental biology. (These lessons are later critiqued amusingly and developed further in postings by a fictional newsgroup in the book's afterword.) As Turing's lectures progress, the lives of Alexandros, Ethel, and Ian converge in dramatic fashion, and the story takes us from Corfu to Hong Kong, from Athens to San Francisco -- and of course to the Internet, the disruptive technological and social force that emerges as the main locale and protagonist of the novel.Alternately pedagogical and romantic, Turing (A Novel about Computation) should appeal both to students and professionals who want a clear and entertaining account of the development of computation and to the general reader who enjoys novels of ideas.

Computation

Finite and Infinite Machines
Author: Marvin Lee Minsky
Publisher: Prentice Hall
ISBN: N.A
Category: Machine theory
Page: 317
View: 6179
DOWNLOAD NOW »


A universal history of computing

from the abacus to the quantum computer
Author: Georges Ifrah
Publisher: Wiley
ISBN: N.A
Category: Mathematics
Page: 410
View: 2160
DOWNLOAD NOW »
Traces computing from the development of the abacus, through the invention of the binary system, the introduction of mechanical and electronic computers, and projections of quantum computers.

The Quest for Artificial Intelligence


Author: Nils J. Nilsson
Publisher: Cambridge University Press
ISBN: 1139642820
Category: Computers
Page: N.A
View: 7559
DOWNLOAD NOW »
Artificial intelligence (AI) is a field within computer science that is attempting to build enhanced intelligence into computer systems. This book traces the history of the subject, from the early dreams of eighteenth-century (and earlier) pioneers to the more successful work of today's AI engineers. AI is becoming more and more a part of everyone's life. The technology is already embedded in face-recognizing cameras, speech-recognition software, Internet search engines, and health-care robots, among other applications. The book's many diagrams and easy-to-understand descriptions of AI programs will help the casual reader gain an understanding of how these and other AI systems actually work. Its thorough (but unobtrusive) end-of-chapter notes containing citations to important source materials will be of great use to AI scholars and researchers. This book promises to be the definitive history of a field that has captivated the imaginations of scientists, philosophers, and writers for centuries.

Ones and zeros

understanding Boolean algebra, digital circuits, and the logic of sets
Author: John Gregg
Publisher: Wiley-IEEE Press
ISBN: 9780780334267
Category: Computers
Page: 281
View: 566
DOWNLOAD NOW »
Mathematics Ones and Zeros Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets Ones and Zeros explains, in lay terms, Boolean algebra, the suprisingly simple system of mathematical logic used in digital computer circuitry. Anecdotal in style and often funny, Ones and Zeros follows the development of this logic system from its origins in Victorian England to its rediscovery in this century as the foundation of all modern computing machinery. Readers will learn about the interesting history of the development of symbolic logic in particular, and the often misunderstood process of mathematical invention and scientific discovery, in general. Ones and Zeros also features practical exercises with answers, real-world examples of digital circuit design, and a reading list. This fascinating look at the crucial technology of the twentieth century will be enjoyed by anyone who has a general interest in science, technology, and mathematics. Ones and Zeros will be of particular interest to software engineers who want to gain a comprehensive understanding of computer hardware. Outstanding features include: A history of mathematical logic An explanation of the logic of digital circuits Hands-on exercises and examples About the IEEE Press Understanding Science & Technology Series The IEEE Press Understanding Science & Technology Series treats important topics in science and technology in a simple and easy to understand manner. Designed expressly for the nonspecialist engineer, scientist, or technician, as well as the technologically curious, each volume stresses practical information over mathematical theorems and complicated derivations.

Computer

A History of the Information Machine
Author: Martin Campbell-Kelly
Publisher: Routledge
ISBN: 0429975007
Category: History
Page: 378
View: 9083
DOWNLOAD NOW »
Computer: A History of the Information Machine traces the history of the computer and shows how business and government were the first to explore its unlimited, information-processing potential. Old-fashioned entrepreneurship combined with scientific know-how inspired now famous computer engineers to create the technology that became IBM. Wartime needs drove the giant ENIAC, the first fully electronic computer. Later, the PC enabled modes of computing that liberated people from room-sized, mainframe computers.This third edition provides updated analysis on software and computer networking, including new material on the programming profession, social networking, and mobile computing. It expands its focus on the IT industry with fresh discussion on the rise of Google and Facebook as well as how powerful applications are changing the way we work, consume, learn, and socialize. Computer is an insightful look at the pace of technological advancement and the seamless way computers are integrated into the modern world. Through comprehensive history and accessible writing, Computer is perfect for courses on computer history, technology history, and information and society, as well as a range of courses in the fields of computer science, communications, sociology, and management.