Author: Charles Petzold
Publisher: John Wiley & Sons
ISBN: 0470229055
Category : Computers
Languages : en
Pages : 391
Book Description
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.
The Annotated Turing
Author: Charles Petzold
Publisher: John Wiley & Sons
ISBN: 0470229055
Category : Computers
Languages : en
Pages : 391
Book Description
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.
Publisher: John Wiley & Sons
ISBN: 0470229055
Category : Computers
Languages : en
Pages : 391
Book Description
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
Author: S. Barry Cooper
Publisher: Elsevier
ISBN: 0123870127
Category : Mathematics
Languages : en
Pages : 937
Book Description
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
Publisher: Elsevier
ISBN: 0123870127
Category : Mathematics
Languages : en
Pages : 937
Book Description
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
The Cambridge Quintet
Author: John L. Casti
Publisher: Little Brown and Company (UK)
ISBN: 9780349108537
Category : Artificial intelligence
Languages : en
Pages : 181
Book Description
By 1949, the idea of duplicating human thought processes in a computer was starting to surface, as the outgrowth of code-breaking work done by Alan Turing and others in Britain during the Second World War. This ingenious work of speculative scientific fiction reconstructs what might have been said during the animated conversation flowing around Snow's rooms that fateful in Cambridge. The quintet's debate anticipates all of the basic questions which have surrounded artificial intelligence in the fifty years since. Can a machine think or merely process information? Is the brain simply a symbol-processing machine, as Turing suggests, and if so, what is the nature of meaning? Can there be, as Wittgenstein proposes, no thought without language, and no language without the social interaction of human beings?
Publisher: Little Brown and Company (UK)
ISBN: 9780349108537
Category : Artificial intelligence
Languages : en
Pages : 181
Book Description
By 1949, the idea of duplicating human thought processes in a computer was starting to surface, as the outgrowth of code-breaking work done by Alan Turing and others in Britain during the Second World War. This ingenious work of speculative scientific fiction reconstructs what might have been said during the animated conversation flowing around Snow's rooms that fateful in Cambridge. The quintet's debate anticipates all of the basic questions which have surrounded artificial intelligence in the fifty years since. Can a machine think or merely process information? Is the brain simply a symbol-processing machine, as Turing suggests, and if so, what is the nature of meaning? Can there be, as Wittgenstein proposes, no thought without language, and no language without the social interaction of human beings?
Turing's Vision
Author: Chris Bernhardt
Publisher: MIT Press
ISBN: 0262034549
Category : Biography & Autobiography
Languages : en
Pages : 209
Book Description
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.
Publisher: MIT Press
ISBN: 0262034549
Category : Biography & Autobiography
Languages : en
Pages : 209
Book Description
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: 131658917X
Category : Mathematics
Languages : en
Pages : 398
Book Description
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.
Publisher: Cambridge University Press
ISBN: 131658917X
Category : Mathematics
Languages : en
Pages : 398
Book Description
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.
The Turing Guide
Author: Jack Copeland
Publisher: Oxford University Press
ISBN: 0191065013
Category : Science
Languages : en
Pages : 793
Book Description
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.
Publisher: Oxford University Press
ISBN: 0191065013
Category : Science
Languages : en
Pages : 793
Book Description
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.
One to Nine: The Inner Life of Numbers
Author: Andrew Hodges
Publisher: W. W. Norton & Company
ISBN: 0393068633
Category : Mathematics
Languages : en
Pages : 336
Book Description
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.
Publisher: W. W. Norton & Company
ISBN: 0393068633
Category : Mathematics
Languages : en
Pages : 336
Book Description
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.
Your Guide to Not Getting Murdered in a Quaint English Village
Author: Maureen Johnson
Publisher: Ten Speed Press
ISBN: 1984859633
Category : Humor
Languages : en
Pages : 129
Book Description
NATIONAL BESTSELLER • Considering a trip to a quaint English village? You’ll think twice after learning about the countless murderous possibilities lurking behind the bucolic façades, thanks to this illustrated guide from #1 bestselling author Maureen Johnson and illustrator Jay Cooper—perfect for fans of cozy mysteries. A weekend roaming narrow old lanes, touring the faded glories of a country manor, and quaffing pints in the pub. How charming. That is, unless you have the misfortune of finding yourself in an English Murder Village, where danger lurks around each picturesque cobblestone corner and every sip of tea may be your last. If you insist on your travels, do yourself a favor and bring a copy of this little book. It may just keep you alive. Brought to life with dozens of Gorey-esque drawings by illustrator Jay Cooper and peppered with allusions to classic crime series and unmistakably British murder lore, Your Guide to Not Getting Murdered in a Quaint English Village gives you the tools you need to avoid the same fate, should you find yourself in a suspiciously cozy English village (or simply dream of going). Good luck! And whatever you do, avoid the vicar.
Publisher: Ten Speed Press
ISBN: 1984859633
Category : Humor
Languages : en
Pages : 129
Book Description
NATIONAL BESTSELLER • Considering a trip to a quaint English village? You’ll think twice after learning about the countless murderous possibilities lurking behind the bucolic façades, thanks to this illustrated guide from #1 bestselling author Maureen Johnson and illustrator Jay Cooper—perfect for fans of cozy mysteries. A weekend roaming narrow old lanes, touring the faded glories of a country manor, and quaffing pints in the pub. How charming. That is, unless you have the misfortune of finding yourself in an English Murder Village, where danger lurks around each picturesque cobblestone corner and every sip of tea may be your last. If you insist on your travels, do yourself a favor and bring a copy of this little book. It may just keep you alive. Brought to life with dozens of Gorey-esque drawings by illustrator Jay Cooper and peppered with allusions to classic crime series and unmistakably British murder lore, Your Guide to Not Getting Murdered in a Quaint English Village gives you the tools you need to avoid the same fate, should you find yourself in a suspiciously cozy English village (or simply dream of going). Good luck! And whatever you do, avoid the vicar.
Computability
Author: B. Jack Copeland
Publisher: MIT Press
ISBN: 0262018993
Category : Computers
Languages : en
Pages : 373
Book Description
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.ContributorsScott 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
Publisher: MIT Press
ISBN: 0262018993
Category : Computers
Languages : en
Pages : 373
Book Description
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.ContributorsScott 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
Imitation Game
Author: Jim Ottaviani
Publisher: Harry N. Abrams
ISBN: 9781419736452
Category : Biography & Autobiography
Languages : en
Pages : 0
Book Description
A biography of the mathematician, reveals the story of an eccentric genius, olympic-class runner, and groundbreaking theoretician whose work is still influencing the science and telecommunication systems of the modern world.
Publisher: Harry N. Abrams
ISBN: 9781419736452
Category : Biography & Autobiography
Languages : en
Pages : 0
Book Description
A biography of the mathematician, reveals the story of an eccentric genius, olympic-class runner, and groundbreaking theoretician whose work is still influencing the science and telecommunication systems of the modern world.