The Annotated Turing
A Guided Tour Through Alan Turing′s Historic Paper on Computability and the Turing Machine
Paperback Engels 2008 9780470229057Samenvatting
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.
Specificaties
Lezersrecensies
Inhoudsopgave
<p>I Foundations 1</p>
<p>1 This Tomb Holds Diophantus 3</p>
<p>2 The Irrational and the Transcendental 13</p>
<p>3 Centuries of Progress 35</p>
<p>II Computable Numbers 55</p>
<p>4 The Education of Alan Turing 57</p>
<p>5 Machines at Work 79</p>
<p>6 Addition and Multiplication 97</p>
<p>7 Also Known as Subroutines 111</p>
<p>8 Everything Is a Number 127</p>
<p>9 The Universal Machine 143</p>
<p>10 Computers and Computability 163</p>
<p>11 Of Machines and Men 189</p>
<p>III Das Entscheidungsproblem 199</p>
<p>12 Logic and Computability 201</p>
<p>13 Computable Functions 231</p>
<p>14 The Major Proof 259</p>
<p>15 The Lambda Calculus 281</p>
<p>16 Conceiving the Continuum 299</p>
<p>IV And Beyond 323</p>
<p>17 Is Everything a Turing Machine? 325</p>
<p>18 The Long Sleep of Diophantus 351</p>
<p>Selected Bibliography 361</p>
<p>Index 366</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan