The Resource Alan Turing : his work and impact, edited by S. Barry Cooper and J. van Leeuwen, (electronic resource)

Alan Turing : his work and impact, edited by S. Barry Cooper and J. van Leeuwen, (electronic resource)

Label
Alan Turing : his work and impact
Title
Alan Turing
Title remainder
his work and impact
Statement of responsibility
edited by S. Barry Cooper and J. van Leeuwen
Contributor
Provider
Subject
Genre
Language
eng
Summary
This book offers a modern perspective on 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
Biography type
individual biography
Cataloging source
E7B
Index
no index present
LC call number
QA29.T8
LC item number
C65 2013eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • ebrary
  • Cooper, S. B.
  • Leeuwen, J. van
http://library.link/vocab/subjectName
  • Turing, Alan
  • Turing, Alan
  • Turing, Alan Mathison
  • Mathematicians
  • Computer science
  • Enigma cipher system
  • Logic, Symbolic and mathematical
  • Computer science
  • Enigma cipher system
  • Logic, Symbolic and mathematical
  • Mathematicians
  • Mathematics
  • Computers
  • Mathematical Computing
  • Great Britain
Label
Alan Turing : his work and impact, edited by S. Barry Cooper and J. van Leeuwen, (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Machine generated contents note: pt. I How Do We Compute? What Can We Prove? -- 1955 Alan Mathison Turing by Max Newman (Bibliographic Memoirs of the Fellows of the Royal Society, 1 (Nov.), 253-263) -- Andrew Hodges contributes - A Comment on Newman's Biographical Memoir -- Biographical Memoir -- 1936-7 On Computable Numbers, with an Application to the Entscheidungsproblem (Proc. Lond. Math. Soc. (2) 42, 230-265) -- 1937 - A Correction (ibid: 43, 544-546) Christos Papadimitriou on - Alan and I -- Turing texts -- Stephen Wolfram on - The Importance of Universal Computation -- Martin Davis illuminates - Three Proofs of the Unsolvability of the Entscheidungsproblem -- Samson Abramsky detects - Two Puzzles About Computation -- Paul Vitanyi illustrates the importance of - Turing Machines and Understanding Computational Complexity -- Gregory Chaitin traces the path - From the Halting Problem to the Halting Probability -- Robert Irving Soare expands on - Turing and the Art of Classical Computability -- Rainer Glaschick takes us on a trip back to - Turing Machines in Munster -- From K. Vela Velupillai - Reflections on Wittgenstein's Debates with Turing during his Lectures on the Foundations of Mathematics -- Jan van Leeuwen and Jirf Wiedermann on - The Computational Power of Turing's Non-Terminating Circular a-Machines -- Meurig Beynon puts an empirical slant on - Turing's Approach to Modelling States of Mind -- Henk Barendregt and Antonio Raffone explore - Conscious Cognition as a Discrete, Deterministic and Universal Turing Machine Process -- Aaron Sloman develops a distinctive view of - Virtual Machinery and Evolution of Mind (Part 1) -- Artur Ekert on the physical reality of - [√]NOT -- Cristian Calude, Ludwig Staiger and Michael Stay on - Halting and Non-Halting Turing Computations -- Philip Welch leads us - Toward the Unknown Region: On Computing Infinite Numbers -- 1937 On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. Turing - Review by: Alonzo Church (J. Symb. Log. 2, 42) -- Andrew Hodges finds significance in - Church's Review of Computable Numbers -- 1937 Computability and λ-Definability (J. Symb. Log. 2, 153-63) -- Henk Barendregt, Giulio Manzonetto and Rinus Plasmeijer trace through to today - The Imperative and Functional Programming Paradigm -- Turing text -- 1937 The p-Function in λ-K Conversion (J. Symb. Log. 2, 164) -- Henk Barendregt and Giulio Manzonetto point out the subtleties of - Turing's Contributions to Lambda Calculus -- Turing text -- 1939 Systems of Logic Based on Ordinals (Proc. Lond. Math. Soc. (2) 45, 161-228) -- Solomon Feferman returns to - Turing's Thesis: Ordinal Logics and Oracle Computability -- Turing text -- Michael Rathjen looks at - Turing's `Oracle' in Proof Theory -- Philip Welch takes a set-theoretical view of - Truth and Turing -- Alastair Abbott, Cristian Calude and Karl Svozil describe - A Quantum Random Oracle -- 1948 Practical Forms of Type Theory (J. Symb. Log. 13, 80-94) -- Some background remarks from Robin Gandy's - Preface -- Turing text -- 1942 The use of Dots as Brackets in Church's System (J. Symb. Log. 7, 146-156) -- Lance Fortnow discovers - Turing's Dots -- Turing text -- 1944 The Reform of Mathematical Notation and Phraseology -- Stephen Wolfram connects - Computation, Mathematical Notation and Linguistics -- Turing text -- Juliet Floyd explores - Turing, Wittgenstein and Types: Philosophical Aspects of Turing's `The Reform of Mathematical Notation and Phraseology' (1944-5) -- pt. II Hiding and Unhiding Information: Cryptology, Complexity and Number Theory -- 1935 On the Gaussian error function -- Sandy L. Zabell delivers an authoritative guide to - Alan Turing and the Central Limit Theorem -- Turing's `Preface' (1935) to `On the Gaussian error function' -- 1953 Some Calculations of the Riemann Zeta function (Proc. Lond. Math. Soc. (3) 3, 99-117) -- 1952-3 On a Theorem of Littlewood -- Dennis Hejhal and Andrew Odlyzko take an in-depth look at - Alan Turing and the Riemann Zeta Function -- And Dennis Hejhal adds - A Few Comments About Turing's Method -- Turing text -- On a Theorem of Littlewood (S. Skewes and A.M. Turing) -- 1954 Solvable and Unsolvable Problems (Science News 31, 7-23) -- Gregory Chaitin recommends - Turing's Small Gem -- Turing text -- Wilfried Sieg focuses on - Normal Forms for Puzzles: A Variant of Turing's Thesis -- K. Vela Velupillai connects - Turing on `Solvable and Unsolvable Problems' and Simon on `Human Problem Solving' -- 1950 The Word Problem in Semi-Groups with Cancellation (Annals of Mathematics, 52 (2), 491-505) -- Gregory Chaitin on - Finding the Halting Problem and the Halting Probability in Traditional Mathematics -- While John L. Britton gives us a brief - Introduction to the mathematics -- Turing text -- On Permutation Groups -- John Leslie Britton's informative - Introduction -- Turing text -- 1948 Rounding-off Errors in Matrix Processes (Quart. J. Mech. Appl. Math. 1, 287-308) -- Lenore Blum brings into view - Alan Turing and the Other Theory of Computation -- Turing text -- A Note on Normal Numbers -- Andrew Hodges on an interesting connection between - Computable Numbers and Normal Numbers -- Turing text -- Veronica Becher takes a closer look at - Turing's Note on Normal Numbers -- 1940 Turing's Treatise on the Enigma (Prof's Book) -- Frode Weierud on Alan Turing, Dilly Knox, Bayesian statistics, decoding machines and - Prof's Book: Seen in the Light of Cryptologic History -- Excerpts from the `Enigma Paper' -- Tony Sale delves into the cryptographic background to - Alan Turing, the Enigma and the Bombe -- Klaus Schmeh looks at - Why Turing cracked the Enigma and the Germans did not -- 1944 Speech System `Delilah' - Report on Progress (A.M. Turing, 6 June, National Archives, box HW 62/6) -- Andrew Hodges sets the scene for - The Secrets of Hanslope Park 1944-1945 -- Craig Bauer presents - Alan Turing and Voice Encryption: A Play in Three Acts -- John Harper reports on the - Delilah Rebuild Project -- 1949 Checking a Large Routine (Paper, EDSAC Inaugural Conference, 24 June -- In: Report of a Conference on High Speed Automatic Calculating Machines, 67-69) -- Cliff B. Jones gives a modern assessment of - Turing's "Checking a Large Routine" -- Turing text -- 1951 Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- Local Programming Methods and Conventions (Paper read at the Inaugural Conference for the Manchester University Computer, July 1951) -- Toby Howard describes - Turing's Contributions to the Early Manchester Computers -- Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- pt. III Building a Brain: Intelligent Machines, Practice and Theory -- Turing's Lecture to the London Mathematical Society on 20 February 1947 (A more readable guide to the ACE computer than Turing's 1945 ACE report) -- Anthony Beavers pays homage to - Alan Turing: Mathematical Mechanist -- Turing text -- 1948 Intelligent Machinery (Report Written by Alan Turing for the National Physical Laboratory, 1948) -- Rodney A. Brooks and - The Case for Embodied Intelligence -- Turing text -- Christof Teuscher proposes - A Modern Perspective on Turing's Unorganised Machines -- Nicholas Gessler connects past and future - The Computerman, the Cryptographer and the Physicist -- Stephen Wolfram looks to reconcile - Intelligence and the Computational Universe -- Paul Smolensky asks a key question - Cognition: Discrete or Continuous Computation? -- Tom Vickers recalls - Alan Turing at the NPL 1945-47 -- Douglas Hofstadter engages with - The Godel-Turing Threshold and the Human Soul -- 1950 Computing Machinery and Intelligence (Mind, 59, 433-460) -- Gregory Chaitin discovers Alan Turing `The Good Philosopher' at both sides of - Mechanical Intelligence versus Uncomputable Creativity -- Turing text -- Daniel Dennett is inspired by - Turing's "Strange Inversion of Reasoning" -- Aaron Sloman draws together - Virtual machinery and Evolution of Mind (Part 2) -- Mark Bishop examines - The Phenomenal Case of the Turing Test and the Chinese Room -- Peter Millican on recognising intelligence and - The Philosophical Significance of the Turing Machine and the Turing Test -- Luciano Floridi brings out the value of - The Turing Test and the Method of Levels of Abstraction -- Aaron Sloman absolves Turing of - The Mythical Turing Test -- David Harel proposes - A Turing-Like Test for Modelling Nature -- Huma Shah engages with the realities of - Conversation, Deception and Intelligence: Turing's Question-Answer Game -- Kevin Warwick looks forward to - Turing's Future -- 1953 Digital Computers Applied to Games (Bowden, B. V. (Ed.), Faster than Thought. Pitman, London, Chap. 25, 286-310) -- Alan Slomson introduces - Turing and Chess -- Digital Computers Applied to Games -- David Levy delves deeper into - Alan Turing on Computer Chess -- 1951 Can Digital Computers Think? (BBC Third Programme radio broadcast (15 May 1951), transcript edited B. J. Copeland) -- Intelligent Machinery: A Heretical Theory (Lecture given to 51 Society in Manchester (c. 1951), transcript edited B. J. Copeland) -- Can Automatic Calculating Machines Be Said To Think? (Broadcast discussion, BBC Third Programme (14 and 23 Jan. 1952), transcript edited B. J. Copeland) -- B. Jack Copeland introduces the transcripts - Turing and the Physics of the Mind -- Turing texts -- Can Automatic Calculating Machines Be Said To Think? By Alan Turing, Richard Braithwaite, Geoffrey Jefferson, Max Newman -- Richard Jozsa takes us forward to - Quantum Complexity and the Foundations of Computing -- pt. IV The Mathematics of Emergence: The Mysteries of Morphogenesis -- 1952 The Chemical Basis of Morphogenesis (Phil. Trans. R. Soc. London B 237, 37-72) -- Peter Saunders introduces - Alan Turing's Work in Biology -- And Philip K. Maini wonders at - Turing's Theory of Morphogenesis -- Turing text --
  • Contents note continued: Henri Berestycki on the visionary power of - Alan Turing and Reaction-Diffusion Equations -- Hans Meinhardt focuses on - Travelling Waves and Oscillations Out of Phase: An Almost Forgotten Part of Turing's Paper -- James D. Murray on what happened - After Turing - The Birth and Growth of Interdisciplinary Mathematics and Biology -- Peter T. Saunders observes Alan Turing - Defeating the Argument from Design -- Stephen Wolfram fills out the computational view of - The Mechanisms of Biology -- K. Vela Velupillai connects - Four Traditions of Emergence: Morphogenesis, Ulam-von Neumann Cellular Automata, The Fermi-Pasta-Ulam Problem, and British Emergentism -- Gregory Chaitin takes the story forward - From Turing to Metabiology and Life as Evolving Software -- 1954 The Morphogen Theory of Phyllotaxis -- 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 -- (Prepared after December 1954 by N. E. Hoskin and B. Richards, using manuscripts of Turing and notes from his lectures in Manchester) -- Bernard Richards recalls Alan Turing and - Radiolaria: The Result of Morphogenesis -- The Morphogen Theory of Phyllotaxis -- pt. I Geometrical and Descriptive Phyllotaxis -- pt. II Chemical Theory of Morphogenesis -- pt. III A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry -- Peter Saunders comments on the background to - Turing's Morphogen Theory of Phyllotaxis -- Jonathan Swinton explores further - Turing, Morphogenesis, and Fibonacci Phyllotaxis: Life in Pictures -- Aaron Sloman travels forward to - Virtual Machinery and Evolution of Mind (Part 3) Meta-Morphogenesis: Evolution of Information-Processing Machinery -- Outline of the Development of the Daisy -- (Prepared from Turing's notes by P.T. Saunders for the Collected Works and updated by J. Swinton) -- Jonathan Swinton's updating of the texts - An Editorial Note -- Outline of the Development of the Daisy
Dimensions
unknown
Extent
1 online resource (xxi, 914 pages :)
Form of item
online
Isbn
9780123870124
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
  • (OCoLC)846962066
  • (OCoLC)ocn846962066
Label
Alan Turing : his work and impact, edited by S. Barry Cooper and J. van Leeuwen, (electronic resource)
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Machine generated contents note: pt. I How Do We Compute? What Can We Prove? -- 1955 Alan Mathison Turing by Max Newman (Bibliographic Memoirs of the Fellows of the Royal Society, 1 (Nov.), 253-263) -- Andrew Hodges contributes - A Comment on Newman's Biographical Memoir -- Biographical Memoir -- 1936-7 On Computable Numbers, with an Application to the Entscheidungsproblem (Proc. Lond. Math. Soc. (2) 42, 230-265) -- 1937 - A Correction (ibid: 43, 544-546) Christos Papadimitriou on - Alan and I -- Turing texts -- Stephen Wolfram on - The Importance of Universal Computation -- Martin Davis illuminates - Three Proofs of the Unsolvability of the Entscheidungsproblem -- Samson Abramsky detects - Two Puzzles About Computation -- Paul Vitanyi illustrates the importance of - Turing Machines and Understanding Computational Complexity -- Gregory Chaitin traces the path - From the Halting Problem to the Halting Probability -- Robert Irving Soare expands on - Turing and the Art of Classical Computability -- Rainer Glaschick takes us on a trip back to - Turing Machines in Munster -- From K. Vela Velupillai - Reflections on Wittgenstein's Debates with Turing during his Lectures on the Foundations of Mathematics -- Jan van Leeuwen and Jirf Wiedermann on - The Computational Power of Turing's Non-Terminating Circular a-Machines -- Meurig Beynon puts an empirical slant on - Turing's Approach to Modelling States of Mind -- Henk Barendregt and Antonio Raffone explore - Conscious Cognition as a Discrete, Deterministic and Universal Turing Machine Process -- Aaron Sloman develops a distinctive view of - Virtual Machinery and Evolution of Mind (Part 1) -- Artur Ekert on the physical reality of - [√]NOT -- Cristian Calude, Ludwig Staiger and Michael Stay on - Halting and Non-Halting Turing Computations -- Philip Welch leads us - Toward the Unknown Region: On Computing Infinite Numbers -- 1937 On Computable Numbers, with an Application to the Entscheidungsproblem by A. M. Turing - Review by: Alonzo Church (J. Symb. Log. 2, 42) -- Andrew Hodges finds significance in - Church's Review of Computable Numbers -- 1937 Computability and λ-Definability (J. Symb. Log. 2, 153-63) -- Henk Barendregt, Giulio Manzonetto and Rinus Plasmeijer trace through to today - The Imperative and Functional Programming Paradigm -- Turing text -- 1937 The p-Function in λ-K Conversion (J. Symb. Log. 2, 164) -- Henk Barendregt and Giulio Manzonetto point out the subtleties of - Turing's Contributions to Lambda Calculus -- Turing text -- 1939 Systems of Logic Based on Ordinals (Proc. Lond. Math. Soc. (2) 45, 161-228) -- Solomon Feferman returns to - Turing's Thesis: Ordinal Logics and Oracle Computability -- Turing text -- Michael Rathjen looks at - Turing's `Oracle' in Proof Theory -- Philip Welch takes a set-theoretical view of - Truth and Turing -- Alastair Abbott, Cristian Calude and Karl Svozil describe - A Quantum Random Oracle -- 1948 Practical Forms of Type Theory (J. Symb. Log. 13, 80-94) -- Some background remarks from Robin Gandy's - Preface -- Turing text -- 1942 The use of Dots as Brackets in Church's System (J. Symb. Log. 7, 146-156) -- Lance Fortnow discovers - Turing's Dots -- Turing text -- 1944 The Reform of Mathematical Notation and Phraseology -- Stephen Wolfram connects - Computation, Mathematical Notation and Linguistics -- Turing text -- Juliet Floyd explores - Turing, Wittgenstein and Types: Philosophical Aspects of Turing's `The Reform of Mathematical Notation and Phraseology' (1944-5) -- pt. II Hiding and Unhiding Information: Cryptology, Complexity and Number Theory -- 1935 On the Gaussian error function -- Sandy L. Zabell delivers an authoritative guide to - Alan Turing and the Central Limit Theorem -- Turing's `Preface' (1935) to `On the Gaussian error function' -- 1953 Some Calculations of the Riemann Zeta function (Proc. Lond. Math. Soc. (3) 3, 99-117) -- 1952-3 On a Theorem of Littlewood -- Dennis Hejhal and Andrew Odlyzko take an in-depth look at - Alan Turing and the Riemann Zeta Function -- And Dennis Hejhal adds - A Few Comments About Turing's Method -- Turing text -- On a Theorem of Littlewood (S. Skewes and A.M. Turing) -- 1954 Solvable and Unsolvable Problems (Science News 31, 7-23) -- Gregory Chaitin recommends - Turing's Small Gem -- Turing text -- Wilfried Sieg focuses on - Normal Forms for Puzzles: A Variant of Turing's Thesis -- K. Vela Velupillai connects - Turing on `Solvable and Unsolvable Problems' and Simon on `Human Problem Solving' -- 1950 The Word Problem in Semi-Groups with Cancellation (Annals of Mathematics, 52 (2), 491-505) -- Gregory Chaitin on - Finding the Halting Problem and the Halting Probability in Traditional Mathematics -- While John L. Britton gives us a brief - Introduction to the mathematics -- Turing text -- On Permutation Groups -- John Leslie Britton's informative - Introduction -- Turing text -- 1948 Rounding-off Errors in Matrix Processes (Quart. J. Mech. Appl. Math. 1, 287-308) -- Lenore Blum brings into view - Alan Turing and the Other Theory of Computation -- Turing text -- A Note on Normal Numbers -- Andrew Hodges on an interesting connection between - Computable Numbers and Normal Numbers -- Turing text -- Veronica Becher takes a closer look at - Turing's Note on Normal Numbers -- 1940 Turing's Treatise on the Enigma (Prof's Book) -- Frode Weierud on Alan Turing, Dilly Knox, Bayesian statistics, decoding machines and - Prof's Book: Seen in the Light of Cryptologic History -- Excerpts from the `Enigma Paper' -- Tony Sale delves into the cryptographic background to - Alan Turing, the Enigma and the Bombe -- Klaus Schmeh looks at - Why Turing cracked the Enigma and the Germans did not -- 1944 Speech System `Delilah' - Report on Progress (A.M. Turing, 6 June, National Archives, box HW 62/6) -- Andrew Hodges sets the scene for - The Secrets of Hanslope Park 1944-1945 -- Craig Bauer presents - Alan Turing and Voice Encryption: A Play in Three Acts -- John Harper reports on the - Delilah Rebuild Project -- 1949 Checking a Large Routine (Paper, EDSAC Inaugural Conference, 24 June -- In: Report of a Conference on High Speed Automatic Calculating Machines, 67-69) -- Cliff B. Jones gives a modern assessment of - Turing's "Checking a Large Routine" -- Turing text -- 1951 Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- Local Programming Methods and Conventions (Paper read at the Inaugural Conference for the Manchester University Computer, July 1951) -- Toby Howard describes - Turing's Contributions to the Early Manchester Computers -- Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- pt. III Building a Brain: Intelligent Machines, Practice and Theory -- Turing's Lecture to the London Mathematical Society on 20 February 1947 (A more readable guide to the ACE computer than Turing's 1945 ACE report) -- Anthony Beavers pays homage to - Alan Turing: Mathematical Mechanist -- Turing text -- 1948 Intelligent Machinery (Report Written by Alan Turing for the National Physical Laboratory, 1948) -- Rodney A. Brooks and - The Case for Embodied Intelligence -- Turing text -- Christof Teuscher proposes - A Modern Perspective on Turing's Unorganised Machines -- Nicholas Gessler connects past and future - The Computerman, the Cryptographer and the Physicist -- Stephen Wolfram looks to reconcile - Intelligence and the Computational Universe -- Paul Smolensky asks a key question - Cognition: Discrete or Continuous Computation? -- Tom Vickers recalls - Alan Turing at the NPL 1945-47 -- Douglas Hofstadter engages with - The Godel-Turing Threshold and the Human Soul -- 1950 Computing Machinery and Intelligence (Mind, 59, 433-460) -- Gregory Chaitin discovers Alan Turing `The Good Philosopher' at both sides of - Mechanical Intelligence versus Uncomputable Creativity -- Turing text -- Daniel Dennett is inspired by - Turing's "Strange Inversion of Reasoning" -- Aaron Sloman draws together - Virtual machinery and Evolution of Mind (Part 2) -- Mark Bishop examines - The Phenomenal Case of the Turing Test and the Chinese Room -- Peter Millican on recognising intelligence and - The Philosophical Significance of the Turing Machine and the Turing Test -- Luciano Floridi brings out the value of - The Turing Test and the Method of Levels of Abstraction -- Aaron Sloman absolves Turing of - The Mythical Turing Test -- David Harel proposes - A Turing-Like Test for Modelling Nature -- Huma Shah engages with the realities of - Conversation, Deception and Intelligence: Turing's Question-Answer Game -- Kevin Warwick looks forward to - Turing's Future -- 1953 Digital Computers Applied to Games (Bowden, B. V. (Ed.), Faster than Thought. Pitman, London, Chap. 25, 286-310) -- Alan Slomson introduces - Turing and Chess -- Digital Computers Applied to Games -- David Levy delves deeper into - Alan Turing on Computer Chess -- 1951 Can Digital Computers Think? (BBC Third Programme radio broadcast (15 May 1951), transcript edited B. J. Copeland) -- Intelligent Machinery: A Heretical Theory (Lecture given to 51 Society in Manchester (c. 1951), transcript edited B. J. Copeland) -- Can Automatic Calculating Machines Be Said To Think? (Broadcast discussion, BBC Third Programme (14 and 23 Jan. 1952), transcript edited B. J. Copeland) -- B. Jack Copeland introduces the transcripts - Turing and the Physics of the Mind -- Turing texts -- Can Automatic Calculating Machines Be Said To Think? By Alan Turing, Richard Braithwaite, Geoffrey Jefferson, Max Newman -- Richard Jozsa takes us forward to - Quantum Complexity and the Foundations of Computing -- pt. IV The Mathematics of Emergence: The Mysteries of Morphogenesis -- 1952 The Chemical Basis of Morphogenesis (Phil. Trans. R. Soc. London B 237, 37-72) -- Peter Saunders introduces - Alan Turing's Work in Biology -- And Philip K. Maini wonders at - Turing's Theory of Morphogenesis -- Turing text --
  • Contents note continued: Henri Berestycki on the visionary power of - Alan Turing and Reaction-Diffusion Equations -- Hans Meinhardt focuses on - Travelling Waves and Oscillations Out of Phase: An Almost Forgotten Part of Turing's Paper -- James D. Murray on what happened - After Turing - The Birth and Growth of Interdisciplinary Mathematics and Biology -- Peter T. Saunders observes Alan Turing - Defeating the Argument from Design -- Stephen Wolfram fills out the computational view of - The Mechanisms of Biology -- K. Vela Velupillai connects - Four Traditions of Emergence: Morphogenesis, Ulam-von Neumann Cellular Automata, The Fermi-Pasta-Ulam Problem, and British Emergentism -- Gregory Chaitin takes the story forward - From Turing to Metabiology and Life as Evolving Software -- 1954 The Morphogen Theory of Phyllotaxis -- 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 -- (Prepared after December 1954 by N. E. Hoskin and B. Richards, using manuscripts of Turing and notes from his lectures in Manchester) -- Bernard Richards recalls Alan Turing and - Radiolaria: The Result of Morphogenesis -- The Morphogen Theory of Phyllotaxis -- pt. I Geometrical and Descriptive Phyllotaxis -- pt. II Chemical Theory of Morphogenesis -- pt. III A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry -- Peter Saunders comments on the background to - Turing's Morphogen Theory of Phyllotaxis -- Jonathan Swinton explores further - Turing, Morphogenesis, and Fibonacci Phyllotaxis: Life in Pictures -- Aaron Sloman travels forward to - Virtual Machinery and Evolution of Mind (Part 3) Meta-Morphogenesis: Evolution of Information-Processing Machinery -- Outline of the Development of the Daisy -- (Prepared from Turing's notes by P.T. Saunders for the Collected Works and updated by J. Swinton) -- Jonathan Swinton's updating of the texts - An Editorial Note -- Outline of the Development of the Daisy
Dimensions
unknown
Extent
1 online resource (xxi, 914 pages :)
Form of item
online
Isbn
9780123870124
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
  • (OCoLC)846962066
  • (OCoLC)ocn846962066

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...