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 breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. 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 computer unlike other inventions is universal; you can use a computer for many tasks: writing, composing music, designing buildings, creating movies, inhabiting virtual worlds, communicating... This popular science history isn't just about technology but introduces the pioneers: Babbage, Turing, Apple's Wozniak and Jobs, Bill Gates, Tim Berners-Lee, Mark Zuckerberg. This story is about people and the changes computers have caused. In the future ubiquitous computing, AI, quantum and molecular computing could even make us immortal. The computer has been a radical invention. In less than a single human life computers are transforming economies and societies like no human invention before.

The history of the computer is entwined with that of the modern world and most famously with the life of one man, Alan Turing. How did this device, which first appeared a mere 50 years ago, come to structure and dominate our lives so totally? An enlightening mini-biography of a brilliant but troubled man.

A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix completion procedure and termination proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications. The book is self-contained and suitable both as a textbook for graduate courses and as a reference for researchers.

Universal Usability is the concept of designing computer interfaces that are easy for all users to utilize. It is a concept which many decry as elusive, impossible, or impractical, but this book, which addresses usability issues for a number of diverse user groups, proves that there is no problem in interface design that cannot be solved, or at least improved upon. Individuals with cognitive, motor, and perceptual impairments, as well as older, younger, and economically disadvantaged users, face a variety of complex challenges when interacting with computers. However, with user involvement, good design practice, and thorough testing, computer interfaces can be successfully developed for any user population. This book, featuring key chapters by Human-Computer Interaction luminaries such as Jonathan Lazar, Ron Baecker, Allison Druin, Ben Shneiderman, Brad Myers and Jenny Preece, examines innovative and groundbreaking research and practice, and provides a practical overview of a number of successful projects which have addressed a need for these specific user populations. Chapters in this book address topics including age diversity, economic diversity, language diversity, visual impairment, and spinal cord injuries. Several of these trailblazing projects in the book are amongst the first to examine usability issues for users with Down Syndrome, users with Amnesia, users with Autism Spectrum Disorders, and users with Alzheimer's Disease, and coverage extends to projects where multiple categories of needs are addressed. These chapters represent real-world projects, being carried out on different continents. The authors of the chapters also represent diversity—interface researchers and software developers in university, industrial, and government settings. In the practical spirit of the book, chapter authors provide guidelines and suggestions for those attempting similar projects, as well as implications for different stakeholders such as policymakers, researchers, and designers. Ideal for students of HCI and User Interface Design, and essential reading for usability practitioners, this fascinating collection of real-world projects demonstrates that computer interfaces can truly be designed to meet the needs of any category of user.