The Annotated Turing

Download The Annotated Turing full books in PDF, epub, and Kindle. Read online The Annotated Turing ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

The Annotated Turing

Author : Charles Petzold
Publisher : John Wiley & Sons
ISBN 13 : 0470229055
Total Pages : 391 pages
Book Rating : 4.4/5 (72 download)

DOWNLOAD NOW!

Book Synopsis The Annotated Turing by : Charles Petzold

Download or read book The Annotated Turing written by Charles Petzold and published by John Wiley & Sons. This book was released on 2008-06-16 with total page 391 pages. Available in PDF, EPUB and Kindle. Book excerpt: Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming. The book expands Turing’s original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing’s statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others. Interwoven into the narrative are the highlights of Turing’s own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

Alan Turing: His Work and Impact

Author : S. Barry Cooper
Publisher : Elsevier
ISBN 13 : 0123870127
Total Pages : 944 pages
Book Rating : 4.1/5 (238 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing: His Work and Impact by : S. Barry Cooper

Download or read book Alan Turing: His Work and Impact written by S. Barry Cooper and published by Elsevier. This book was released on 2013-03-18 with total page 944 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews Affordable, key collection of the most significant papers by A.M. Turing Commentary explaining the significance of each seminal paper by preeminent leaders in the field Additional resources available online

Turing

Author : B. Jack Copeland
Publisher : Oxford University Press
ISBN 13 : 0198719183
Total Pages : 309 pages
Book Rating : 4.1/5 (987 download)

DOWNLOAD NOW!

Book Synopsis Turing by : B. Jack Copeland

Download or read book Turing written by B. Jack Copeland and published by Oxford University Press. This book was released on 2014 with total page 309 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Turing is regarded as one of the greatest scientists of the 20th century. But who was Turing, and what did he achieve during his tragically short life of 41 years? Best known as the genius who broke Germany's most secret codes during the war of 1939-45, Turing was also the father of the modern computer. Today, all who 'click-to-open' are familiar with the impact of Turing's ideas. Here, B. Jack Copeland provides an account of Turing's life and work, exploring the key elements of his life-story in tandem with his leading ideas and contributions. The book highlights Turing's contributions to computing and to computer science, including Artificial Intelligence and Artificial Life, and the emphasis throughout is on the relevance of his work to modern developments. The story of his contributions to codebreaking during the Second World War is set in the context of his thinking about machines, as is the account of his work in the foundations of mathematics.

Turing's Vision

Author : Chris Bernhardt
Publisher : MIT Press
ISBN 13 : 0262034549
Total Pages : 209 pages
Book Rating : 4.2/5 (62 download)

DOWNLOAD NOW!

Book Synopsis Turing's Vision by : Chris Bernhardt

Download or read book Turing's Vision written by Chris Bernhardt and published by MIT Press. This book was released on 2016-05-13 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, "The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory." Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer. In the paper, "On Computable Numbers, with an Application to the Entscheidungsproblem," Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.

The Once and Future Turing

Author : S. Barry Cooper
Publisher : Cambridge University Press
ISBN 13 : 131658917X
Total Pages : pages
Book Rating : 4.3/5 (165 download)

DOWNLOAD NOW!

Book Synopsis The Once and Future Turing by : S. Barry Cooper

Download or read book The Once and Future Turing written by S. Barry Cooper and published by Cambridge University Press. This book was released on 2016-03-24 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Turing (1912–1954) made seminal contributions to mathematical logic, computation, computer science, artificial intelligence, cryptography and theoretical biology. In this volume, outstanding scientific thinkers take a fresh look at the great range of Turing's contributions, on how the subjects have developed since his time, and how they might develop still further. The contributors include Martin Davis, J. M. E. Hyland, Andrew R. Booker, Ueli Maurer, Kanti V. Mardia, S. Barry Cooper, Stephen Wolfram, Christof Teuscher, Douglas Richard Hofstadter, Philip K. Maini, Thomas E. Woolley, Eamonn A. Gaffney, Ruth E. Baker, Richard Gordon, Stuart Kauffman, Scott Aaronson, Solomon Feferman, P. D. Welch and Roger Penrose. These specially commissioned essays will provoke and engross the reader who wishes to understand better the lasting significance of one of the twentieth century's deepest thinkers.

Code

Author : Charles Petzold
Publisher : Microsoft Press
ISBN 13 : 0137909292
Total Pages : 562 pages
Book Rating : 4.1/5 (379 download)

DOWNLOAD NOW!

Book Synopsis Code by : Charles Petzold

Download or read book Code written by Charles Petzold and published by Microsoft Press. This book was released on 2022-08-02 with total page 562 pages. Available in PDF, EPUB and Kindle. Book excerpt: The classic guide to how computers work, updated with new chapters and interactive graphics "For me, Code was a revelation. It was the first book about programming that spoke to me. It started with a story, and it built up, layer by layer, analogy by analogy, until I understood not just the Code, but the System. Code is a book that is as much about Systems Thinking and abstractions as it is about code and programming. Code teaches us how many unseen layers there are between the computer systems that we as users look at every day and the magical silicon rocks that we infused with lightning and taught to think." - Scott Hanselman, Partner Program Director, Microsoft, and host of Hanselminutes Computers are everywhere, most obviously in our laptops and smartphones, but also our cars, televisions, microwave ovens, alarm clocks, robot vacuum cleaners, and other smart appliances. Have you ever wondered what goes on inside these devices to make our lives easier but occasionally more infuriating? For more than 20 years, readers have delighted in Charles Petzold's illuminating story of the secret inner life of computers, and now he has revised it for this new age of computing. Cleverly illustrated and easy to understand, this is the book that cracks the mystery. You'll discover what flashlights, black cats, seesaws, and the ride of Paul Revere can teach you about computing, and how human ingenuity and our compulsion to communicate have shaped every electronic device we use. This new expanded edition explores more deeply the bit-by-bit and gate-by-gate construction of the heart of every smart device, the central processing unit that combines the simplest of basic operations to perform the most complex of feats. Petzold's companion website, CodeHiddenLanguage.com, uses animated graphics of key circuits in the book to make computers even easier to comprehend. In addition to substantially revised and updated content, new chapters include: Chapter 18: Let's Build a Clock! Chapter 21: The Arithmetic Logic Unit Chapter 22: Registers and Busses Chapter 23: CPU Control Signals Chapter 24: Jumps, Loops, and Calls Chapter 28: The World Brain From the simple ticking of clocks to the worldwide hum of the internet, Code reveals the essence of the digital revolution.

The Cambridge Quintet

Author : John L. Casti
Publisher : Basic Books
ISBN 13 : 9780738201382
Total Pages : 208 pages
Book Rating : 4.2/5 (13 download)

DOWNLOAD NOW!

Book Synopsis The Cambridge Quintet by : John L. Casti

Download or read book The Cambridge Quintet written by John L. Casti and published by Basic Books. This book was released on 1999-04-23 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this narrative tour de force, gifted scientist and author John L. Casti contemplates an imaginary evening of intellectual inquiry—a sort of “My Dinner with” not Andre, but five of the most brilliant thinkers of the twentieth century.Imagine, if you will, one stormy summer evening in 1949, as novelist and scientist C. P. Snow, Britain's distinguished wartime science advisor and author of The Two Cultures, invites four singular guests to a sumptuous seven-course dinner at his alma mater, Christ's College, Cambridge, to discuss one of the emerging scientific issues of the day: Can we build a machine that could duplicate human cognitive processes? The distinguished guest list for Snow's dinner consists of physicist Erwin Schrodinger, inventor of wave mechanics; Ludwig Wittgenstein, the famous twentieth-century philosopher of language, who posited two completely contradictory theories of human thought in his lifetime; population geneticist/science popularizer J.B.S. Haldane; and Alan Turing, the mathematician/codebreaker who formulated the computing scheme that foreshadowed the logical structure of all modern computers. Capturing not only their unique personalities but also their particular stands on this fascinating issue, Casti dramatically shows what each of these great men might have argued about artificial intelligence, had they actually gathered for dinner that midsummer evening.With Snow acting as referee, a lively intellectual debate unfolds. Philosopher Wittgenstein argues that in order to become conscious, a machine would have to have life experiences similar to those of human beings—such as pain, joy, grief, or pleasure. Biologist Haldane offers the idea that mind is a separate entity from matter, so that regardless of how sophisticated the machine, only flesh can bond with that mysterious force called intelligence. Both physicist Schrodinger and, of course, computer pioneer Turing maintain that it is not the substance, but rather the organization of that substance, that makes a mind conscious.With great verve and skill, Casti recreates a unique and thrilling moment of time in the grand history of scientific ideas. Even readers who have already formed an opinion on artificial intelligence will be forced to reopen their minds on the subject upon reading this absorbing narrative. After almost four decades, the solutions to the epic scientific and philosophical problems posed over this meal in C. P. Snow's old rooms at Christ's College remains tantalizingly just out of reach, making this adventure into scientific speculation as valid today as it was in 1949.

Parsing the Turing Test

Author : Robert Epstein
Publisher : Springer Science & Business Media
ISBN 13 : 1402096240
Total Pages : 520 pages
Book Rating : 4.4/5 (2 download)

DOWNLOAD NOW!

Book Synopsis Parsing the Turing Test by : Robert Epstein

Download or read book Parsing the Turing Test written by Robert Epstein and published by Springer Science & Business Media. This book was released on 2008-12-01 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: An exhaustive work that represents a landmark exploration of both the philosophical and methodological issues surrounding the search for true artificial intelligence. Distinguished psychologists, computer scientists, philosophers, and programmers from around the world debate weighty issues such as whether a self-conscious computer would create an internet ‘world mind’. This hugely important volume explores nothing less than the future of the human race itself.

The Turing Guide

Author : Jack Copeland
Publisher : Oxford University Press
ISBN 13 : 0191065005
Total Pages : 400 pages
Book Rating : 4.1/5 (91 download)

DOWNLOAD NOW!

Book Synopsis The Turing Guide by : Jack Copeland

Download or read book The Turing Guide written by Jack Copeland and published by Oxford University Press. This book was released on 2017-02-16 with total page 400 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebrated with much media coverage, and several meetings, conferences and books raising public awareness of Turing's life and work. This volume will bring together contributions from some of the leading experts on Alan Turing to create a comprehensive guide to Turing that will serve as a useful resource for researchers in the area as well as the increasingly interested general reader. The book will cover aspects of Turing's life and the wide range of his intellectual activities, including mathematics, code-breaking, computer science, logic, artificial intelligence and mathematical biology, as well as his subsequent influence.

Computability

Author : B. Jack Copeland
Publisher : MIT Press
ISBN 13 : 0262527480
Total Pages : 373 pages
Book Rating : 4.2/5 (625 download)

DOWNLOAD NOW!

Book Synopsis Computability by : B. Jack Copeland

Download or read book Computability written by B. Jack Copeland and published by MIT Press. This book was released on 2015-01-30 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments. In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics. Contributors Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani

The Indian Clerk

Author : David Leavitt
Publisher : Bloomsbury Publishing USA
ISBN 13 : 1596918403
Total Pages : 500 pages
Book Rating : 4.5/5 (969 download)

DOWNLOAD NOW!

Book Synopsis The Indian Clerk by : David Leavitt

Download or read book The Indian Clerk written by David Leavitt and published by Bloomsbury Publishing USA. This book was released on 2010-08-10 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt: Based on the remarkable true story of G. H. Hardy and Srinivasa Ramanujan, and populated with such luminaries such as D. H. Lawrence, Bertrand Russell, and Ludwig Wittgenstein, The Indian Clerk takes this extraordinary slice of history and transforms it into an emotional and spellbinding story about the fragility of human connection and our need to find order in the world. A literary masterpiece, it appeared on four bestseller lists, including the Los Angeles Times, and received dazzling reviews from every major publication in the country.

Complexity and Real Computation

Author : Lenore Blum
Publisher : Springer Science & Business Media
ISBN 13 : 1461207010
Total Pages : 456 pages
Book Rating : 4.4/5 (612 download)

DOWNLOAD NOW!

Book Synopsis Complexity and Real Computation by : Lenore Blum

Download or read book Complexity and Real Computation written by Lenore Blum and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern scientific computation where most of the algorithms are real number algorithms. The goal of this book is to develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing. Along the way, the authors consider such fundamental problems as: * Is the Mandelbrot set decidable? * For simple quadratic maps, is the Julia set a halting set? * What is the real complexity of Newton's method? * Is there an algorithm for deciding the knapsack problem in a ploynomial number of steps? * Is the Hilbert Nullstellensatz intractable? * Is the problem of locating a real zero of a degree four polynomial intractable? * Is linear programming tractable over the reals? The book is divided into three parts: The first part provides an extensive introduction and then proves the fundamental NP-completeness theorems of Cook-Karp and their extensions to more general number fields as the real and complex numbers. The later parts of the book develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing.

One to Nine: The Inner Life of Numbers

Author : Andrew Hodges
Publisher : W. W. Norton & Company
ISBN 13 : 9780393068634
Total Pages : 336 pages
Book Rating : 4.0/5 (686 download)

DOWNLOAD NOW!

Book Synopsis One to Nine: The Inner Life of Numbers by : Andrew Hodges

Download or read book One to Nine: The Inner Life of Numbers written by Andrew Hodges and published by W. W. Norton & Company. This book was released on 2008-05-17 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: What Lynne Truss did for grammar in Eats, Shoots & Leaves, Andrew Hodges now does for mathematics. Andrew Hodges, one of Britain’s leading biographers and mathematical writers, brings numbers to three-dimensional life in this delightful and illuminating volume, filled with illustrations, which makes even the most challenging math problems accessible to the layperson. Inspired by millennia of human attempts to figure things out, this pithy book, which tackles mathematical conundrums from the ancient Greeks to superstring theory, finds a new twist to everything from musical harmony to code breaking, from the chemistry of sunflowers to the mystery of magic squares. Starting with the puzzle of defining unity, and ending with the recurring nines of infinite decimals, Hodges tells a story that takes in quantum physics, cosmology, climate change, and the origin of the computer. Hodges has written a classic work, at once playful but satisfyingly instructional, which will be ideal for the math aficionado and the Sudoku addict as well as for the life of the party.

Models of Computation

Author : Maribel Fernandez
Publisher : Springer Science & Business Media
ISBN 13 : 1848824343
Total Pages : 184 pages
Book Rating : 4.8/5 (488 download)

DOWNLOAD NOW!

Book Synopsis Models of Computation by : Maribel Fernandez

Download or read book Models of Computation written by Maribel Fernandez and published by Springer Science & Business Media. This book was released on 2009-04-14 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided. Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models. and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics. At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.

Recursive Functions and Metamathematics

Author : Roman Murawski
Publisher : Springer Science & Business Media
ISBN 13 : 9401728666
Total Pages : 395 pages
Book Rating : 4.4/5 (17 download)

DOWNLOAD NOW!

Book Synopsis Recursive Functions and Metamathematics by : Roman Murawski

Download or read book Recursive Functions and Metamathematics written by Roman Murawski and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.

Alan Turing: The Enigma

Author : Andrew Hodges
Publisher : Princeton University Press
ISBN 13 : 069116472X
Total Pages : 768 pages
Book Rating : 4.6/5 (911 download)

DOWNLOAD NOW!

Book Synopsis Alan Turing: The Enigma by : Andrew Hodges

Download or read book Alan Turing: The Enigma written by Andrew Hodges and published by Princeton University Press. This book was released on 2014-11-10 with total page 768 pages. Available in PDF, EPUB and Kindle. Book excerpt: A NEW YORK TIMES BESTSELLER The official book behind the Academy Award-winning film The Imitation Game, starring Benedict Cumberbatch and Keira Knightley It is only a slight exaggeration to say that the British mathematician Alan Turing (1912-1954) saved the Allies from the Nazis, invented the computer and artificial intelligence, and anticipated gay liberation by decades--all before his suicide at age forty-one. This New York Times–bestselling biography of the founder of computer science, with a new preface by the author that addresses Turing's royal pardon in 2013, is the definitive account of an extraordinary mind and life. Capturing both the inner and outer drama of Turing’s life, Andrew Hodges tells how Turing’s revolutionary idea of 1936--the concept of a universal machine--laid the foundation for the modern computer and how Turing brought the idea to practical realization in 1945 with his electronic design. The book also tells how this work was directly related to Turing’s leading role in breaking the German Enigma ciphers during World War II, a scientific triumph that was critical to Allied victory in the Atlantic. At the same time, this is the tragic account of a man who, despite his wartime service, was eventually arrested, stripped of his security clearance, and forced to undergo a humiliating treatment program--all for trying to live honestly in a society that defined homosexuality as a crime. The inspiration for a major motion picture starring Benedict Cumberbatch and Keira Knightley, Alan Turing: The Enigma is a gripping story of mathematics, computers, cryptography, and homosexual persecution.

Computability Theory

Author : Rebecca Weber
Publisher : American Mathematical Soc.
ISBN 13 : 082187392X
Total Pages : 203 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!

Book Synopsis Computability Theory by : Rebecca Weber

Download or read book Computability Theory written by Rebecca Weber and published by American Mathematical Soc.. This book was released on 2012 with total page 203 pages. Available in PDF, EPUB and Kindle. Book excerpt: What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at the heart of computability theory. The goal of this book is to give the reader a firm grounding in the fundamentals of computability theory and an overview of currently active areas of research, such as reverse mathematics and algorithmic randomness. Turing machines and partial recursive functions are explored in detail, and vital tools and concepts including coding, uniformity, and diagonalization are described explicitly. From there the material continues with universal machines, the halting problem, parametrization and the recursion theorem, and thence to computability for sets, enumerability, and Turing reduction and degrees. A few more advanced topics round out the book before the chapter on areas of research. The text is designed to be self-contained, with an entire chapter of preliminary material including relations, recursion, induction, and logical and set notation and operators. That background, along with ample explanation, examples, exercises, and suggestions for further reading, make this book ideal for independent study or courses with few prerequisites.