secondary-primary-menu

zone3

zone2

footer-social-menu-component

products

Marketing materials, training documents, discovery services

cengage:card

FIND YOUR SALES REPRESENTATIVE

cengage:column

Get marketing materials, training documents, discovery services.

PRODUCT SUPPORT

CUSTOMER SUPPORT

Report technical issues, errors, check system status

TECHNICAL SUPPORT

Manage product preferences, generate usage reports, simplify administrative tasks.

ADMIN TOOLS

support

container

Account Information

bundle-connector

footer-social-menu

Sign Up for Emails

CONNECT WITH GALE

Stay up-to-date with the latest Gale news, exclusive offers, and more.

facebook

linkedin

instagram

youtube

SOCIAL ICONS

cengage:galethorndikeseo

mega-menu

config

About Us

Blogs

Press Center

Events

News

Careers

Our Company

Request a Trial

footer-legal-menu-component

Would you like to go to the Gale {{RECOMMENDED_COUNTRY}} site instead?

It looks like you're visiting from {{DETECTED_COUNTRY}}.

main

footer

Browse by Institution Type

Browse by Product Type

Products

Support

gale-footer

FIND YOUR REP

support-order-2

secondary-storefront-menu

International

North America

China

Japan

Latin America

Brazil

Region

Set your region:

zone1

single-column

header

secondary-account-menu

Profile

Orders

Wish List

Fast Order Entry

My Account

%1 products have been added to your cart but %2 have been backordered and will be fulfilled when stock is available

Product on backorder

Current quantity limit is [maxProductQuantity], please, navigate to the cart page and change quantity of product

You will be able to resubmit promo in ${countdown} seconds. test

Please note that the taxes displayed on our website are estimated and subject to adjustment. The actual tax charges will be determined and settled during the final invoicing of your order

product-detail-component

header-component

You may already have access to Gale content through your institution.

STUDENTS AND RESEARCHERS

support-order-1

footer-menu-component

footer-legal-menu

Terms of use

Privacy

footer-menu

Academic Institutions

K-12

Public Libraries

Government and Special Libraries

Statewide Programs

Institutions

Databases

Primary Sources

Digital Humanities Tools

eLearning

Schools/K-12 Curriculum

Books

Large Print Books by Thorndike Press

Find Your Rep

Product Support

Technical Support

Customer Support

Admin Tools

Accessibility Policy

Partnerships

Contact Us

World Biography

Biography & Genealogy

Professionals

Gt Product Group

Binding Format

Marketing Imprint Name

B2B GT

CL Carton Count

Imprint Name

B2B & B2C

"The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine."—TIME In this award-winning selection of writings by Information Age pioneer Alan Turing, 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 A.M. 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.

Alan Turing

POST SECONDARY FOUR YEAR

COLFR

COLSO

COLJR

COLSR

ALAN TURING: HIS WORK AND IMPACT

Duration

Duration Unit Of Measure

Transaction Type

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
List of Contributors.
Introduction.
Contents.
1: How do We Compute? What Can We Prove?.
2: Alan Mathison Turing by Max Newman.
3: Andrew Hodges Contributes: A Comment on Newman&#x2019;s Biographical Memoir.
4: Alan Mathison Turing: 1912&#x2013;1954.
5: On Computable Numbers, with an Application to the Entscheidungsproblem &#x2013; A Correction.
6: ChrIstos Papadimitriou on &#x2014; Alan and I.
7: On Computable Numbers, with an Application to the Entscheidungsproblem.
8: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction.
9: Examining the Work and Its Later Impact: Stephen Wolfram on &#x2014; The Importance of Universal Computation.
10: Martin Davis Illuminates &#x2014; Three Proofs of the Unsolvability of the Entscheidungsproblem.
11: Samson Abramsky Detects &#x2014; Two Puzzles about Computation.
12: Paul Vita&#x0301;nyi Illustrates the Importance of &#x2014; Turing Machines and Understanding Computational Complexity.
13: Gregory Chaitin Traces the Path &#x2014; From the Halting Problem to the Halting Probability.
14: Robert Irving Soare Expands on &#x2014; Turing and the Art of Classical Computability.
15: Rainer Glaschick Takes us on a Trip Back to &#x2014; Turing Machines in M&#x00FC;nster.
16: From K. Vela Velupillai &#x2014; Reflections on Wittgenstein&#x2019;s Debates with Turing During His Lectures on the Foundations of Mathematics.
17: Jan Van Leeuwen and Jir&#x030C;i&#x0301; Wiedermann on &#x2014; The Computational Power of Turing&#x2019;s Non-Terminating Circular A-Machines.
18: Meurig Beynon Puts an Empirical Slant on &#x2014; Turing&#x2019;s Approach to Modelling States of Mind.
19: Henk Barendregt and Antonio Raffone Explore &#x2014; Conscious Cognition as a Discrete, Deterministic and Universal Turing Machine Process.
20: Aaron Sloman Develops a Distinctive View of &#x2014; Virtual Machinery and Evolution of Mind (Part 1).
21: Artur Ekert on the Physical Reality of &#x2014; NOT.
22: Cristian Calude, Ludwig Staiger and Michael Stay on &#x2014; Halting and non-Halting Turing Computations.
23: Philip Welch Leads us &#x2014; Toward the Unknown Region: On Computing Infinite Numbers.
24: On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. Turing &#x2013; Review By: Alonzo Church.
25: Andrew Hodges Finds Significance in &#x2014; Church&#x2019;s Review of Computable Numbers.
26: Computability and &#x03BB;-Definability.
27: Henk Barendregt, Giulio Manzonetto and Rinus Plasmeijer Trace through to Today &#x2014; The Imperative and Functional Programming Paradigm.
28: Computability and &#x03BB;-Definability.
29: The P-Function in &#x03BB;-K Conversion.
30: Henk Barendregt and Giulio Manzonetto Point Out the Subtleties of &#x2014;Turing&#x2019;s Contributions to Lambda Calculus.
31: The P-Function in &#x03BB;-K-Conversion.
32: Systems of Logic Based on Ordinals.
33: Solomon Feferman Returns to &#x2014;Turing&#x2019;s Thesis: Ordinal Logics and Oracle Computability.
34: Systems of Logic Based on Ordinals.
35: Examining the Work and Its Later Impact: Michael Rathjen Looks at &#x2014; Turing&#x2019;s &#x2018;Oracle&#x2019; in Proof Theory.
36: Philip Welch Takes a Set-Theoretical View of &#x2014; Truth and Turing.
37: Alastair Abbott, Cristian Calude and Karl Svozil Describe &#x2014; A Quantum Random Oracle.
38: Practical Forms of Type Theory.
39: Some Background Remarks from Robin Gandy&#x2019;s &#x2014; Preface.
40: Practical Forms of Type Theory.
41: The Use of Dots as Brackets in Church&#x2019;s System.
42: Lance Fortnow Discovers &#x2014; Turing&#x2019;s Dots.
43: The Use of Dots as Brackets in Church&#x2019;s System.
44: The Reform of Mathematical Notation and Phraseology.
45: Stephen Wolfram Connects &#x2014; Computation, Mathematical Notation and Linguistics.
46: The Reform of Mathematical Notation and Phraseology.
47: Examining the Work and Its Later Impact: Juliet Floyd Explores &#x2014; Turing,wittgenstein and Types: Philosophical Aspects of Turing&#x2019;s &#x2018;the Reform of Mathematical Notation and Phraseology&#x2019; (1944&#x2013;5).
48: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory.
49: On the Gaussian Error Function.
50: Sandy L. Zabell Delivers an Authoritative Guide to &#x2014; Alan Turing and the Central Limit Theorem.
51: Turing&#x2019;s &#x2018;preface&#x2019; (1935) to &#x2018;on the Gaussian Error Function&#x2019;.
52: Some Calculations of the Riemann Zeta Function: On a Theorem of Littlewood.
53: Dennis Hejhal and Andrew Odlyzko Take an In-Depth Look at &#x2014; Alan Turing and the Riemann Zeta Function.
54: And Dennis Hejhal Adds &#x2014; A Few Comments about Turing&#x2019;s Method.
55: Some Calculations of the Riemann Zeta-Function.
56: On a Theorem of Littlewood.
57: Solvable and Unsolvable Problems.
58: Gregory Chaitin Recommends &#x2014; Turing&#x2019;s Small Gem.
59: Solvable and Unsolvable Problems.
60: Examining the Work and Its Later Impact: Wilfried Sieg Focuses on &#x2014; Normal Forms for Puzzles: A Variant of Turing&#x2019;s Thesis.
61: K. Vela Velupillai Connects &#x2013; Turing on &#x2018;Solvable and UnSolvable Problems&#x2019; and Simon on &#x2018;Human Problem Solving&#x2019;.
62: The Word Problem in Semi-Groups with Cancellation.
63: Gregory Chaitin on &#x2014; Finding the Halting Problem and the Halting Probability in Traditional Mathematics.
64: While John L. Britton Gives us a Brief &#x2013; Introduction to the Mathematics.
65: The Word Problem in Semi-Groups with Cancellation.
66: On Permutation Groups.
67: John Leslie Britton&#x2019;s Informative &#x2014; Introduction.
68: On Permutation Groups.
69: Rounding-Off Errors in Matrix Processes.
70: Lenore Blum Brings into View &#x2014;Alan Turing and the Other Theory of Computation.
71: Rounding-Off Errors in Matrix Processes.
72: A Note on Normal Numbers.
73: Andrew Hodges on an Interesting Connection between &#x2014; Computable Numbers and Normal Numbers.
74: A Note on Normal Numbers.
75: Examining the Work and Its Later Impact Ver&#x00F3;nica Becher Takes a Closer Look at &#x2014; Turing&#x2019;s Note on Normal Numbers.
76: Turing&#x2019;s Treatise on the Enigma (Prof&#x2019;s Book).
77: Frode Weierud on Alan Turing, Dilly Knox, Bayesian Statistics, Decoding Machines and &#x2014; Prof&#x2019;s Book: Seen in the Light of Cryptologic History.
78: Excerpts from the &#x2018;enigma Paper&#x2019;.
79: Further Aspects of the Work and Its History Tony Sale Delves into the Cryptographic Background to &#x2014; Alan Turing, the Enigma and the Bombe.
80: Klaus Schmeh Looks at &#x2013; Why Turing Cracked the Enigma and the Germans did Not.
81: Speech System &#x2018;Delila&#x2019; &#x2013; Report on Progress.
82: Andrew Hodges Sets the Scene for &#x2014; The Secrets of Hanslope Park 1944&#x2013;1945.
83: Top Secret: Speech System &#x2018;Delilah&#x2019; &#x2013; Report on Progress.
84: Examining the Work and its Later Impact: Craig Bauer Presents &#x2014; Alan Turing and Voice Encryption: A Play in Three Acts.
85: John Harper Reports on the &#x2014; Delilah Rebuild Project.
86: Checking a Large Routine.
87: Cliff B. Jones Gives a Modern Assessment of &#x2014; Turing&#x2019;s &#x201C;checking a Large Routine&#x201D;.
88: FridA., 24th June. Checking a Large Routine. by Dr. a. Turing.
89: Excerpt From: Programmer&#x2019;s Handbook for the Manchester Electronic Computer Mark II: Local Programming Methods and Conventions.
90: Toby Howard Describes &#x2014; Turing&#x2019;s Contributions to the Early Manchester Computers.
91: Excerpt From: Programmer&#x2019;s Handbook for the Manchester Electronic Computer Mark II.
92: Building a Brain: Intelligent Machines, Practice and Theory.
93: Turing&#x2019;s Lecture to the London Mathematical Society on 20 February 1947.
94: Anthony Beavers Pays Homage to &#x2014;Alan Turing: Mathematical Mechanist.
95: Lecture to the London Mathematical Society on 20 February 1947.
96: Intelligent Machinery.
97: Rodney A. Brooks and &#x2014; The Case for Embodied Intelligence.
98: Intelligent Machinery.
99: Examining the Work and its Later Impact: Christof Teuscher Proposes &#x2014; A Modern Perspective on Turing&#x2019;s Unorganised Machines.
100: Nicholas Gessler Connects past and Future &#x2014; The Computerman, the Cryptographer and the Physicist.
101: Stephen Wolfram Looks to Reconcile &#x2014; Intelligence and the Computational Universe.
102: Paul Smolensky Asks a Key Question &#x2014; Cognition: Discrete or Continuous Computation?.
103: Tom Vickers Recalls &#x2014; Alan Turing at the NPL 1945&#x2013;47.
104: Douglas Hofstadter Engages with &#x2014; The G&#x00F6;del&#x2013;Turing Threshold and the Human Soul.
105: Computing Machinery and Intelligence.
106: Gregory Chaitin Discovers Alan Turing &#x2018;the Good Philosopher&#x2019; at both Sides of &#x2014; Mechanical Intelligence versus Uncomputable Creativity.
107: Computing Machinery and Intelligence.
108: Examining the Work and its Later Impact: Daniel Dennett is Inspired by &#x2014; Turing&#x2019;s &#x201C;Strange Inversion of Reasoning&#x201D;.
109: Aaron Sloman Draws Together &#x2014;Virtual Machinery and Evolution of Mind (Part 2).
110: Mark Bishop Examines &#x2014; The Phenomenal Case of the Turing Test and the Chinese Room.
111: Peter Millican on Recognising Intelligence and &#x2014; The Philosophical Significance of the Turing Machine and the Turing Test.
112: Luciano Floridi Brings Out the Value of &#x2014; The Turing Test and the Method of Levels of Abstraction.
113: Aaron Sloman Absolves Turing of &#x2014;The Mythical Turing Test.
114: David Harel Proposes &#x2014; A Turing-Like Test for Modelling Nature.
115: Huma Shah Engages with the Realities of &#x2014; Conversation, Deception and Intelligence: Turing&#x2019;s Question-Answer Game.
116: Kevin Warwick Looks Forward to &#x2014; Turing&#x2019;s Future.
117: Digital Computers Applied to Games.
118: Alan Slomson Introduces &#x2014; Turing and Chess.
119: Digital Computers Applied to Games.
120: Examining the Work and its Later Impact: David Levy Delves Deeper into &#x2014; Alan Turing on Computer Chess.
121: Can Digital Computers Think?.
122: B. Jack Copeland Introduces the Transcripts &#x2014; Turing and the Physics of the Mind.
123: Can Digital Computers Think?.
124: Intelligent Machinery: A Heretical Theory.
125: Can Automatic Calculating Machines be Said to Think?.
126: Examining the Work and its Later Impact: Richard Jozsa Takes us Forward to &#x2014; Quantum Complexity and the Foundations of Computing.
127: The Mathematics of Emergence: The Mysteries of Morphogenesis.
128: The Chemical Basis of Morphogenesis.
129: Peter Saunders Introduces &#x2014; Alan Turing&#x2019;s Work in Biology.
130: And Philip K. Maini Wonders at &#x2014; Turing&#x2019;s Theory of Morphogenesis.
131: The Chemical Basis of Morphogenesis.
132: Examining the Work and Its Later Impact Henri Berestycki on the Visionary Power of &#x2013; Alan Turing and Reaction&#x2013;Diffusion Equations.
133: Hans Meinhardt Focuses on &#x2014; Travelling Waves and Oscillations Out of Phase: An Almost Forgotten Part of Turing&#x2019;s Paper.
134: James D. Murray on what Happened &#x2014; After Turing &#x2013; The Birth and Growth of Interdisciplinary Mathematics and Biology.
135: PeT.r t. Saunders Observes Alan Turing &#x2014; Defeating the Argument from Design.
136: Stephen Wolfram Fills Out the Computational View of &#x2014; The Mechanisms of Biology.
137: K. Vela Velupillai Connects &#x2014; Four Traditions of Emergence: Morphogenesis, Ulam-Von Neumann Cellular Automata, the Fermi-Pasta-Ulam Problem, and British Emergentism.
138: Gregory Chaitin Takes the Story Forward &#x2014; From Turing to Metabiology and Life as Evolving Software.
139: The Morphogen Theory of PhyllotaxI.: I. Geometrical and Descriptive Phyllotaxis: II. Chemical Theory of Morphogenesis: III. (Bernard Richards) a Solution of the Morphogenical Equations for the Case of Spherical Symmetry.
140: Bernard Richards Recalls Alan Turing and &#x2014; Radiolaria: The Result of Morphogenesis.
141: The Morphogen Theory of PhyllotaxI.: Part I. Geometrical and Descriptive Phyllotaxis.
142: Part II. Chemical Theory of Morphogenesis.
143: Part III. A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry.
144: Examining the Work and its Later Impact: Peter Saunders Comments on the Background to &#x2014; Turing&#x2019;s Morphogen Theory of Phyllotaxis.
145: Jonathan Swinton Explores Further &#x2014; Turing, Morphogenesis, and Fibonacci Phyllotaxis: Life in Pictures.
146: Aaron Sloman Travels Forward to &#x2014; Virtual Machinery and Evolution of Mind (Part 3): Meta-Morphogenesis: Evolution of Information-Processing Machinery.
147: Outline of the Development of the Daisy.
148: Jonathan Swinton&#x2019;s Updating of the Texts &#x2014; An Editorial Note.
149: Outline of the Development of the Daisy.
150: Afterword.
151: Einar Fredriksson Recalls the &#x2014; History of the Publication of the Collected Works of Alan M. Turing.
152: Mike Yates Writing in The Independent, Friday 24 November 1995 &#x2014; Obituary: Robin Gandy.
153: Bernard Richards Shares with us &#x2014; Recollections of Life in the Laboratory with Alan Turing.
Bibliography.
A Bibliography of Publications of Alan Mathison Turing.
Index.

Alan Turing.css-1p8rvzy{position:absolute;padding-left:8px;}

Alan Turing